首页 > 代码库 > c#泛型的协变和逆变

c#泛型的协变和逆变

例:(引用自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的所有子类。

 

协变:向上兼容,即兼容所有父类。

逆变:向下兼容,即兼容所有子类。

 

c#泛型的协变和逆变