Java方法内创建泛型数组：解决Horstmann习题的类型转换异常

问题背景 #

需完成Cay S. Horstmann《Java SE 8》第6章第21题：实现一个带@SafeVarargs注解的方法，用于构建泛型类型数组，示例调用如下：

List<String>[] result = Arrays.<List<String>>construct(10);
// 生成长度为10的List<String>[]类型数组

原实现的问题 #

你提供的代码抛出ClassCastException的核心原因：

• ArrayList.toArray()返回的是Object[]类型数组，即便强制转换为T[]，运行时该数组的实际类型仍是Object[]
• 泛型类型擦除后，JVM在将数组赋值给List<String>[]变量时会执行类型检查，发现实际类型不匹配，因此抛出异常

正确实现方案 #

要创建真正的泛型类型数组，需结合反射与@SafeVarargs注解（该注解用于标记可变参数的泛型方法不会引发堆污染）。实现思路是通过可变参数获取数组的组件类型，再利用反射创建对应类型的数组：

import java.lang.reflect.Array;

public class Arrays {
    @SafeVarargs
    public static <T> T[] construct(int size, T... prototype) {
        if (size < 0) {
            throw new IllegalArgumentException("Size cannot be negative: " + size);
        }
        // 通过反射创建指定类型和长度的数组
        @SuppressWarnings("unchecked")
        T[] result = (T[]) Array.newInstance(prototype.getClass().getComponentType(), size);
        return result;
    }
}

调用方式 #

可通过两种方式调用，确保获取正确的数组类型：

1. 显式传递空数组作为类型原型：

List<String>[] result = Arrays.construct(10, new List[0]);

2. 显式指定泛型类型并传递null（需强制转换类型）：

List<String>[] result = Arrays.<List<String>>construct(10, (List<String>) null);

说明 #

• @SafeVarargs注解用于告知编译器：该方法对可变参数的使用是安全的，不会导致堆污染（即不会将泛型数组转换为非泛型数组后引发类型错误）
• 反射Array.newInstance()方法根据传入的组件类型（prototype.getClass().getComponentType()）创建对应类型的数组，从根本上避免了Object[]强制转换的问题

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