Action 的通用约束未按预期工作

我无法理解为什么以下代码片段没有给我错误

public void SomeMethod<T>(T arg) where T : MyInterface
{
  MyInterface e = arg;
}

但是由于通用类型约束，我希望它能够工作

private readonly IList<Action<MyInterface>> myActionList = new List<Action<MyInterface>>();

public IDisposable Subscribe<T>(Action<T> callback) where T: MyInterface
{
  myActionList.Add(callback); // doesn't compile
  return null
}

给出这个错误

cannot convert from 'System.Action<T>' to 'System.Action<MyInterface>'

我使用的是 VS2012 sp1 和 .NET 4.5。

谁能解释为什么约束不允许它编译？

这是一个逆变问题——Action<MyInterface>应该能够采取任何MyInterface实例作为参数，但是您试图存储Action<T> where T是某种子类型MyInterface，这是不安全的。

例如，如果您有：

public class SomeImpl : MyInterface { }
public class SomeOtherImpl : MyInterface { }
List<Action<MyInterface>> list;

list.Add(new Action<SomeImpl>(i => { }));
ActionMyInterface act = list[0];
act(new SomeOtherImpl());

您只能分配一个Action<T>对某些人Action<U>如果类型T比类型“小”U。例如

Action<string> act = new Action<object>(o => { });

是安全的，因为字符串参数在对象参数所在的地方始终有效。