什么是协变:一个操作如果在 T 和 U 两个类型上执行后返回的 T' 和 U' 之间的关系跟原来的 T 和 U 之间的关系相同,则这个操作就叫做协变。英文名:Covariance。
什么是逆变:一个操作如果将 T 和 U 的大小关系改变了(大变小,小变大 - 逆转),但是不改变 T 和 U 之间的相等或不相干这两个关系,则这个操作就叫做逆变。英文名:Contravariance。
什么是协变:一个操作如果在 T 和 U 两个类型上执行后返回的 T' 和 U' 之间的关系跟原来的 T 和 U 之间的关系相同,则这个操作就叫做协变。英文名:Covariance。
什么是逆变:一个操作如果将 T 和 U 的大小关系改变了(大变小,小变大 - 逆转),但是不改变 T 和 U 之间的相等或不相干这两个关系,则这个操作就叫做逆变。英文名:Contravariance。