下限的通配符

Question

我一直在努力理解Java Generics中下限通配符背后的概念和基本原理。 我可以理解上边界通配符背后的推理，以及它在何处以及如何使用。 我仍然无法掌握下限的通配符。 我有一组遵循以下层次结构的类。 （ Automobile是基类。）

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<? super Suv> List<? super Suv> 。 但是当我尝试将Truck或Automobile实例添加到同一列表时，我收到编译错误。 不是List<? super Suv> List<? super Suv>足够灵活，可以采取Suv或其超级类的任何实例？ Truck和Automobile在层次结构树中更高。 为什么我无法将这些实例添加到列表中？

Answer 1

List<? super Suv> List<? super Suv>应该被理解为“一个元素类型是Suv超类型的列表” 。

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

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

第一行是好的，因为ArrayList<Automobile>确实是“一个元素类型是Suv超类型的列表” 。

但是让我们读出第二行：将一些Automobile添加到一个列表，其元素类型是超级类型的Suv 。

就编译器从静态类型中所知，

• list可以引用List<Truck> （因为Truck是超级类型的Suv ）和
• t可以指Car （因为Car是Automobile ）

因此，编译器会抱怨确保您没有将Car添加到Trucks列表中。

---

有用的阅读：

• Java Generics：扩展，超级和通配符解释 （部分何时使用extends和super ）