关于Arrays.copyOfRange泛型数组创建机制的技术问询

好问题！这确实是Java泛型机制里一个容易让人困惑的点，咱们来一步步拆解这个方法的实现逻辑：

首先要明确：它并不是直接创建Object[]再做未检查的强转，而是借助反射机制，利用原数组的运行时类型来创建匹配类型的新数组。

核心原理：利用原数组的运行时类型 #

Java泛型在编译时会发生类型擦除，所以我们没法直接写new T[]（编译时会报错）。但copyOfRange方法接收的original参数是一个已经实例化的泛型数组（比如String[]、Integer[]），它在运行时是有具体类型的。

方法内部会做这几件事：

• 计算新数组的长度newLength = to - from
• 通过original.getClass().getComponentType()获取原数组的元素类型（比如原数组是String[]，就返回String.class）
• 调用Array.newInstance(componentType, newLength)创建一个和原数组元素类型一致的新数组，这个方法返回的是Object类型，但实际运行时类型是对应的具体数组类型（比如String[]）
• 把原数组中指定范围的元素拷贝到新数组里，最后将新数组强转为T[]返回

简化版源码示例 #

如果你去看JDK的源码，这个方法的核心逻辑大概是这样的：

public static <T> T[] copyOfRange(T[] original, int from, int to) {
    int newLength = to - from;
    if (newLength < 0)
        throw new IllegalArgumentException(from + " > " + to);
    // 获取原数组的元素类型，创建同类型新数组
    @SuppressWarnings("unchecked")
    T[] copy = (T[]) Array.newInstance(original.getClass().getComponentType(), newLength);
    // 拷贝元素
    System.arraycopy(original, from, copy, 0, Math.min(original.length - from, newLength));
    return copy;
}

这里的@SuppressWarnings("unchecked")只是用来压制编译警告，因为编译器没法确定Array.newInstance返回的Object就是T[]，但我们通过反射逻辑能确保这一点，所以这个强转是安全的。

和“直接创建Object[]强转”的区别 #

如果直接创建Object[]再强转成T[]，运行时这个数组的实际类型还是Object[]，当你把它当作T[]使用时（比如存入非Object类型的元素），可能会抛出ArrayStoreException。而copyOfRange创建的数组实际类型和原数组一致，完全符合T[]的运行时类型，不会有这个问题。

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