Effective Java Item32：泛型数组类型擦除跨Java版本行为差异问题

以下是《Effective Java》第32条涉及的复现代码：

public class Item32 {

    static <T> T[] toArray(T ... args){
        return args;
    }


    public static void main(String[] args) {
        String[] attributes = toArray("1","2","3"); // Java 17运行无异常，Java 8运行抛出异常
    }
}

按照泛型类型擦除的基础规则，直觉上泛型方法toArray("1","2","3")的返回值擦除后应为Object[]类型，赋值给String[]类型变量时应当抛出ClassCastException，但实际运行结果存在明确版本分界：Java 8环境会抛出该异常，Java 11、Java 17环境运行无异常。

底层原理 #

这个差异本质是编译器泛型推断逻辑的调整，并非Java泛型的类型擦除规则发生了变更，具体分界来自JDK 9引入的泛型可变参数目标类型推断优化：

• Java 8及更早版本的编译器处理泛型可变参数时，不会参考调用点的目标赋值类型，只会按泛型参数的上界创建可变参数对应的数组。本例中泛型T没有指定上界，默认上界为Object，因此编译器生成的字节码会在toArray方法内部创建Object[]实例承载传入参数，方法返回时尝试将Object[]强转为String[]，自然抛出ClassCastException。
• JDK 9落地的语法优化调整了泛型可变参数的推断逻辑：当泛型可变参数方法的返回值存在明确的目标赋值类型时，编译器会直接根据目标类型推断可变参数的数组实际类型。对应本例，编译器检测到返回值需要赋值给String[]类型变量，会直接在调用点生成创建String[]的字节码来传递三个字符串参数，toArray方法返回的本身就是String[]实例，赋值时不存在类型转换错误，自然不会抛出异常。

可以通过反射打印返回数组的实际类型做验证：Java 8环境下执行System.out.println(attributes.getClass());会输出class [Ljava.lang.Object;，Java 17环境下会输出class [Ljava.lang.String;，直接对应两种行为的差异。
这个优化同时调整了@SafeVarargs注解的使用范围，Java 9开始该注解可以标记在私有实例方法上，就是为了配合新的推断逻辑，减少泛型可变参数场景下无意义的类型安全告警。

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