共分散、代表者およびジェネリック型制約

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