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必须是引用类型,不能是值类型。

猜你喜欢

转载自www.cnblogs.com/zhaow/p/10336698.html