下界通配符

Question

Automobile
    - Bus
        - Minibus
        - Doubledecker
        - Electricbus
    - Car
        - Sedan
        - Hatchback
        - Coupe
    - Truck
        - Minivan
        - Pickuptruck
        - Suv
            - Fullsuv
            - Midsuv

现在我正在尝试构建一个（灵活的）列表，并向其中添加不同类型的对象。

import java.util.ArrayList;
import java.util.List;

public class Garage {

    public static void main(String[] args)
    {
        List<? super Suv> list = null;

        Suv s = new Suv();
        Truck t = new Truck();
        Automobile a = new Automobile();

        list = new ArrayList<Suv>();
        list.add(s); // declared as List<? super Suv> but actually List<Suv>. No compilation error

        list = new ArrayList<Truck>();
        list.add(t); // declared as List<? super Suv> but actually List<Truck>. Compilation error

        list = new ArrayList<Automobile>();
        list.add(a); // declared as List<? super Suv> but actually List<Automobile>. Compilation error
    }
}

我可以将SUV的实例添加到List<？超级SUV>。但是，当我试图将Truck或Automobile的实例添加到同一个列表中时，会出现编译错误。列表不是<吗？super SUV>是否足够灵活，可以使用SUV或其超级类的任何实例？卡车和汽车在层次结构树中位于较高位置。为什么我不能将这些实例添加到列表中？

Answer 1

<代码>列表<？super SUV>应读为“其元素类型为SUV超级类型的列表”。

现在，让我们来看看这两行：

list = new ArrayList<Automobile>();
list.add(a); // where a is an Automobile

第一行可以，因为ArrayList 实际上是“一个列表，其元素类型是SUV的超级类型”。

null

null