规范泛型设计需明确类型参数职责、统一传递路径、规避擦除冲突,并遵循java约定:接口定义用e/k/v等标准形参,实现类须显式转发;泛型类中t作用于非静态成员,静态方法需独立声明;边界约束应精准,禁用?和基本类型。

规范设计泛型类和泛型接口,核心是明确类型参数的职责、统一传递路径、避免类型擦除带来的签名冲突,并遵循 Java 社区通用约定。关键不在“能不能写”,而在于“怎么让类型参数真正被上下文识别并安全使用”。
泛型接口:先定义契约,再由实现类绑定
接口必须显式声明类型参数,所有方法签名都基于该参数;实现类不能“另起炉灶”,必须将自身类型参数转发给接口。
- 接口定义用 E(Element)表示集合元素,K/V 表示键值对,这是标准惯例
- 错误写法:
interface Deque { void addFirst(Object); }—— 接口没泛型,实现类加<item></item>也无用,方法签名无法匹配 - 正确写法:
interface Deque<e> { void addFirst(E item); E removeLast(); }</e> - 实现类写法:
class ArrayDeque<e> implements Deque<e></e></e>,不是implements Deque或implements Deque<object></object>
泛型类:类型参数在类名后声明,全程一致使用
泛型类的类型参数作用于整个类体,包括字段、构造器、普通方法——但不适用于静态成员。
- 字段可直接用
T info、List<t> items</t>等,无需额外修饰 - 构造器参数和返回值若涉及泛型,直接使用类级参数,如
public Box(T content) - 静态方法不能使用类的
T,因为静态属于类而非实例,类型参数在运行时已擦除;如需泛型能力,应定义为独立的泛型方法:public static <t> T getFirst(List<t> list)</t></t> - 不能用泛型参数创建数组:
new T[10]编译失败;可用(T[]) new Object[10](需加 @SuppressWarnings)或改用 List
类型边界与多参数:按需约束,不滥用 extends
当需要限定类型范围时,用 extends 声明上界(注意:这里 extends 既可接类也可接接口,不区分 implements)。
- 单边界:
class NumberBox<t extends number></t>,确保T是Number或其子类 - 多边界:
interface ComparableIterator<t extends comparable> & Cloneable></t>,T 必须同时实现两个接口 - 多个类型参数:
class Pair<k v></k>、class Transformer<i o></i>,命名清晰,职责分明 - 避免无意义约束,如
<t extends object></t>,等价于裸类型参数,纯属冗余
避免常见陷阱:擦除不是借口,设计要前置
类型擦除是机制,不是设计理由。很多编译错误(如方法重写失败、桥方法冲突)都源于泛型声明不完整或不一致。
- 不要在实现类中“偷偷”改泛型:如
class StringDeque implements Deque<string></string>可以,但若接口是Deque<e></e>,这个实现就丧失了复用性,应优先考虑class StringDeque<e> implements Deque<e></e></e> - 通配符
?属于使用侧(如方法参数),不属于定义侧;接口/类定义中不用?,只用具名类型参数 - 基本类型不能作泛型参数,用包装类:
ArrayList<integer></integer>✅,ArrayList<int></int>❌
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











