关于泛型的类型安全就这么多了

Question

有一些奇怪的事情让我无法理解。一般来说，泛型是一件好事。它在编译时提供类型安全。例如：

class A{}

class B{}

static void someMethod() {
    List<B> listB = new ArrayList<B>();
    listB.add(B);
    listB.add(A); // here goes a compiler error

    // but this will compile fine
    List<Object> objList = new ArrayList<Object>();
    objList.add("String");
    objList.add(new Integer(9));
    objList.add(B);
}

嗯，这是 Java 开发人员错过的东西吗？

Answer 1

Object 是所有事物的基类，您正在添加 Object 类型的对象。因此类型安全（因为所有插入的对象都满足对象类型的要求）。

Answer 2

如果您创建对象列表，则您可以添加对象。这就是为什么您可以添加 String、Integer 和 B 的实例...它们都是对象！

也许您想知道为什么不仅允许添加对象。嗯，允许添加子类型会非常方便。例如，考虑您想要在列表中存储大量数字。你不知道它们是浮点数还是整数等。那么你可以这样做

List<Number> numList = new ArrayList<Number>();
numList.add(new Double(5.5));
numList.add(new Integer(5));
numList.add(new Long(10L));

Answer 3

简单来说，"String" new Integer(9) 和 B 是 Object，而 B 不是 A。

在继承中，如果
A 扩展了 B，那么 A 也被称为类型A和B；
Object是所有类的超类。

Answer 4

本质上：

List l = new ArrayList();

是这样解释的

List<Object> l = new ArrayList<Object>();

，事实上，向这个列表中添加任意对象都可以。这应该在编译时发出警告，因为您使用的是不带参数的参数化类型。

以这种方式实现是为了保持向后兼容性。如果所有使用 new ArrayList()（或任何其他集合框架类）的非参数化代码突然无法编译，那么将花费大量的时间和金钱来修复。是的，这意味着您可以编写不安全的代码，但您会收到警告，并且至少您现有的 1000 万行应用程序仍然可以工作。

Answer 5

Java 泛型确实提供了适当的类型安全性，但您没有适当地指定边界。这是泛型实际上为您提供的一个示例：

List<Number> list1 = new ArrayList<Number>();
list1.add(new Integer(1)); // can add anything that is a Number
list1.add(new Double(1.0));
Number n = list1.get(0); // and retrieve Numbers

List<? super Number> list2 =  new ArrayList<Number>(); // can be a list of number
list2 = new ArrayList<Object>(); // or a list of objects
list2.add(new Integer(1)); // but can only add numbers
list2.add(new Double(1.0));
Object o1 = list2.get(0); // and only retrieve Objects

List<? extends Number> list3 = new ArrayList<Number>(); // can be a list of numbers
list3 = new ArrayList<Integer>(); // or any subtype of Number
list3 = new ArrayList<Double>();
list3.add(null); // but can add any thing to it
Number n2 = list3.get(0); // and only retrieve Numbers

Answer 6

您的第一个示例失败的原因是 A 不是 B`。

第二个示例之所以有效，是因为 String、new Integer(9) 和 B 都是 Object 。

这具有良好的逻辑意义，并且出于其他发帖者所说的原因而实用。