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关键字只适用于委托和接口,不适用于类、结构和方法。
可以参考别人家的博客:对协变和逆变的简单理解