协变在 Java 集合类中的应用

协变（Covariance）是面向对象编程中的一个重要概念，它允许子类继承或覆盖父类的方法，同时保持方法返回类型的兼容性。在Java集合类中，协变的应用主要体现在泛型的使用上。

Java集合框架中的许多接口和类都支持协变。例如，List、Set、Map等接口都继承自Collection接口。这些接口的泛型版本允许你在子类中使用更具体的类型，而不是仅仅使用Object类型。这就是协变在Java集合类中的应用。

以下是一些使用协变的Java集合类示例：

1. List<E>接口：这是一个泛型接口，表示一个有序的元素集合。E是一个占位符，表示集合中元素的类型。你可以使用具体的类型替换E，例如List<String>表示一个字符串列表。

List<String> stringList = new ArrayList<String>();
stringList.add("Hello");
stringList.add("World");

2. Set<E>接口：这是一个泛型接口，表示一个无序且不包含重复元素的集合。与List<E>类似，E是一个占位符，表示集合中元素的类型。

Set<Integer> integerSet = new HashSet<Integer>();
integerSet.add(1);
integerSet.add(2);
integerSet.add(3);

3. Map<K, V>接口：这是一个泛型接口，表示一个键值对集合。K表示键的类型，V表示值的类型。

Map<String, Integer> stringIntegerMap = new HashMap<String, Integer>();
stringIntegerMap.put("One", 1);
stringIntegerMap.put("Two", 2);

协变在Java集合类中的应用使得你可以更灵活地使用集合，同时保持类型安全。例如，你可以创建一个List<Number>类型的变量，然后向其中添加Integer和Double类型的元素，因为Integer和Double都是Number的子类。这就是协变带来的好处。