创建泛型对象时何时需添加<?>？以Message类为例

首先明确：两种写法都不是强制必须的，但存在本质的类型安全差异，下面逐一拆解：

1. 原始类型写法：Message m = new Message<>(...) #

这是Java 5引入泛型之前的遗留写法，会触发泛型擦除，编译器会抛出「未检查的转换」警告。

• 问题：完全绕过泛型的编译期类型检查，后续调用m的方法时，所有泛型相关的类型约束都会失效，比如无法安全获取Data类型的返回值，必须手动强转，容易引发ClassCastException。
• 场景：几乎不推荐使用，仅用于兼容极老的非泛型代码。

2. 通配符写法：Message<?, ?, ?> m = new Message<>(...) #

这是符合泛型规范的写法，其中：

• 第一个?表示任意类型（等价于? extends Object）；
• 第二个和第三个?因为类定义中From extends Connectable、To extends Connectable的约束，实际等价于? extends Connectable，编译器会保证这两个类型一定是Connectable的子类或实现类。
• 优势：保留了泛型的边界检查，避免了原始类型的不安全，编译器会阻止传入不符合约束的类型。
• 限制：因为通配符是未知类型，无法调用需要传入泛型参数的方法（比如setData(Data d)），但可以安全调用返回泛型参数的方法（比如Connectable getFrom()）。

3. 更优的选择：使用具体泛型类型 #

如果能明确Data、From、To的具体类型，直接声明具体类型是最安全的，比如：

Message<String, Client, Server> m = new Message<>(...);

这样编译器会做最严格的类型检查，完全避免类型转换风险。

总结 #

• 不是必须加<?, ?, ?>，但强烈不推荐使用原始类型Message，因为会丢失类型安全；
• <?, ?, ?>和原始类型的核心区别是：前者保留了泛型的边界约束和编译期检查，后者完全放弃了泛型机制，回到了无类型检查的时代。

内容的提问来源于stack exchange，提问作者Nati