带有通用可变参数的 ClassCastException？

Question

我有一个通用接口

{
void evaluate( TYPE... things );
}

我有一个带有签名的通用方法

<TYPE> void genericmethod( INTERFACE<TYPE> interfase, TYPE thing )
{
//the following line throws the ClassCastException
interfase.evaluate( thing );
}

PCard 是我项目中的一个名称。

所以最后的调用是

INTERFACE<PCard> interfase = new WorkingImplementation<PCard>();
PCard pcard = new PCard();

这似乎在泛型方法中抛出 ClassCastException，当它尝试调用将单个 pcard 转换为 varargs 数组时。

genericmethod( interfase, pcard );

没有调用泛型方法，直接调用接口，问题就解决了。

interfase.evaluate( pcard );

什么导致异常（内部）？ （我个人猜测是java不堪重负）

异常消息：

java.lang.ClassCastException: 类 [Ljava.lang.Object;不能转换为类 [Llib.cardgame.CG$PCard; （[Ljava.lang.Object; 在加载器“bootstrap”的模块 java.base 中；[Llib.cardgame.CG$PCard; 在加载器“app”的未命名模块中）

Answer 1

简答：泛型和数组不能混用。请改用List<? extends TYPE> things。

泛型只是一个编译器技巧。它们在运行时不存在。数组在运行时具有不同的类型，例如 String[] 或 Number[]。但是由于泛型类型在运行时不存在，编译器不可能生成生成泛型类型数组的代码。 （对 varargs 方法的调用会隐式创建一个数组来保存 varargs 参数。）

在您的情况下，编译器会对此发出警告，并生成尽可能接近您想要的代码：每当调用 varargs 方法时创建的隐式数组的生成代码将是 Object[] (因为TYPE，我猜，没有上限）。

如果您打开所有编译器警告，您将收到通知。正确处理所有编译器警告（意思是，不要使用@SuppressWarnings）将保证您不会像现在这样遇到令人费解的意外。

我推荐Gilad Bracha’s generics tutorial。我发现它对于理解泛型的工作原理非常宝贵。