Java中的泛型通配符＜?＞和＜? extends T＞、＜? super T＞的区别

在Java中，泛型通配符是处理泛型类型时的一个重要工具，它们允许我们编写更加灵活和可重用的代码。特别是<?>、<? extends T>和<? super T>这三种通配符，它们在技术实现、面试官关注点、回答吸引力以及代码示例方面都有各自的特点和差异。

技术难点

1. <?>（无界通配符）：
   • 无界通配符表示未知的类型，它是泛型的通配符的基本形式。
   • 使用无界通配符时，我们只能从集合中取出元素（协变），但不能向集合中添加元素（逆变），因为编译器不知道具体的类型。
   • 技术难点主要在于理解它的使用场景，避免在需要确定类型的情况下使用无界通配符。
2. <? extends T>（上界通配符）：
   • 上界通配符表示参数化类型的某个未知的子类型。
   • 使用上界通配符时，我们可以从集合中取出T类型的元素或其子类型的元素（协变），但不能向集合中添加任何元素（因为编译器无法确定具体是哪个子类型）。
   • 技术难点在于理解上界通配符的协变性质，以及如何在需要保证类型安全的情况下使用它。
3. <? super T>（下界通配符）：
   • 下界通配符表示参数化类型的某个未知的父类型。
   • 使用下界通配符时，我们可以向集合中添加T类型的元素或其子类型的元素（逆变），但取出元素时只能保证是Object类型（因为编译器不知道具体的父类型）。
   • 技术难点在于理解下界通配符的逆变性质，以及如何在需要灵活处理元素添加的场景下使用它。

面试官关注点

• 理解深度：面试官会关注面试者是否真正理解这三种通配符的含义和用法。
• 应用场景：面试官会询问面试者在实际开发中如何根据需求选择合适的通配符。
• 类型安全：面试官会关注面试者是否能在使用通配符时保证类型安全，避免类型擦除带来的潜在问题。
• 性能优化：对于高级职位，面试官可能会询问面试者是否了解通配符对性能的影响，以及如何优化性能。

回答吸引力

一个吸引人的回答应该具备以下特点：

• 清晰明了：直接、简洁地解释三种通配符的含义和用法。
• 实例支撑：结合具体的代码示例，展示通配符的使用场景和效果。
• 深度思考：不仅回答面试官的问题，还能主动提出相关的问题或思考，展示对技术的深入理解和探索精神。
• 解决方案：针对可能遇到的问题或挑战，提供具体的解决方案或优化建议。

代码举例

1. <?>无界通配符：

java复制代码

	List<?> list = new ArrayList<String>();
	// 我们可以读取元素，但无法确定其类型
	Object obj = list.get(0); // 合法
	list.add(new Object()); // 编译错误，无法确定类型

1. <? extends T>上界通配符：

java复制代码

	List<? extends Number> numbers = new ArrayList<Integer>();
	Number num = numbers.get(0); // 合法，返回Number或其子类型
	numbers.add(new Integer(1)); // 编译错误，无法确定具体类型

1. <? super T>下界通配符：

java复制代码

	List<? super Integer> intLists = new ArrayList<Number>();
	intLists.add(new Integer(1)); // 合法，可以添加Integer或其父类型
	Object obj = intLists.get(0); // 合法，但只能保证是Object类型

通过以上代码示例，我们可以清晰地看到三种通配符在Java泛型中的使用方式和区别。