（避免）为空的装箱

Question

public class Field<T>
{
    public static bool IsNull(T value) => value is null; // or: => value == null;
}

.method public hidebysig static bool  IsNull(!T 'value') cil managed
{
  // Code size       15 (0xf)
  .maxstack  2
  .locals init (bool V_0)
  IL_0000:  nop
  IL_0001:  ldarg.0
  IL_0002:  box        !T
  IL_0007:  ldnull
  IL_0008:  ceq
  IL_000a:  stloc.0
  IL_000b:  br.s       IL_000d
  IL_000d:  ldloc.0
  IL_000e:  ret
} // end of method Field`1::IsNull

public class Field
{
    public static bool IsNull(int? value)
    {
        return value == null;
    }
}

将编译为以下内容而不使用装箱：

.method public hidebysig static bool  IsNull(valuetype [System.Runtime]System.Nullable`1<int32> 'value') cil managed
{
  // Code size       16 (0x10)
  .maxstack  2
  .locals init (bool V_0)
  IL_0000:  nop
  IL_0001:  ldarga.s   'value'
  IL_0003:  call       instance bool valuetype [System.Runtime]System.Nullable`1<int32>::get_HasValue()
  IL_0008:  ldc.i4.0
  IL_0009:  ceq
  IL_000b:  stloc.0
  IL_000c:  br.s       IL_000e
  IL_000e:  ldloc.0
  IL_000f:  ret
} // end of method Field::IsNull

因此，编译器确实特别对待nullable<>，但不是在泛型类上下文中。

Answer 1

如您更新的问题所示：

public static bool IsNull(T value) => value is null;

编译为以下IL代码：

IL_0000: ldarg.0
IL_0001: box !T
IL_0006: ldnull
IL_0007: ceq
IL_0009: ret

在那里你真的看到了一些拳击。

test ecx, ecx
sete al
movzx eax, al
ret

xor eax, eax
ret

为了完整起见，对于像int？这样的可空值类型，我们得到：

cmp byte ptr [esp+4], 0
sete al
movzx eax, al
ret 8

可空值类型在内部只是一种结构，如果对象实际上有一个值，即不是空值，它就保存实际值和标志。因此，在本机代码中，它访问标志（您可以看到int？存储在堆栈中，标志的偏移量为4)，并将其与0进行比较（false）。

在这种情况下，您不必担心装箱，因为实际上不会创建装箱对象。