是否可以为 *any* Action<T> 创建一个委托？ [复制]

Question

我试图弄清楚为什么这不起作用：

public void DefaultAction( object obj = null ){}

public void Start()
{
    SomeReferenceType obj;
    DefaultAction( obj ); //works

    int i;
    string s;
    DefaultAction( i ); //works
    DefaultAction( s ); //works
}

//however...

public event Action OnNullAction = DefaultAction; //works
public event Action<SomeReferenceType> OnObjectAction = DefaultAction; //works
public event Action<int> OnIntAction = DefaultAction; //doesn't work!!

尝试将 void(object) 绑定到 Action<ValueType> 会引发参数不匹配错误，即使您可以使用 int/string/bool 直接调用该函数。是否发生了一些神秘的装箱/拆箱？不管怎样，是否有可能创建一个可以响应任何Action<T> 的委托？

Answer 1

您发现委托逆变需要引用类型。

我知道，那是相当高调的。

首先，让我清楚地说明什么是协变和逆变。假设您有类型之间的关系：“Giraffe 类型的值可以分配给Animal 类型的变量”。让我们记为

Animal <-- Giraffe

如果用C<that type> 替换每个类型以保留箭头的方向，则称泛型类型C<T> 是在T 中的协变。

IEnumerable<Animal> <-- IEnumerable<Giraffe>

从 C# 4.0 开始，当我将此功能添加到语言中时，您可以在任何需要动物序列的地方使用长颈鹿序列。

如果替换反转箭头的方向，则称泛型类型C<T>在T中是逆变的：

Action<Animal> --> Action<Giraffe>

如果你需要一个动作，要求你给它一个Giraffe，并且你有一个动作可以接受任何Animal，那么你就准备好了；您需要可以使用Giraffe 和Action<Animal> 可以使用Giraffe 的东西。但这不是协变的。如果您手头有Action<Giraffe> 并且需要Action<Animal>，则不能使用Action<Giraffe>，因为*您可以将Tiger 传递给Action<Animal>，但不能传递Action<Giraffe>。

Func<T> 呢？它在T 中是协变的。如果你需要一个返回 Animal 的函数并且你有一个返回 Giraffe 的函数，那很好，因为 Giraffe 将是 Animal。

Func<A, R> 呢？它在A 中是逆变的，在R 中是协变的。原因应该很清楚。

既然我们知道泛型类型的协变和逆变是什么，那么 C# 中的规则是什么？规则是：

• 类型声明必须用in（逆变）和out（协变）注释。例如，delegate R Func<in A, out R>(A a)。请注意，in 是进入函数的东西，out 是函数的东西；我们故意将它们命名为 in 和 out。

• 编译器必须能够证明注解是安全的。有关详细信息，请参阅规范或我的博客。

• 仅泛型委托和接口支持变体，泛型结构、枚举或类不支持。

• 不同的类型必须都是引用类型。

所以现在我们来回答您的问题。为什么它们都必须是引用类型？你推断出答案：拳击指导在哪里？

Action<object> oa = (object x)=>whatever;
Action<int> ia = oa; // Suppose this works.
ia(123);

拳击说明在哪里？不在分配给oa 的lambda 的主体中——那个东西已经有了object。不在对ia(123) 的调用中——那个东西需要一个整数。唯一可能的解决方案是oa 和ia 不相等;这是一个简写

Action<object> oa = (object x)=>{whatever};
Action<int> ia = (int x)=>{ oa(x); };

但如果这就是你的意思，那就这么说吧。人们期望引用转换将保持引用身份，因此 C# 禁止必须对值进行装箱或拆箱的协变或逆变转换。

如果您对此有更多疑问，请在我的旧博客 (blogs.msdn.com/ericlippert) 中搜索 covariance 或搜索 C# 协方差常见问题解答。

Answer 2

让它通用

public void DefaultAction<T>(T param) { }