java与kotlin泛型通配符

java通配符

• 子类型上界限定符 ? extends T 指定类型参数的上限
• 超类型下界限定符 ? super T 指定类型参数的下限

当一个函数的参数是List<Number> ,我们知道Integer是Number的子类，但是List<Integer>不是List<Number>的子类，所以java提供了这样的形变，还有注意 
 List<? extends Animal> list1 = new ArrayList<>()，list1.add(new Dog()),Dog是Animal的子类，编译器不然通过，但是List<? super Dog>  list = new Arraylist(); list.add(new Dog());能编译通过.按java的说法一个是生产，一个是消费
 示例代码
 class Animal {
    public void act(List<? extends Animal> list) {
    for (Animal animal : list) {
    animal.eat();
    }
    }
    public void aboutShepherdDog(List<? super ShepherdDog> list) {
    System.out.println("About ShepherdDog");
    list.add(new Dog());
    list.add(new Animal());
    }
    public void eat() {
    System.out.println("Eating");
    }
}
class Dog extends Animal {}
class Cat extends Animal {}

我们在方法 act(List<? extends Animal> list)  中, 这个list可以传入以下类型的参数：
List<Animal>
List<Dog>
List<ShepherdDog>
List<Cat>

而在aboutShepherdDog(List<? super ShepherdDog> list)传以下类型参数
List<ShepherDog>
List<Dog>
List<Animal>都是可行的

kotlin泛型协变

• out T 与 in T

out T  等价于 ? extends T  in T  等价于  ? super T  此外, 还有  *  等价于 ?
interface Source<out T> {
fun <T> nextT();
}
我们在接口的声明处用  out T  做了生产者声明以实现安全的类型协变：
fun demo(str: Source<String>) {
val obj: Source<Any> = str // 合法的类型协变
}
类似的，我们也可以使用 in 投影一个类型：
fun fill(dest: Array<in String>, value: String) {}
Array<in String>  对应于 Java 的  Array<? super String>  ，也就是说，我们可以传递一个
CharSequence  数组或一个  Object  数组给  fill()  函数。