JAVA泛型通配符PECS原则Producer Extends Consumer Super

在JAVA的泛型集合中，默认都可以添加null，除此以外，还有以下三条规则。

1. “?”不能添加元素

以“?”声明的集合，不能往此集合中添加元素，所以它只能作为生产者(亦即它只能被迭代)，如下：

List<?> names = Lists.newArrayList("yiifaa");
//  通配符声明的集合，获取的元素都是Object类型
List<Object> allNames = Lists.newArrayList("yiifee");
allNames.addAll(names);
//  只能以Object迭代元素
for(Object name: names) {
    System.out.println(name);
}

2. “? extends T”也不能添加元素

以“? extends T”声明的集合，不能往此集合中添加元素，所以它也只能作为生产者，如下：

List<? extends String> names = Lists.newArrayList("yiifaa");
//  声明消费者
List<String> allNames = Lists.newArrayList("yiifee");
//  消费生产者的元素
allNames.addAll(names);

相对于以“?”声明的集合，“? extends T”能更轻松地迭代元素：

List<? extends String> names = Lists.newArrayList("yiifaa");
//  能更精确地确认元素类型
for(String name: names) {
    System.out.println(name);
}

3. “? super T”能添加元素

在通配符的表达式中，只有“? super T”能添加元素，所以它能作为消费者（消费其他通配符集合）。

List<? super String> allNames = Lists.newArrayList("yiifaa");
//
List<String> names = Lists.newArrayList("yiifee");
//  可以直接添加泛型元素
allNames.addAll(names);
//  也可以添加通配符泛型元素
List<? extends String> names1 = Lists.newArrayList("yiifee");
allNames.addAll(names1);

针对采用“? super T”通配符的集合，对其遍历时需要多一次转型，如下：

//  只能获取到Object类型
for(Object name: allNames) {
    //  这里需要一次转型
    System.out.println(name);
}

结论

JAVA泛型通配符的使用规则就是赫赫有名的“PECS”（生产者使用“? extends T”通配符，消费者使用“? super T”通配符）。

PECS原则总结

从上述两方面的分析，总结PECS原则如下：

• 如果要从集合中读取类型T的数据，并且不能写入，可以使用 ? extends 通配符；(Producer Extends)
• 如果要从集合中写入类型T的数据，并且不需要读取，可以使用 ? super 通配符；(Consumer Super)
• 如果既要存又要取，那么就不要使用任何通配符。