对一般类型执行空检查是否会导致装箱？[副本]

Question

class Command<T> : ICommand<T>
{
    public void Execute(T parameter)
    {
        var isNull = parameter == null;
        // ...
    }
}

t可以是任何类，甚至可以是null<>。如果t是值类型，执行上面的检查是否会导致装箱？我的理解是，这与调用referenceequals相同，后者接受两个object参数，如果t是值类型，如果我理解正确的话，这两个参数中的任何一个都会导致装箱。

如果上述情况确实导致装箱，是否有更好的方法来做到这一点而不导致装箱发生？我知道有default(T)，但对于int，这是0，我希望查看这个值是否为null，而不对其进行装箱。此外，我希望以一种既满足值类型又满足引用类型的方式来实现这一点。

Answer 1

不--至少在我的理解中不是。如果t是非空值类型，则参数==null检查将由JIT编译器有效地替换为false；不执行执行时间检查。

这是一个只有JIT编译器才能执行的优化，因为C#编译器只生成一种形式的代码。例如，为示例生成的IL是：

IL_0000:  ldarg.1
IL_0001:  box        !T
IL_0006:  ldnull
IL_0007:  ceq

这看起来实际上执行了装箱--但我相信一个好的JIT编译器会发现，当t不可为空时，ceq总是给出一个假结果，并删除box操作。