向数组中添加子类的泛型

Question

我有一个扩展a的类B。a存储一个Item的列表，B存储一个BItem的列表

在“a”中，我有一个使用[？extends AItem]的ArrayList。

我假设这意味着我可以将这个ArrayList用于扩展aItem的任何类型的对象。

import java.util.ArrayList;

class A {
    public ArrayList<? extends AItem> items;
}

public class B extends A{

    public void add(BItem i) {

        this.items.add(i); //compile error here
    } 
}

//items :
class AItem {}
class BItem extends AItem{}

Answer 1

这里可能不需要使用泛型。在类A中拥有AItem类型的列表应该很好（为了最佳实践，我还将声明它为list类型，而不是ArrayList)：

class A {
    public List<AItem> items;
}

class B extends A {

    public void add(BItem i) {

        this.items.add(i);
    } 
}

的问题是什么？extends aItem是指编译器不能保证元素的实际类型是aItem或bitem。它可能是另一个子类citem，在这种情况下，类型安全被破坏。

使用泛型设计类层次结构的另一种方法是，在父类中设置类型参数，并将其设置为扩展类b中的适当子类(bitem):

class A<T extends AItem> {
    public ArrayList<T> items;
}

class B extends A<BItem>{

    public void add(BItem i) {

        this.items.add(i);
    } 
}