简述

在深入了解泛型的过程中, 了解到了逆变和协变的概念, 故此在这里将其说明清楚

什么是逆变和协变

先说明两个定义

"A≤B"代表A继承于B

"f(A)"代表由A衍生出来的新对象(或者是类型)

参考

图解java泛型的协变和逆变 (opens new window)

Java协变和逆变 (opens new window)

Java中的逆变与协变 (opens new window)