协变,逆变与不变

不知道你在看到这个标题的时候会不会想:这都是什么狗屁玩意?

至少我第一次看到这三个词的时候是这么想的。

这三个概念在计算机科学中和类型系统有关,主要应用在泛型参数中父类和子类之间的赋值约束之间。

如果你看不懂上一句话说什么,很正常,光说这个我也看不懂,所以我们还是用例子来解释吧。

继续阅读“协变,逆变与不变”