java - 使用可变参数和泛型时出现 ClassCastException

Question

我正在使用 java 泛型和可变参数。

如果我使用下面的代码，我会得到一个 ClassCastException，即使我根本没有使用转换。

奇怪的是，如果我在 Android (dalvik) 上运行它，则异常中不包含任何堆栈跟踪，如果我将接口(interface)更改为抽象类，则异常变量 e 为空。

代码:

public class GenericsTest {
    public class Task<T> {
        public void doStuff(T param, Callback<T> callback) {
            // This gets called, param is String "importantStuff"

            // Working workaround:
            //T[] arr = (T[]) Array.newInstance(param.getClass(), 1);
            //arr[0] = param;
            //callback.stuffDone(arr);

            // WARNING: Type safety: A generic array of T is created for a varargs parameter
            callback.stuffDone(param);
        }
    }

    public interface Callback<T> {
        // WARNING: Type safety: Potential heap pollution via varargs parameter params
        public void stuffDone(T... params);
    }

    public void run() {
        Task<String> task = new Task<String>();
        try {
            task.doStuff("importantStuff", new Callback<String>() {
                public void stuffDone(String... params) {
                    // This never gets called
                    System.out.println(params);
                }});
        } catch (ClassCastException e) {
            // e contains "java.lang.ClassCastException: [Ljava.lang.Object; cannot be cast to [Ljava.lang.String;"
            System.out.println(e.toString());
        }
    }

    public static void main(String[] args) {
        new GenericsTest().run();
    }
}

如果你运行它，你会得到一个 ClassCastException，Object 不能转换为 String，堆栈跟踪指向无效的行号.这是Java中的错误吗？我已经在 J​​ava 7 和 Android API 8 中对其进行了测试。我为它做了解决方法(在 doStuff-method 中注释掉了)，但必须这样做似乎很愚蠢。如果我删除可变参数 (T...)，一切正常，但我的实际实现有点需要它。

异常的堆栈跟踪是:

java.lang.ClassCastException: [Ljava.lang.Object; cannot be cast to [Ljava.lang.String;
    at GenericsTest$1.stuffDone(GenericsTest.java:1)
    at GenericsTest$Task.doStuff(GenericsTest.java:14)
    at GenericsTest.run(GenericsTest.java:26)
    at GenericsTest.main(GenericsTest.java:39)

Answer 1

这是预期的行为。当您在 Java 中使用泛型时，对象的实际类型不包含在编译的字节码中(这称为类型删除)。所有类型都变成了 Object 并且强制转换被插入到编译代码中以模拟类型化行为。

此外，可变参数变为数组，当调用通用可变参数方法时，Java 在调用它之前使用方法参数创建类型为 Object[] 的数组。

因此，您的行 callback.stuffDone(param); 编译为 callback.stuffDone(new Object[] { param });。但是，回调的实现需要类型为 String[] 的数组。 Java 编译器在您的代码中插入了一个不可见的强制转换以强制执行此类型，并且由于 Object[] 无法转换为 String[]，您会得到一个异常。您看到的伪造行号可能是因为转换没有出现在您的代码中的任何地方。

一个解决方法是从回调接口(interface)和类中完全删除泛型，将所有类型替换为 Object。