協方差，代表和泛型類型約束

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; 
}