135. Java 泛型 - 无界通配符

135. Java 泛型 - 无界通配符 (?)

在 Java 泛型中，无界通配符 (?) 允许表示任何类型，使代码更加通用。

本篇将详细讲解无界通配符的概念，并结合示例帮助理解。

---

1. 什么是无界通配符 (?)？

无界通配符 ? 代表“未知类型”，它可以用于泛型类或泛型方法，使其适用于任意类型。

例如：

List<?> list;

• list 可以接受 List<String>、List<Integer>、List<Double> 等任何类型的 List。
• 但由于 ? 代表未知类型，无法向 list 中添加元素（除了 null）。

---

2. 为什么使用无界通配符？

无界通配符适用于以下两种情况：

1. 仅使用 Object 类的方法，而不需要特定类型的方法（如 toString()、equals()、hashCode()）。
2. 方法的逻辑不依赖于泛型类型参数，如 List.size() 或 List.clear()。

✅ 无界通配符的语法

List<?> list = new ArrayList<String>();

• 这里 list 可以引用任何类型的 List（List<Integer>、List<Double> 等）。
• 但是，我们不能向 list 添加元素（除了 null）。

---

3. 示例：使用 ? 处理任意列表

📌 需求：编写一个方法，能够打印任何类型的 List，包括 List<String>、List<Integer>、List<Double> 等。

❌ 错误示例

以下代码无法打印 List<Integer>，因为 List<Integer> 不是 List<Object> 的子类：

public static void printList(List<Object> list) { // ❌ 只能接受 List<Object>for (Object elem : list)System.out.println(elem);
}public static void main(String[] args) {List<Integer> numbers = Arrays.asList(1, 2, 3);printList(numbers); // ❌ 编译错误
}

🔍 为什么？

• List<Integer> 不是 List<Object> 的子类（因为泛型是不协变的）。
• Java 泛型中的 List<T> 是不可变更类型的，即 List<Integer> 和 List<Object> 没有继承关系。

✅ 正确示例

import java.util.Arrays;
import java.util.List;public class UnboundedWildcard {public static void printList(List<?> list) { // ✅ 适用于任何 List 类型for (Object elem : list) { // ✅ 安全读取元素System.out.print(elem + " ");}System.out.println();}public static void main(String[] args) {List<Integer> numbers = Arrays.asList(1, 2, 3);List<String> words = Arrays.asList("Hello", "World");List<Double> decimals = Arrays.asList(1.1, 2.2, 3.3);printList(numbers); // 输出: 1 2 3 printList(words);   // 输出: Hello World printList(decimals); // 输出: 1.1 2.2 3.3}
}

🔍 解析

• printList(List<?>) 可以接受任何 List<T>，如 List<Integer>、List<String>、List<Double> 等。
• Object elem 安全读取 list 的元素，因为所有 Java 对象最终都继承自 Object。
• 但我们不能向 list 添加元素（除了 null）。

---

4. 为什么 List<Object> 和 List<?> 不一样？

在 Java 泛型中，List<Object> 和 List<?> 并不相同：

1. List<Object> 只能存储 Object 及其子类，但不能存储 Integer、String，因为 List<Integer> 不是 List<Object> 的子类。
2. List<?> 可以存储任何类型的 List，但由于类型未知，无法向 List<?> 添加元素（除了 null）。

❌ 错误示例

List<?> unknownList = new ArrayList<Integer>();
unknownList.add(5); // ❌ 编译错误
unknownList.add("Hello"); // ❌ 编译错误
unknownList.add(null); // ✅ 允许

🔍 为什么？

• unknownList 可以引用 List<Integer>、List<String>、List<Double>，但Java 无法确定具体的类型，所以不允许添加元素。
• 但**null 可以插入**，因为 null 适用于任何类型。

---

5. 适用场景

✅ 适用于不关心具体类型的 List（如通用的 printList 方法）。
✅ 适用于使用 Object 方法的情况（如 toString()、size()、clear()）。
✅ 适用于泛型方法，使代码更加灵活。

---

6. 结论

✅ ? 表示“未知类型”，可以匹配任意泛型类型。
✅ List<?> 可以存储 List<T> 的任何类型，但不能添加元素（除了 null）。
✅ List<?> 与 List<Object> 不同，前者适用于任何 List<T>，而后者仅适用于 List<Object>。
✅ 使用 ? 让代码更加通用，提高可复用性。

---

🎯 记住口诀：

• 无界通配符 ? 适用于“只读”数据（与 Object 兼容）。
• List<?> 不能添加元素，避免类型不安全问题。
• List<?> 适用于“泛型无关”的方法，如 size()、clear() 和 toString()。

🚀 学会 ?，让你的 Java 泛型代码更灵活！