无界通配符类型在运行时的工作机制探究

嘿，我完全get你现在的困惑——你已经把编译时泛型的那些区别摸得门儿清了，就是卡在List<?>运行时到底是怎么工作的这块儿。那咱们就把这个点拆解透：

1. 运行时的本质：泛型擦除后的统一身份 #

首先要明确：所有泛型列表在运行时都会被类型擦除成原始的List类型，不管你声明的是List<Object>、List<String>还是List<?>，JVM运行时看到的都是同一个java.util.List（如果是具体实现类比如ArrayList，那就是java.util.ArrayList）。

举个例子，用instanceof判断时：

List<?> wildcardList = new ArrayList<Integer>();
List<Object> objList = new ArrayList<>();
List rawList = new ArrayList<String>();

System.out.println(wildcardList instanceof List<?>); // true
System.out.println(wildcardList instanceof List); // true
System.out.println(objList instanceof List<?>); // true

这三个判断都会返回true，因为运行时它们的类型都是List，泛型参数的信息已经被擦除得一干二净了。

2. 编译时的限制≠运行时的限制 #

你知道编译时List<?>不能添加除了null之外的元素，但这个限制完全是编译器给你的安全检查，运行时JVM根本不认这个规则。因为运行时没有泛型类型的概念，它只知道这个List里存的是Object类型的引用。

比如用反射绕过编译检查，你完全可以往List<?>里加任意类型的元素：

List<?> list = new ArrayList<String>();
// 编译时会报错：list.add("hello"); 编译器不让你这么干

// 但用反射就能绕过去
try {
    Method addMethod = List.class.getMethod("add", Object.class);
    addMethod.invoke(list, "hello");
    addMethod.invoke(list, 123); // 甚至加Integer也没问题
    System.out.println(list.get(0)); // 运行时输出"hello"
    System.out.println(list.get(1)); // 运行时输出123
} catch (Exception e) {
    e.printStackTrace();
}

这段代码运行完全没问题，因为JVM根本不知道这个List原本被声明为List<?>，它只执行add方法，把对象存进去。

3. List<?>的运行时意义：只是编译时的“安全标签” #

说白了，List<?>的“未知类型”特性只存在于编译阶段，是编译器用来帮你避免类型错误的工具。运行时它和原始类型List的行为几乎一模一样，但区别在于：

• 原始类型List是为了兼容Java 5之前的老代码，编译器不会给你任何类型安全检查；
• List<?>是类型安全的模糊类型，编译时会限制你做不安全的操作（比如添加非null元素），但运行时和普通List没区别。

总结一下 #

运行时的List<?>就是一个普通的List，所有泛型相关的通配符信息都被擦除了，它的“未知类型”身份只在编译时有效。JVM运行时只知道这是个存储Object引用的列表，不会管你声明时用的是通配符还是具体类型。

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