深入理解 C# 协变和逆变

深碍√TFBOYSˉ_ 2022-06-01 05:46 274阅读 0赞

msdn 解释如下：

“协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。

“逆变”则是指能够使用派生程度更小的类型。

解释的很正确，大致就是这样，不过不够直白。

直白的理解：

**“协变”->”和谐的变”->”很自然的变化”->string->object :协变。 **

**“逆变”->”逆常的变”->”不正常的变化”->object->string 逆变。 **

上面是个人对协变和逆变的理解，比起记住那些派生，类型，原始指定,更大，更小之类的词语，个人认为要容易点。

下面是一则笑话：

一个星期的每一天应该这样念:

星期一 = 忙day；   
星期二 = 求死day；   
星期三 = 未死day；   
星期四 = 受死day；   
星期五 = 福来day；   
星期六 = 洒脱day；   
星期天 = 伤day

为了演示协变和逆变，以及之间的区别，请创建控制台程序CAStudy，手动添加两个类：

[![image][]][image 1]

因为是演示，所以都是个空类，

只是有一点记住Dog 继承自Animal,

所以Dog变成Animal 就是和谐的变化(协变),而如果Animal 变成Dog就是不正常的变化(逆变)

在Main函数中输入：

[![image][image 2]][image_image 2]

因为Dog继承自Animal，所以Animal aAnimal = aDog; aDog 会隐式的转变为Animal.

但是List<Dog> 不继承List<Animal> 所以出现下面的提示：

[![image][image 3]][image_image 3]

如果想要转换的话，应该使用下面的代码：

List<Animal> lstAnimal2 = lstDogs.Select(d => (Animal)d).ToList();

可以看到一个lstDogs 变成lstAnimal 是多么复杂的操作了。

正因如此，所以微软新增了两个关键字：Out,In,下面是他们的msdn解释：

[![image][image 4]][image_image 4]

[![image][image 5]][image_image 5]

协变的英文是：“covariant”，逆变的英文是：“Contravariant”

**为什么**Microsoft选择的是”Out” 和”In” 作为特性而不是它们呢？

我个人的理解：

因为协变和逆变的英文太复杂了，并没有体现协变和逆变的不同，但是out 和 in 却很直白。

out: 输出(作为结果),in:输入(作为参数)

所以如果有一个泛型参数标记为out,则代表它是用来输出的，只能作为结果返回，而如果有一个泛型参数标记为in,则代表它是用来输入的，也就是它只能作为参数。

目前out 和in 关键字只能在接口和委托中使用，微软使用out 和 in 标记的接口和委托大致如下：

[![image][image 6]][image_image 6]

[![image][image 7]][image_image 7]

先看下第一个IEnumerable<T>

[![image][image 8]][image_image 8]

和刚开始说的一样，T 用out 标记，所以T代表了输出，也就是只能作为结果返回。

public static void Main()

Dog aDog = new Dog();

Animal aAnimal = aDog;

List<Dog> lstDogs = new List<Dog>();

//List<Animal> lstAnimal = lstDogs;

List<Animal> lstAnimal2 = lstDogs.Select(d => (Animal)d).ToList();

IEnumerable<Dog> someDogs = new List<Dog>();

IEnumerable<Animal> someAnimals = someDogs;

因为T只能做结果返回，所以T不会被修改，编译器就可以推断下面的语句强制转换合法，所以

IEnumerable<Animal> someAnimals = someDogs;

可以通过编译器的检查，反编译代码如下：

[![image][image 9]][image_image 9]

虽然通过了C\#编译器的检查，但是il 并不知道协变和逆变，还是得乖乖的强制转换。

在这里我看到了这句话：

IEnumerable<Animal> **enumerable2** = (IEnumerable<Animal>) enumerable1;

那么是不是可以List<Animal> lstAnimal3 = (List<Animal>)lstDogs; 呢？

