逆变委托值类型

Question

谁能解释一下为什么逆变不适用于 C# 值类型？

下面的不起作用

private delegate Asset AssetDelegate(int m);

internal string DoMe()
{
    AssetDelegate aw = new AssetDelegate(DelegateMethod);
    aw(32);
    return "Class1";
}

private static House DelegateMethod(object m)
{
    return null;
}

Answer 1

问题在于int 不是对象。

int 可以装箱到一个对象。当然，结果对象（又名装箱 int）是一个对象，但它不再是一个 int 了。

请注意，我上面使用的“is”与 C# 运算符 是。我的“是”意思是“可以通过隐式引用转换进行转换”。这就是我们谈论协变和逆变时使用的“is”的含义。

int 可以隐式转换为对象，但这不是引用转换。它必须装箱。

House 可以通过引用转换隐式转换为 Asset。无需创建或修改任何对象。

考虑下面的例子。变量house 和asset 都引用同一个对象。另一方面，变量integer 和boxedInt 拥有相同的值，但它们引用不同的东西。

House house = new House();
Asset asset = house;

int integer = 42;
object boxedInt = integer;

装箱和拆箱并不像看起来那么简单。它有许多微妙之处，可能会以意想不到的方式影响您的代码。将拳击与协变和逆变混合在一起是一种让任何人眼花缭乱的简单方法。

Answer 2

我同意 Anthony Pegram 的评论 - 它基于与值类型相比具有不同内存占用的引用类型：CLR 可以隐式使用一种类型的类作为其超类型的类，但是当您开始使用值类型时， CLR 需要对整数进行装箱，以便它可以在对象的位置工作。

如果你想让它工作，我倾向于将声明包装在一个表达式中：

AssetDelegate aw = new AssetDelegate((m) => DelegateMethod(m));

我不知道这是否是一个好的做法，就语法而言，但请记住，装箱和拆箱是昂贵的。