Table of Contents generated with DocToc (opens new window)

• 泛型

---

泛型

• 所谓泛型，就是允许在定义类、接口时通过一个标识表示类中某个属性的类型或者是某个方法的返回值及参数类型。这个类型参数将在使用时（例如，继承或实现这个接口，用这个类型声明变量、创建对象时）确定（即传入实际的类型参数，也称为类型实参)。
• 从JDK1.5以后，Java引入了“参数化类型(Parameterized type)”的概念，允许我们在创建集合时再指定集合元素的类型，正如: List< String>，这表明该List只能保存字符串类型的对象。
• JDK1.5改写了集合框架中的全部接口和类，为这些接口、类增加了泛型支持,从而可以在声明集合变量、创建集合对象时传入类型实参。

注：

1. 静态方法中不能使用类的泛型

   因为static结构要早于对象的创建(实例化)，此时对象未创建，泛型是未知的，所以不能使用

2. 异常类不能是泛型的

3. 父类有泛型，子类可以选择全部保留、或部分保留、也可不保留泛型。也可以选择指定泛型类型

   

4. 泛型方法：在方法中出现了泛型的结构，泛型参数与类的泛型参数没有任何关系。

5. 通配符 ? 的使用

   public void show(List<?> list){
           for (Object o : list) {
               System.out.println(o);
           }
       }
   

6. 对于List<?>就不能向其内部添加数据，除了添加null之外

7. 有限制的通配符

   • 通配符指定上限：上限 extends，使用时指定的类型必须是集成某个类，或者实现某个接口，即<=
   • 通配符下线：下线super，使用时指定的类型不能小于操作的类。即>=
   • 举例
     • <?extends Number> (无穷小,Number]：只允许泛型为Number及Number的子类的引用调用
     • <?super Number> [Number,无穷大]：只允许泛型为Number及Number父类的引用调用
     • <?extends Comparable>：只允许泛型为实现Comparable接口的实现类的引用调用