想要回答这个问题需要在回头看看Clr via C\# 关于泛型和接口的章节了，我就不解释了，

答案是不可以。

上面演示的是协变，接下来要演示下逆变。

为了演示逆变，那么就要找个in标记的接口或者委托了，最简单的就是：

[![clip\_image002][clip_image002]][clip_image002_clip_image002]

在Main函数中添加：

Action<Animal> actionAnimal = new Action<Animal>(a => \{ /\*让动物叫\*/ \});

Action<Dog> actionDog = actionAnimal;

actionDog(aDog);

很明显actionAnimal 是让动物叫，因为Dog是Animal，那么既然Animal 都能叫，Dog肯定也能叫。

In 关键字：逆变，代表输入，代表着只能被使用，不能作为返回值，所以C\#编译器可以根据in关键字推断这个泛型类型只能被使用，所以Action<Dog> actionDog = actionAnimal;可以通过编译器的检查。

再次演示Out关键字：

添加两个类：

public interface IMyList<out T>

T GetElement();

public class MyList<T> : IMyList<T>

public T GetElement()

return default(T);

因为out 关键字，所以下面的代码可以通过编译

IMyList<Dog> myDogs = new MyList<Dog>();

IMyList<Animal> myAnimals = myDogs;

将上面的两个类修改为：

public interface IMyList<out T>

T GetElement();

void ChangeT(T t);

public class MyList<T> : IMyList<T>

public T GetElement()

return default(T);

public void ChangeT(T t)

//Change T

编译：

[![image][image 10]][image_image 10]

因为T被out修饰，所以T只能作为参数。

同样修改两个类如下：

public interface IMyList<in T>

T GetElement();

void ChangeT(T t);

public class MyList<T> : IMyList<T>

public T GetElement()

return default(T);

public void ChangeT(T t)

//Change T

这一次使用in关键字。

编译：

[![image][image 11]][image_image 11]

因为用in关键字标记，所以T只能被使用，不能作为返回值。

最后修改代码为：

public interface IMyList<in T>

void ChangeT(T t);

public class MyList<T> : IMyList<T>

public void ChangeT(T t)

//Change T

编译成功，因为in代表了逆变，所以

IMyList<Animal> myAnimals = new MyList<Animal>();

IMyList<Dog> myDogs = myAnimals;

可以编译成功！。

[image]: /images/20220601/43dd158a668941a98c945ba6afa83176.png
[image 1]: http://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817109529.png
[image 2]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817111623.png
[image_image 2]: /images/20220601/f3f4c7b53a5e45e89b5d0876106ce2a5.png
[image 3]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817114381.png
[image_image 3]: /images/20220601/41572cdf01fb4485b7a3c85f9d13838d.png
[image 4]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817127346.png
[image_image 4]: /images/20220601/fa80b63793ff4e7db3c0a598d7205e5c.png
[image 5]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817139232.png
[image_image 5]: /images/20220601/9580860354b643499d9310b539738033.png
[image 6]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817137771.png
[image_image 6]: /images/20220601/5276170024e34c88a40226ae21082117.png
[image 7]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817146309.png
[image_image 7]: /images/20220601/d06e4aa9aebc4ab995a0be72ee23df52.png
[image 8]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817141575.png
[image_image 8]: /images/20220601/f08f74b6037b46bf8c1a6f8cbac58fae.png
[image 9]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817151194.png
[image_image 9]: /images/20220601/ddbc1c4d1264456091660699ccd26baf.png
[clip_image002]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817157016.jpg
[clip_image002_clip_image002]: /images/20220601/27bf5bf4243647bab484f2d139d75916.png
[image 10]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817164442.png
[image_image 10]: /images/20220601/3416cacdf5564dfd848275a40fbbd9e9.png
[image 11]: https://images.cnblogs.com/cnblogs_com/LoveJenny/201203/201203130817168836.png
[image_image 11]: /images/20220601/5aaf9289eb6e49c282dc190f9d54be78.png