C#中的协变和逆变
用于增强泛型接口和委托,赋予更大的灵活性。
协变:
指从派生类泛型接口向基类泛型接口的转变。类型参数T前用out关键字修饰,如:
public interface IEnumerable<out T> : IEnumerable { IEnumerator<T> GetEnumerator(); }
IEnumerable<string>可直接转为IEnumerable<object>
逆变:
与协变相反,指从基类泛型接口转为派生类泛型接口。类型参数T前用in关键字修饰,如:
public interface IComparer<in T> { int Compare(T x, T y); }
IComparer<object>可直接转为IComparer<string>
注意:
1、不是所有的泛型接口都支持协变或逆变,比如IList<T>就不支持。
public interface IList<T> : ICollection<T>, IEnumerable<T>, IEnumerable { //...... }
2、用于指定协变和逆变的out、in关键字只能用于修饰泛型接口和委托的类型参数T,不能用于类、结构、方法等。
而且所修饰的类型参数T必须是引用类型,不能是值类型。