Java通配符使用技巧与规则解析

Java泛型中的通配符（?）是处理类型不确定性的重要机制，分为无界、上限（ extends T>）和下限（ super T>）三种形式：无界通配符适用于仅需调用不依赖具体类型的通用方法（如size()、clear()）的只读场景，禁止向集合添加非null元素；上限通配符允许接收T及其子类的实例，保障类型安全的同时支持协变读取；下限通配符则面向逆变写入，适用于向集合添加T或其父类对象。掌握三者适用边界与“PECS”（Producer Extends, Consumer Super）原则，能显著提升泛型代码的灵活性与健壮性。

Java通配符主要用于泛型中，用来处理未知类型，增强代码的灵活性和安全性。通配符用 ? 表示，根据使用场景可分为三种形式：无界通配符、上限通配符和下限通配符。

无界通配符（Unbounded Wildcards）

形式为 List，表示可以接受任何类型的泛型集合。

适用于你只调用不依赖具体类型的方法，比如 size() 或 clear()，而不涉及添加元素（除了 null）的情况。

• 只能读取数据，不能向集合中写入除 null 外的任何值。
• 适合用于“只读”操作的参数传递。

上限通配符（Upper Bounded Wildcards）

形式为 List，表示接受 Number 或其子类（如 Integer、Double）的泛型集合。

当你需要读取数据，并希望对元素进行与上界类型相关的操作时使用。

• 可以从集合中读取对象，并将其视为上界类型（如 Number）。
• 不能向集合中添加除 null 以外的任何值，因为编译器无法确定实际类型是哪一个子类。

下限通配符（Lower Bounded Wildcards）

形式为 List，表示接受 Integer 或其父类（如 Number、Object）的泛型集合。

当你需要向集合中写入数据，且后续由其他部分读取时使用。

• 可以安全地向集合中添加 Integer 及其子类对象。
• 从集合读取时，只能当作 Object 类型使用，失去具体类型信息。

PECS 原则（Producer-Extends, Consumer-Super）

这是使用通配符的重要指导原则：

• 如果一个集合主要用于生产（读取）数据，使用 ? extends T。
• 如果一个集合主要用于消费（写入）数据，使用 ? super T。
• 这个原则来自《Effective Java》，能帮助正确选择通配符类型。

基本上就这些。合理使用通配符能让泛型代码更灵活，同时保持类型安全。关键是理解读写限制和应用场景。不复杂但容易忽略细节。

本篇关于《Java通配符使用技巧与规则解析》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于文章的相关知识，请关注golang学习网公众号！