java再复习——泛型的通配符与扩展

上次说了泛型的语法，发现有个问题，就是泛型是什么就得是什么，但这样岂不是程序就得写死了，没有一点可预判性了吗，那么泛型的好处也就光体现在不用进行强制类型转换上了吗？

泛型还给我们提供了一种符号 ： ？  这种符号代表通配符，意思是什么都可以，看例子

/**
* 打印任意集合的值
* @param list
*/
public static void printSize(List<?> list){
//不可以执行任何与类型有关的方法
// list.add("what?");
for (Object object : list) {
System.out.println(object);
}
//这样也没错，因为通配符可以指向任何类型的引用
list = new ArrayList<String>();
}

如果这样写一个方法的参数，那么此方法可以接受任何类型参数化的List，正好解决了参数化类型必须相同的尴尬（上一次泛型语法的坑有记录到）。
那么既然可以接受任何类型参数化为什么list.add("what")又不可以呢，正是因为他用了通配符，所以这里有可以传入任何类型的list，加入说传入的是一个Integer的list那么进行add字符串操作不就是错了吗？  所以想这样使用泛型的通配符，编译器是不允许使用它的任何与参数有关的API的，但我们可以使用它的其他API，例如，长度，删除，取值等。

但是也可以将引用指向任何参数化类型的对象，例如list=new ArrayList<String>();这样使用，所以总结一下通配符的作用大体是：

通配符定义的变量主要作为引用来使用，可以指向任何参数化类型的，并且调用起与参数无关的API。

给通配符定义上限或下限：

public static void main(String[] args) {
/**
* 限定上边界
*/
//这样意味着可以指向任何参数是Object以及其子类的list
List<? extends Object> list = new ArrayList<String>();
//如果是这样就不可以，上次已经记录过，因为泛型是不会自动考虑继承关系的，也正是因为这样，通配符的出现解决了这个尴尬
//List<Object> list = new ArrayList<String>();

/**
* 限定下边界
*/
//这意味着可以指向任意参数是FileInputStream以及它的父类的list
List<? super FileInputStream> list2 = new ArrayList<InputStream>();
}

注意： 限定通配符的出现总是要包括自己，比如 ？ extends Object  意味 <= Object ，？ super FileInPutStream 意味着 >= FileInputStream