c# - C# 分配泛型类型时发出框/拆箱？

Question

我刚刚偶然发现了为以下示例发出的奇怪 IL 代码：

class Sample
{
    void Foo<T,U>(T t, U u) where U : T { t = u; }
}

为 Foo 的主体发出的 IL 是

IL_0001: ldarg.2      // u
IL_0002: box          !!1/*U*/
IL_0007: unbox.any    !!0/*T*/
IL_000c: starg.s      t

所以我的问题是：为什么它会发出拆箱/装箱操作？我想对话永远不需要任何装箱，因为它要么首先是引用类型，要么是相同的数据类型。

更奇怪的是，即使我明确地说类型参数是引用类型，也不会以任何方式改变发出的代码：

class Sample
{
    void Foo<T, U>(T t, U u) where U : class, T where T : class { t = u; }
}

（IL输出相同）

所以为什么？

score 1 · Accepted Answer

T可以是引用类型（接口，object或System.ValueType），U而是结构，例如

Foo<IConvertible, int>(1, 2);
Foo<object, int>("foo", 2);

1 回答 1