java泛型

1 简单的泛型

 

1.1   泛型类

 

 

1.2 泛型接口

 

 

1.3 泛型方法

 

 

1.4 内部类和匿名内部类中的泛型

 

 

2 泛型的奥秘(擦除)及其缺陷

 

 

 

 

3 通配符和泛型的边界

 

3.1 泛型的边界

 

3.2 通配符

 

    不能将List<Apple>类型的对象赋给List<Fruit>类型的变量，因为List<Fruit>声明的是Fruit及其子类型的对象的容器，虽然Apple也是Fruit的子类型，但是List<Fruit>还有置入其他的Fruit的子类型，例如Orange;而List<Apple>只是Apple及其字类型的容器，如果将List<Apple>类型的对象赋给List<Fruit>类型的变量，则可能通过List<Fruit>类型的变量的像List<Apple>的容器中置入Orange等，也就是下面第一种情况的错误代码将成为可能：

List<Fruit> fruits=new ArrayList<Apple>(); 
fruits.add(new Orange());  //这是不允许的 

List<Fruit> fruits2=new ArrayList<Fruit>();
fruits2.add(new Orange()); //这是允许的

 第一种情况这就破坏了安全类型转换的原则。

 

    为了弥补这个问题，可以使用通配符。下面的代码将是允许的

List<? extends Fruit> fruits=new ArrayList<Apple>(); 

 List<? extends Fruit>的意思是：可能是Fruit或者它的子类的容器，但现在还不知道准确是哪个类型对象的容器，已给我赋值的时候的对象为准。例如此处的Apple。也就是说? extends Fruit的意思并不是说fruits变量所指的容器中可以混杂放入任意的Fruit或则其子类对象。其实，在fruits只能放入唯一一种Fruit的子类型(当然也可能是)的对象或者该类型的子类型对象。除了这种类型及其子类型之外，其他的Fruit的子类型的对象将不能再放入fruits中。而具体这个类型到底是什么类型，需要再给fruits赋值时才能知晓。

    另外，在为fruit赋值时用的是ArrayList<Apple>,没有再使用通配符。这是需要注意的一点，即在声明一个变量时可以用统配符号也可以有边界，但是在创建对象时就不能，例如下面的代码多是编译不过的：

Map<String, ?> wildcardMap = new HashMap<String, ?>();
 
Map<String, ?> wildcardMap = new HashMap<String, ? extends Object>();

 创建范型对象时，一定要定义一个明确的对象类型。

   还有一个问题需要注意的是，虽然可以定义List<? extends Fruit>的变量，但这样类型的变量将会受到很多大限制：

所有在泛型List类中有申明类型为T的参数的方法，List<? extends Fruit>的变量都不能调用。

List<? extends Object> ol=new ArrayList<Object>();
//ol.add(new Object());   can't complie

ol.contains(new Object());  //可以调用，因为contains()方法的参数是Object

 这是因为擦除之后，add(T t)方法的实参类型是? extends Object。

 

3.3 无界通配符 <?>

    一般情况下，原生类型等价与使用无界通配符的类型。例如List基本等价于List<?>，将List<?>和List类型变量相互赋值时并不会产生烦人的警告信息。但是List<? extends Object>不等价与List，将List<? extends Object>与List赋值，将会产生警告信息。

 

思考由于擦除和边界等带来的问题时，有一个很好的指导原则：

只要想到Java泛型的一个很根本原因是为了保证转型的安全性，那就可以推断出一切打破这种安全性保证的用法都是错误的。