协方差，代表和泛型类型约束

Question

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

以来，它一直我已经明白协方差一段时间，但不应该这样编？

任何bar可以返回也是IMyInterface。什么似乎是问题？

Answer 1

Is this a covariance bug in C# 4?

正确的代码是：

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