几行代码帮你搞懂C#中的协变与逆变
什么是协变与逆变?简单说就是在泛型编程中扩大和缩小使用范围, 达到灵活编程的效果. 比如可以将一个Dog类作Animal类使用, 也可以将一个Animal类作Dog类使用,下面通过几行代码来说明.
创建一个Animal类
internal class Dog:Animal
{
}
创建一个Dog类,继承自Animal类
internal class Animal
{
}
写一个Test类, 该类继承自ITest接口
public interface ITest<in TIn, out TOut>
{
void show(TIn value);
TOut Get();
}
internal class Test<T1, T2> : ITest<T1, T2>
{
public void show(T1 value)
{
Console.WriteLine(typeof(T1).Name);
}
public T2 Get()
{
Console.WriteLine(typeof (T2).Name);
return default(T2);
}
}
我们在主函数中使用
//父类: Animal子类: Dog
//协变:子类可以赋值给父类,用关键字out声明
//逆变:父类可以赋值给子类,用关键字in声明
ITest<Dog, Animal> testl = new Test<Dog, Animal>();//正常传递参数,Dog是入参,Animal是出参
ITest<Dog, Animal> test2= new Test<Dog, Dog>();//协变
ITest<Dog, Animal> test3 = new Test<Animal, Animal>();//逆变
ITest<Dog, Animal> test4 = new Test<Animal, Dog>();//逆变+协变
ITest<Animal, Dog> test5 = new Test<Animal, Dog>();//正常传递参数
/*
错误，ITest类第一个类型参数是in;代表逆变,逆变可以将父类赋值给子类，而这里却将子类赋值给父类,逻辑相悖
ITest<Animal, Dog> test6 = new Test<Dog, Dog>();
*/
/*
错误, ITest类第二个类型参数是out,代表协变,协变可以将子类赋值给父类，而这里却将父类赋值给子类，逻辑相悖
ITest<Animal, Dog> test7 = new Test<Animal, Animal>();
*/
/*
ITest类第一个类型参数是in,代表逆变，逆变可以将父类赋值给予类，而这里却将于类斌值给父类,逻辑相悖
ITest类第二个类型参数是out,代表协变，协变可以将子类赋值给父类，而这里却将父类赋值给于类，逻辑相悖
ITest<Animal, Dog> test8 = new Test<Dog, Animal>();
*/