为什么有界类型参数会出现“java.lang.ClassCastException：

Question

由于 java 没有通用数组，因此我使用将对象数组转换为类型参数的常规技巧。当我有一个正式的类型参数时，这工作得很好，<T>但当我使用有界类型参数时却不行<T extends something>。

使用正式类型遵循代码效果很好

public class Deck <T> {

    private T [] cards;

    private int size;

    public Deck () {

        cards = (T []) new Object[52];

        size = 0;

    }

}

public class BlackJackGame {

    Deck<BlackJackCard> deck;

    public BlackJackGame() {

        deck = new Deck<>();

        populate (deck);

        deck.shuffle();

    }

}

public class BlackJackCard extends Card {

}

以下使用有界类型的代码会引发错误

public class Deck <T extends Card> {

    private T [] cards;

    private int size;

    public Deck () {

        cards = (T []) new Object[52];

        size = 0;

    }

}

public class BlackJackGame {

    Deck<BlackJackCard> deck;

    public BlackJackGame() {

        deck = new Deck<>();

        populate (deck);

        deck.shuffle();

    }

}

public class BlackJackCard extends Card {

}

Exception in thread "main" java.lang.ClassCastException: [Ljava.lang.Object; cannot be cast to [LCard;

    at Deck.<init>(Deck.java:10)

    at BlackJackGame.<init>(BlackJackGame.java:5)

Answer 1

这个例子让我想起了早期，当我在“Effective java”一书中阅读有关泛型的内容时......首先，这是java泛型的黄金法则：不要混合数组和泛型，因为你有很好的机会生成不安全的代码。您的代码将泛型（例如 T、T extends Card）与数组（例如 T [] 卡）混合在一起。然后，您在运行时得到不安全的代码。这是一种安全的方法（首选列表而不是数组）：class Deck <T extends Card> {&nbsp; &nbsp; private List<T> cards;&nbsp; &nbsp; public Deck () {&nbsp; &nbsp; &nbsp; &nbsp; cards = new ArrayList()<>;&nbsp; &nbsp; }}现在，要回答你的问题，你应该首先回到 java 的一些基础知识：1- 数组是共变结构2-泛型是不变的结构3-元素类型在数组中具体化（reification）4- 参数类型在通用中被擦除（类型擦除）不用担心，先把可怕的概念放在一边，看看你的例子发生了什么：形式类型 T 在运行时被删除。这意味着它在字节码中被完全删除。在第一个示例中，T 只是被替换为 Object，因为它是最接近它的类（就继承而言），所以，cards&nbsp;=&nbsp;(T&nbsp;[])&nbsp;new&nbsp;Object[52]被翻译成cards&nbsp;=&nbsp;(Object&nbsp;[])&nbsp;new&nbsp;Object[52];这是安全的。在第二个示例中， T 绑定到 Card 并且它变成 ，因此，是最接近它的类（就继承而言），因此，cards&nbsp;=&nbsp;(T&nbsp;[])&nbsp;new&nbsp;Object[52]被翻译成cards&nbsp;=&nbsp;(Card&nbsp;[])&nbsp;new&nbsp;Object[52];由于 Object 不是 Card 的子类型，因此您遇到了运行时强制转换异常。