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