用简单英语解释协方差、不变性和逆变
简介：
理解协方差、不变性、逆变可能具有挑战性，但对于理解 Java 中的类型转换和关系。本文旨在简化这些概念并提供现实世界的示例以增强理解。
协方差：
协方差描述了保留子类型关系的类型转换。如果类型 A 是类型 B 的子类型，则转换 f(A) 将导致 f(B) 成为 f(A) 的子类型。
示例：
考虑变换 f(List) = List
不变性：
当子类型关系不受类型转换影响时，就会出现不变性。如果 A 是 B 的子类型，则 f(A) 不会是 f(B) 的子类型或超类型。
示例：
Java 泛型以不变方式表现。例如，f(ArrayList)=ArrayList。由于 ArrayList和 ArrayList是不同的类型，也不是另一个的子类型或超类型。
逆变：
逆变是协方差的逆。子类型关系在转换期间颠倒。如果 A 是 B 的子类型，则 f(B) 将是 f(A) 的子类型。
示例：
考虑类型转换 f(A[]) =B[]。在 Java 中，数组是协变的，这意味着如果 A[] 是 B[] 的子类型，那么 f(A[]) = B[] 也将是 f(B[]) = B[] 的子类型。
应用：
协变、不变性和逆变在Java：
以上是Java 中的协变、不变和逆变：有什么区别以及为什么我应该关心？的详细内容。更多信息请关注PHP中文网其他相关文章！
