Kotlin极简教程中对? extends 和 ? super (out和int)的描述

2019独角兽企业重金招聘Python工程师标准>>>

PECS

现在问题来了：我们什么时候用extends什么时候用super呢？《Effective Java》给出了答案：

PECS: producer-extends, consumer-super

比如，一个简单的Stack API：

public class Stack{  
    public Stack();  
    public void push(E e):  
    public E pop();  
    public boolean isEmpty();  
}

要实现pushAll(Iterable src)方法，将src的元素逐一入栈：

public void pushAll(Iterable src){  
    for(E e : src)  
        push(e)  
}

假设有一个实例化Stack的对象stack，src有Iterable与 Iterable；

在调用pushAll方法时会发生type mismatch错误，因为Java中泛型是不可变的，Iterable与 Iterable都不是Iterable的子类型。

因此，应改为

// Wildcard type for parameter that serves as an E producer  
public void pushAll(Iterable src) {  
    for (E e : src)   // out T, 从src中读取数据，producer-extends
        push(e);  
}

要实现popAll(Collection dst)方法，将Stack中的元素依次取出add到dst中，如果不用通配符实现：

// popAll method without wildcard type - deficient!  
public void popAll(Collection dst) {  
    while (!isEmpty())  
        dst.add(pop());    
}

同样地，假设有一个实例化Stack的对象stack，dst为Collection