c#泛型的协变和逆变

Posted 2020-08-04 一只菜鸟猿的博客

例：（引用自Job Log的博客：http://blog.csdn.net/baidu_20993761/article/details/47272597）

public delegate TResult Func<out TResult>();// TResult类型是返回值类型
public delegate TResult Func<in T, out TResult>(T arg); //输入类型T，返回类型TResult
public interface IEnumerable<out T> : IEnumerable // T只出现在返回类型中
public interface IEnumerator<out T> : IDisposable, IEnumerator
public class List<T> : IList<T>, ICollection<T>, IList, ICollection, IReadOnlyList<T>, IReadOnlyCollection<T>, IEnumerable<T>, IEnumerable // 实现变体接口IEnumerable<T>
public class Queue<T> : IEnumerable<T>, ICollection, IEnumerable //  实现变体接口 IEnumerable<T>

 

1、使用out修饰符时，T只能作为返回值。此时泛型的实例是协变的。即该泛型的实例可赋值给T的所有父级类。

2、使用in为修饰符时，T只能作为输入参数。此时泛型的实例是逆变的。即该泛型的实例可赋值给T的所有子类。

 

协变：向上兼容，即兼容所有父类。

逆变：向下兼容，即兼容所有子类。