Java泛型 - 通配符以及原始类型(Raw Type)

参考 & 推荐

• Effective Java(2nd Edition)
  December, 2017 马上就要出版第三版了, 这本书真的非常经典, 强烈推荐!
• Time To Really Learn Generics: A Java 8 Perspective
• 张拭心 - 深入理解 Java 泛型

推荐阅读:

• Going wild with generics, Part 1

---

如何理解List

根据定义, List list指的是list引用可以指向声明为List<继承于Number>的实例(不一定要是直接父类, 祖先有Number即可).
比如说以下都是合法的,

List listOfNumbers = new ArrayList();
List listOfIntegers = new ArrayList();
List listOfDoubles = new ArrayList();

但是我们却不能向上面任何一个容器加入数据.

List listOfIntegers = new ArrayList();
listOfIntegers.add(100);  // 错误, 不允许添加

用呆杰的话来理解就是,
现在给了你一个List的引用listOfNumber, 他可能是任何继承于Number的List<>. 如果允许往其中加入数据的话很显然是不安全的, 比如说调用list.add(1.4), 但是list实际上指向的是List类型, 这样很显然是不允许的.
那List用处是什么? 一个常见的用例就是作为函数参数类型, 因为虽然我们不能对List的引用进行写操作, 但是我们可以读内容. 因为能传进来的List的泛型类型都是继承于Number类的, 所以总是能将其元素安全地转换为Number类. 比如下面这个例子:

private static double sumList(List list) {
    return list.stream()
            .mapToDouble(Number::doubleValue) // returns DoubleStream
            .sum();
}

public static void main(String[] args) {
    List ints = Arrays.asList(1, 2, 3, 4, 5);
    List doubles = Arrays.asList(1.0, 2.0, 3.0, 4.0, 5.0);
    List bigDecimals = Arrays.asList(
        new BigDecimal("1.0"),
        new BigDecimal("2.0"),
        new BigDecimal("3.0"),
        new BigDecimal("4.0"),
        new BigDecimal("5.0")
    );

    System.out.printf("ints sum is        %s%n", sumList(ints));
    System.out.printf("doubles sum is     %s%n", sumList(doubles));
    System.out.printf("bigdecimals sum is %s%n", sumList(bigDecimals));
}

可能我们会有疑问, 为什么不直接把参数类型定义为List呢?为什么非得加上? extends看起来如此复杂的声明? 答案是, List 和 List其实没有任何关系, 并没有List是List的子类的意思. 其实, 因为泛型擦除的原因, 这两个类最终都是List. 从下面的例子可以看出List和List并没有什么关系. 所以Java中的泛型是不协变的, 即A是B的父类, 但是List和List并没有关系.
更多协变内容: Treant - Java中的逆变与协变
下面代码表明了Java的泛型不是协变的.

    class People{

    }

    class Man extends People{

    }

    class Boy extends Man{

    }

    public void test(){
        List peopleList = new ArrayList();
        List manList = new ArrayList();
        peopleList = (List) manList; // 错误, 不能转换类型
    }

原文中给出的例子:

List strings = new ArrayList<>();
String s = "abc";
Object o = s;      // allowed
// strings.add(o); // not allowed

// List