c# - 协变、委托和泛型类型约束

Question

public void Foo<T>(Func<T> bar)
 where T: IMyInterface
{
   Func<IMyInterface> func = bar;
}

自从我理解协方差以来已经有一段时间了，但这不应该编译吗？

任何bar可以返回的东西也是一个IMyInterface。似乎是什么问题？

Answer 1

这是 C# 4 中的协方差错误吗？

正确的代码是：

public void Foo<T>(Func<T> bar)
 where T: class, IMyInterface
{
   Func<IMyInterface> func = bar;
}