C# 入门（13） 泛型（generic）、协变（convariance）、逆变（contravariance）

C#的泛型、协变、逆变

参考书籍： 《C#图解教程》

　　泛型是个好东西。很多模版类都用到泛型。

约束（constrain）类型和次序

　　可以约束泛型，但有特定的顺序。在类后面加where 关键字

越详细的约束应该放在越靠前的地方。

可以有任意多个接口约束。

如果有构造函数约束，放在最后。

如果泛型方法接受一个同类型参数，可以省略尖括号。

//类型参数 和 方法参数类型 相同。
public void MyMethod<T> (T value) {...}

int myValue = 666;
MyMethod<int>(myValue);
MyMethod(myValue);                //等价与上一句

泛型接口的实现必须唯一。在实现泛型接口时，要保证类型实参组合不会产生两个一样的接口。看如下代码：

interface IMyIfc<T> {}

class MyClass<S> : IMyIfc<int> , IMyIfc<S>   //错误！！因为S可能是int类型。
{
}

协变

　　对于泛型来说，想要把子类分配给父类的变量，就要用到协变。看代码：

class Animal { public int Legs = 4; }
class Dog : Animal { }

delegate T Factory<T>();

class Program2
{
static Dog MakeDog() { return new Dog(); }

static void Main(string[] args)
{
Factory<Dog> dogMaker = MakeDog;
Factory<Animal> animalMaker = dogMaker;     //报错，无法隐式转换

Console.WriteLine(animalMaker().Legs.ToString());
Console.ReadLine();
}
}

尽管Dog是Animal的子类，但Factory< Dog >并不是Factory< Animal>的子类，所以无法进行转换。这时候用协变就好了（添加out 关键字）。

delegate T Factory<out T>();   //out指定了类型参数的协变。

逆变

　　和协变相似，逆变用 in 关键字指定类型参数。是从基类赋值给派生类。

协变和逆变总结

显式变化使用in和out关键字只适用于委托和接口，不适用于类、结构和方法。

可以参考别人家的博客：对协变和逆变的简单理解