（7）C#泛型

1. C#的泛型种类

C#的泛型（generic）是对类的又一次抽象，可以多个类型共享一组代码；C++的类模板和函数模板类似于泛型。C#泛型包括以下种类：

1）泛型类

         ​

2）泛型结构

            ​

3）泛型方法

                ​

4）泛型委托

                ​

5）泛型接口

               ​

2. 泛型约束

                            ​

​

3. 可变性（协变、逆变、不变）

可变性是指针对泛型委托，泛型接口，在泛型参数存在基类和派生类转换情况下，添加关键字使其能够兼容的方法。

                               ​

1）协变（out关键字）

协变是指对于泛型委托，泛型接口，能够将包含派生类的对象参数的委托或接口，赋值给指向包含基类的参数的委托或接口。只针对输出参数。

对于下面的例子，不加关键字out会编译错误，因为即使Dog和Animal是继承关系，可以将Dog对象赋值和指向Animal的变量，但是委托Factory<Animal>和Factory<Dog>却不存在继承关系，因此赋值会报错。

​

2）逆变（in 关键字）

逆变和协变相反，是指，能够将包含基类的参数的委托或接口，赋值给指向包含派生类的对象参数的委托或接口。只针对输入参数。

                     ​

3）不变

不包括in和out关键字的委托或接口参数，称为不变。

4）隐式协变与逆变

对于如下情况，编译器可以解析出协变和逆变关系，可以使用隐式的协变和逆变转换。

     ​​