为什么带有 T: 类约束的泛型方法会导致装箱？ [复制]

为什么将 T 限制为类的通用方法会在生成 MSIL 代码中包含装箱指令？

我对此感到非常惊讶，因为肯定由于 T 被限制为引用类型，所以生成的代码不需要执行任何装箱。

这是 C# 代码：

protected void SetRefProperty<T>(ref T propertyBackingField, T newValue) where T : class
{
    bool isDifferent = false;

    // for reference types, we use a simple reference equality check to determine
    // whether the values are 'equal'.  We do not use an equality comparer as these are often
    // unreliable indicators of equality, AND because value equivalence does NOT indicate
    // that we should share a reference type since it may be a mutable.

    if (propertyBackingField != newValue)
    {
        isDifferent = true;
    }
}

这是生成的 IL：

.method family hidebysig instance void SetRefProperty<class T>(!!T& propertyBackingField, !!T newValue) cil managed
{
    .maxstack 2
    .locals init (
        [0] bool isDifferent,
        [1] bool CS$4$0000)
    L_0000: nop 
    L_0001: ldc.i4.0 
    L_0002: stloc.0 
    L_0003: ldarg.1 
    L_0004: ldobj !!T
    L_0009: box !!T
    L_000e: ldarg.2 
    L_000f: box !!T
    L_0014: ceq 
    L_0016: stloc.1 
    L_0017: ldloc.1 
    L_0018: brtrue.s L_001e
    L_001a: nop 
    L_001b: ldc.i4.1 
    L_001c: stloc.0 
    L_001d: nop 
    L_001e: ret 
}

注意box !!T指示。

为什么会产生这个？

如何避免这种情况？

您不必担心任何性能下降box指令，因为如果它的参数是引用类型，则box指令什么也不做。虽然这仍然很奇怪box甚至已经创建了指令（也许是代码生成时的懒惰/更简单的设计？）。