c# - 無効な分散: 型パラメーター 'T' は、'xxx.IItem で不変的に有効でなければなりません.GetList()'. 「T」は共変です

Question

次のコードでエラーが発生するのはなぜですか?

無効な分散: 型パラメーター 'T' は、'UserQuery.IItem<T>.GetList()' で不変に有効でなければなりません。「T」は共変です。

public interface IFoo {}
public interface IBar<T> where T : IFoo {}

public interface IItem<out T> where T: IFoo
{
    IEnumerable<IBar<T>> GetList();
}

Answer 1

インターフェイスIBarとIItemは分散に同意しません。宣言では、キーワードIBarがないため、 T は共変ではありませんが、 T では共変です。outIITem

Answer 2

次のコードはエラーを取り除きます。

public interface IFoo {}
public interface IBar<out T> where T : IFoo {}

public interface IItem<out T> where T: IFoo
{
    IEnumerable<IBar<T>> GetList();
}