深入探讨Java中的协变、逆变、双变与不变性

深入探讨Java中的协变、逆变、双变与不变性

在Java编程语言中，类型系统是确保程序正确性的关键部分。类型系统的一个重要特性是子类型化（Subtyping），它允许在某些上下文中使用一个类型的实例代替另一个类型的实例。Java支持多种子类型化规则，包括协变（Covariant）、逆变（Contravariant）、双变（Bivariant）和不变性（Invariant）。本文将深入探讨这些概念，并结合实例进行说明。

协变（Covariant）

协变是指允许将子类型用作超类型的实例。在Java中，数组支持协变，这意味着可以将一个子类型的数组赋值给一个超类型的数组变量。例如：

Integer[] integers = new Integer