Java的泛型机制允许我们在定义类、接口或方法时指定类型参数，而有界通配符进一步扩展了泛型的灵活性，通过指定类型参数的上限或下限来约束可接受的类型范围。不过在实际开发中，不少开发者会尝试使用有界通配符来实例化泛型类，这种做法往往会触发编译错误，背后存在明确的语言设计逻辑。
基础概念铺垫
泛型类定义
泛型类是在类定义时声明一个或多个类型参数的类，例如我们定义一个简单的容器泛型类：
// 定义一个泛型类，T是类型参数
class Container<T> {
private T value;
public void setValue(T value) {
this.value = value;
}
public T getValue() {
return value;
}
}
有界通配符含义
有界通配符分为上界通配符和下界通配符两种：
- 上界通配符
? extends 类型：表示类型参数必须是该类型或其子类 - 下界通配符
? super 类型：表示类型参数必须是该类型或其父类
有界通配符不能直接实例化泛型类的原理
首先我们需要明确，Java的泛型是伪泛型，类型参数在编译阶段会进行类型擦除，但是编译器的类型检查会在编译期拦截不安全的泛型操作。尝试用有界通配符实例化泛型类时，编译器无法确定具体的类型参数，因此会直接报错。
错误示例演示
假设我们有一个表示数字的泛型类：
class NumberBox<T extends Number> {
private T num;
public void setNum(T num) {
this.num = num;
}
public T getNum() {
return num;
}
}
如果我们尝试用上界通配符实例化这个类：
public class Test {
public static void main(String[] args) {
// 编译错误，无法用有界通配符实例化泛型类
NumberBox<? extends Integer> box = new NumberBox<? extends Integer>();
}
}
上述代码会直接编译失败，原因有两个：
- 有界通配符
? extends Integer代表的是所有Integer子类的某个未知类型，编译器无法确定具体的类型是什么，因此无法为new NumberBox<? extends Integer>()分配具体的类型信息。 - 泛型实例化的类型参数必须是具体的类型，不能是通配符，通配符只能用于变量的声明，不能用于实例化的类型参数位置。
有界通配符在泛型类使用中的限制
上界通配符的限制
当泛型类的变量声明使用上界通配符时，我们无法向该实例中写入非null的具体类型对象，因为编译器不知道具体的类型是哪个子类。
public class Test {
public static void main(String[] args) {
// 声明变量时使用上界通配符
NumberBox<? extends Number> box = new NumberBox<Integer>();
// 编译错误，无法写入具体类型
box.setNum(123);
// 只能读取，读取到的类型是上限类型
Number num = box.getNum();
}
}
这是因为? extends Number表示类型是Number的某个未知子类，可能是Integer也可能是Double，如果允许写入Integer，万一实际类型是Double的容器就会破坏类型安全，因此编译器禁止写入操作。
下界通配符的限制
下界通配符? super 类型的限制则体现在读取阶段，我们只能将其读取为Object类型，因为编译器不知道具体的父类是哪个。
class StringBox<T> {
private T content;
public void setContent(T content) {
this.content = content;
}
public T getContent() {
return content;
}
}
public class Test {
public static void main(String[] args) {
// 声明变量时使用下界通配符
StringBox<? super String> box = new StringBox<Object>();
// 允许写入String及其子类
box.setContent("hello");
// 编译错误，读取时只能得到Object类型
String str = box.getContent();
// 正确读取方式
Object obj = box.getContent();
}
}
这是因为? super String表示类型是String的某个未知父类，可能是Object也可能是CharSequence，因此读取时无法确定具体类型，只能安全返回Object。
正确的使用方式
如果我们需要使用有界通配符的泛型类能力，正确的做法是先使用具体类型实例化泛型类，再将实例赋值给带通配符的变量：
public class Test {
public static void main(String[] args) {
// 先用具体类型实例化
NumberBox<Integer> intBox = new NumberBox<>();
intBox.setNum(100);
// 再赋值给带通配符的变量
NumberBox<? extends Number> numBox = intBox;
// 此时可以安全读取Number类型
Number result = numBox.getNum();
System.out.println(result);
}
}
这种方式既保留了泛型的类型安全，又能利用有界通配符的灵活性处理不同类型的泛型实例，是实际开发中的推荐用法。
总结
Java中不允许使用有界通配符实例化泛型类，本质是编译器需要明确的类型参数来完成类型检查，通配符代表的是未知类型范围，无法满足实例化对具体类型的要求。在使用有界通配符时，需要牢记上界通配符适合读取、下界通配符适合写入的特性，避免触发编译错误，同时保证代码的类型安全性。