Java泛型方法中varargs返回数组的表现差异解惑

核心原因在于Java泛型的类型擦除机制，以及可变参数数组的创建逻辑——可变参数T...本质是T[]，而数组的具体类型是由调用方的上下文类型信息决定的。

先看getArr1的异常场景 #

代码：

static <T> T[] toArr(T... listObj){
    System.out.println("To arr");
    System.out.println(listObj.getClass().getName());
    System.out.println(listObj[0].getClass().getName());
    return listObj;
}

static <T> T[] getArr1(T a1, T a2){
    System.out.println("Get arr 1");
    System.out.println(a1.getClass().getName());
    return toArr(a1, a2);
}

public static void main(String[] args) {
    String[] res1 = getArr1("one", "two");
}

运行输出：

Get arr 1
java.lang.String
To arr
[Ljava.lang.Object;
java.lang.String
//Error: casting from [Ljava.lang.Object to [Ljava.lang.String

调用泛型方法getArr1时，Java的泛型擦除会把T擦除成Object——因为泛型方法本身没有足够的类型约束来确定T对应的具体数组类型。所以getArr1调用toArr时，编译器只能创建Object[]来存储传入的String对象，toArr返回的也是这个Object[]。

虽然编译时getArr1声明返回T[]（这里推断为String[]），但运行时实际返回的是Object[]，当main方法把它赋值给String[]变量时，JVM会尝试强制类型转换，而Object[]和String[]是不同的数组类型（数组类型创建后不可变），因此抛出转换异常。

再看getArr2的正常场景 #

代码：

static String[] getArr2(String a1, String a2){
    System.out.println("Get arr 2");
    System.out.println(a1.getClass().getName());
    return toArr(a1, a2);
}

运行输出：

Get arr 2
java.lang.String
To arr
[Ljava.lang.String;
java.lang.String

getArr2是明确返回String[]的非泛型方法，当它调用toArr时，编译器能明确知道toArr需要返回String[]，因此会直接创建String[]作为可变参数的数组传递给toArr。toArr返回的就是String[]，赋值给String[]变量时不需要额外的类型转换，自然运行正常。

总结 #

• 泛型方法因类型擦除，编译期无法确定具体数组类型，默认创建Object[]；
• 非泛型的具体类型方法，能明确告知编译器要创建的数组类型，可变参数会使用对应类型的数组；
• 数组类型创建后固定，Object[]无法强制转换为String[]，这是运行时异常的根本原因。

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