一直对java泛型一知半解,决定好好理解一下泛型.
##泛型的基本使用:
我们最常用到泛型的地方可能是arraylist中,如:ArrayList<Integer> intList = new ArrayList<Integer>();
它可以构造各种类型的变量来组装成不同的list而不必对每一个类型都创建一个Arraylist的类,
- 定义及使用:1234567891011121314151617//定义class Person<T>{// 此处可以随便写标识符号private T x ;private T y ;public void setAge(T x){//作为参数this.x = x ;}public void setName(T y){this.y = y ;}public T getAge(){//作为返回值return this.x ;}public T getName(){return this.y ;}};
因为T表示派生自Object类的任何类,所以尖括号T中必须是继承自Object,如:String,Interger,不能使用原始的类型,如int,double.
|
|
###使用的Class
我们在解析Json的时候:
这样做比较的死板,我们可以吧successmodel抽取出来,当做一个变量,这样就可以使用到泛型了,如下:
注意到,我们用的Class
//待续。。。。
##进阶
###类型绑定:
有时候定义泛型的时候可能希望泛型类型只能是一部分类型,就是给泛型指定一个界限,
定义形式为:
T和BoundingType可以是类,也可以是接口。另外注意的是,此处的”extends“表示的子类型,不等同于继承。在这里extends后的BoundingType可以是类,也可以是接口.
###通配符:
通配符用?表示无边界通配符,通配符的意义就是他是一个未知的符号,可以表示任意的类,如:
- 通配符?和T的区别:
泛型变量T不能在代码用于创建变量,只能在类,接口,函数中声明以后,才能使用。
而无边界通配符?则只能用于填充泛型变量T,表示通配任何类型
如:12Box<?> box;box = new Box<String>();
?只能出现在Box<?> box;中,其它位置都是不对的
- 通配符?的extends绑定:
通配符可以和泛型一样加以限定。如:1Point<? extends Number> point;
注意:利用<? extends Number>定义的变量,只可取其中的值,不可修改
如:
point的类型是由Point<? extends Number>决定的,并不会因为point = new Point
###通配符?的super绑定:
如果说 <? extends XXX>指填充为派生于XXX的任意子类的话,那么<? super XXX>则表示填充为任意XXX的父类.
如:
因为CEO类已经不再是Manager的父类了。所以会报编译错误。
注意:super通配符表示的实例内容:能存不能取
先看存的部分:
为什么会报编译错误呢?因为
编译器无法确定<? super Manager>的具体类型,但唯一可以确定的是Manager()、CEO()肯定是<? super Manager>的子类,所以肯定是可以add进去的。但Employee不一定是<? super Manager>的子类,所以不能确定,不能确定的,肯定是不允许的,所以会报编译错误。
super和extends相反,使用super关键字时,往里存的只要是Employee的子类,就会强制转换为Employee存储,但是取出来时应该都为父类Employee所以没有意义,所以我们认为super通配符:能存不能取;
##总结
extends 和 the ? super 通配符的特征,我们可以得出以下结论:
◆ 如果你想从一个数据类型里获取数据,使用 ? extends 通配符(能取不能存)
◆ 如果你想把对象写入一个数据结构里,使用 ? super 通配符(能存不能取)
◆ 如果你既想存,又想取,那就别用通配符。