java泛型如何保证下界_Java泛型通配符，上下界。

为了理清楚泛型的通配符和上下界的作用，并为了Kotlin的泛型中的关键字in和out的理解，在此用小demo重新梳理一遍对泛型的理解。

demo

public class Example {

//程序入口

public static void main(String[] args) {

Source extends Number> sourceOfNumber = new Source<>();

Number params = sourceOfNumber.getParams();//get()方法，通过编译

sourceOfNumber.setParams(1);//①set()方法，不通过编译

Source super Integer> sourceOfParentOfInt = new Source<>();

sourceOfParentOfInt.setParams(new Integer(1));//set()方法，通过编译

Number i = sourceOfParentOfInt.getParams();//②get()方法，不通过编译

}

//包装对象

private static class Source {

private T params;

public T getParams() {

return params;

}

public void setParams(T params) {

this.params = params;

}

}

}

以下来自《疯狂Kotlin讲义》并结合上述代码的理解。

通配符下界Source super Integer>

在这里，T就是? super Integer。由于Source中的泛型一定是Integer的父类，因此程序总是可以向Source对象传入Integer值。但从Source中取出对象是不安全的，因为无法预测到取出的是Number对象还是Object对象，即无法判断demo中的sourceOfParentOfInt引用的对象实际是Source还是Source。

因此往对象中设置值总是安全的，取出值总是不安全的。

通配符上界Source extends Integer>

在这里，T就是? extends Number。由于Source中的泛型一定是Number的子类，因此程序从Source对象中取出的T一定是Number的子类，即可以用Number来引用。但是向其中传入对象是不安全的，因为你不能确定demo中的sourceOfNumber引用的到底是Source还是Source，如果是引用了Source对象，而你往里面传了一个Integer，那么程序就出错了。

因此从对象中取出值是安全的，但是往对象中设置值是不安全的。