今天回忆了之前看的《深入理解C#》这本书中的泛型章节，其中对泛型的可变性的理解。泛型可变性分两种：协变和逆变。逆变也又称为抗变。 怎么理解这两个名词的意思： ①：协变即为在泛型接口类型中使用out标识的类型参数。协变的字面意思是“与变化的方向相同”②逆变那就是用in来标识的泛型接口类型的类型参数。逆 ...
在.net4之前，泛型接口是不变的。.net4通过协变和抗变为泛型接口和泛型委托添加了一个重要的拓展 1、抗变：如果泛型类型用out关键字标注，泛型接口就是协变的。这也意味着返回类型只能是T。 实例： 1 static void Main(string[] args) 2 { 3 IIndex<Re ...
JAVA中的协变与逆变 首先说一下关于Java中协变，逆变与不变的概念 比较官方的说法是逆变与协变描述的是类型转换后的继承关系。 定义A,B两个类型，A是由B派生出来的子类（A fruitList = new ArrayList(); } 这样的代码在编译器上会直接报错。和数组不同，泛型没有内建的协 ...
分类：
编程语言 时间：
2018-07-31 21:47:11
阅读次数：
165
转自https://www.cnblogs.com/qixuejia/p/4383068.html msdn 解释如下： “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。 解释的很正确，大致就是这样，不过不够直白。 直白的理解： “协变” ...
前言: 泛型在接口和委托中里氏替换原则语法编译不过，如何解决？ 先来个大佬的链接： http://www.cnblogs.com/lemontea/archive/2013/02/17/2915065.html 关于协变：(父类声明，子类实例化) 关于逆变的练习:（子类声明，父类实例化） ...
分类：
其他好文 时间：
2018-07-14 20:35:23
阅读次数：
141
1、说明：协变和逆变只能出现在接口和委托中。????????协变通过out来修饰，逆变通过in来修饰2、需要解决的问题：????3、解决方案：?????IEnumerable<Parent> _parents = ne
分类：
Web程序 时间：
2018-07-10 22:40:12
阅读次数：
230
使用泛型可以定义接口，在接口中定义的方法可以带泛型参数。在链表的中，实现了IEnumerable<out T>接口，它定义了GetEnumerator()方法，返回IEnumerator<T>。.net中提供了许多泛型接口：IComparable<T>、ICollection<T>和Iextensi ...
分类：
其他好文 时间：
2018-06-28 21:34:37
阅读次数：
174
逆变和协变是.net 4.0 版本中推出了的概念， 只能在泛型委托 和 泛型接口中使用， 当我们在给泛型变量赋值的时候, 如果赋值表达式看着很安全和谐就是协变, 反之就是逆变 1. 协变 (out) 我们都知道泛型接口的泛型参数不一样时, 默认情况下是不能赋值的, 就算参数存在继承关系也是不行的 如 ...
分类：
Web程序 时间：
2018-06-24 23:42:41
阅读次数：
210
第五章第二节 设计可复用的软件 5-1节学习了可复用的层次、形态、表现；本节从类、API、框架三个层面学习如何设计可复用软件实体的具体技术。 Outline 设计可复用的类——LSP 行为子结构 Liskov替换原则(LSP) 各种应用中的LSP 数组是协变的 泛型中的LSP 为了解决类型擦除的问题 ...
分类：
其他好文 时间：
2018-06-14 01:03:47
阅读次数：
154
namespace test { // 泛型的协变，T 只能作为返回的参数 public interface Class1 { T Get(); int Count { get; } } public class Class2 : Class1 { public String Get() ... ...
