逆变中子类型关系为何反向？求解析逆变原理及与协变的差异

我完全懂这种拧巴的感觉！当初第一次看到逆变的定义时，我盯着那句“若A是B的子类型，则F[B]是F[A]的子类型”看了五分钟，满脑子都是“这怎么反过来了？完全不符合直觉啊！”，直到拿实际代码场景套进去，才突然明白它的逻辑——其实逆变的“反”，恰恰是为了满足里氏替换原则（就是子类型能无缝替换父类型的核心规则）。

先拿你觉得清晰的协变打个底：

协变指的是若B是A的子类型，则F[B]是F[A]的子类型

比如我们常用的集合类型List：如果Dog是Animal的子类型（B=Dog，A=Animal），那List[Dog]就是List[Animal]的子类型——你可以把一堆狗当作一堆动物来用，完全符合直觉，因为狗本来就是动物的一种。

那逆变为什么要反过来？我们拿最典型的逆变场景——函数类型来举例：
假设我们有类型层级：Dog <: Animal（意思是Dog是Animal的子类型，对应你说的“A是B的子类型”里的A=Dog，B=Animal）。现在定义F[X]为“接受X作为参数，返回String的函数”，也就是X → String。

按照逆变的定义，F[B]也就是Animal → String应该是F[A]Dog → String的子类型——这意味着你可以把一个“接受任意动物的函数”，当作“只接受狗的函数”来用。为什么合理？
想象一下：你需要一个能处理狗的函数（Dog→String），我给你一个能处理所有动物的函数（Animal→String），它当然能处理狗啊！因为狗属于动物，这个函数完全能接收狗作为输入，输出也符合要求——这完全符合里氏替换原则，所以Animal→String确实是Dog→String的子类型。

反过来想，如果逆变不反过来会怎么样？如果我们强行让Dog→String是Animal→String的子类型，那当你用这个函数去处理猫（Cat也是Animal的子类型）时，就会报错——因为这个函数本来只接受狗，根本处理不了猫，这就违反了替换原则。

所以逆变的“反向”，本质是因为参数类型的子类型关系和函数类型的子类型关系是互逆的：你能接受更宽泛的输入（父类型），就意味着你的函数能适配更严格的场景（需要子类型输入的地方），所以它反而成了子类型。

总结一下：

• 协变的类型构造器（比如集合），是“跟着”参数的子类型关系走的，参数越具体，构造出的类型越具体，也越能当作父类型的构造体来用。
• 逆变的类型构造器（比如函数参数位），是“逆着”参数的子类型关系走的，参数越宽泛，构造出的类型越通用，反而能当作更具体参数构造体的子类型来用。

内容的提问来源于stack exchange，提问作者softshipper