java泛型

Java 泛型

Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。

泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

泛型方法

你可以写一个泛型方法，该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型，编译器适当地处理每一个方法调用。

下面是定义泛型方法的规则：

• 所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的 <E>）。
• 每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。
• 类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。
• 泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像 int、double、char 等）。

• java 中泛型标记符：
• E - Element (在集合中使用，因为集合中存放的是元素)
• T - Type（Java 类）
• K - Key（键）
• V - Value（值）
• N - Number（数值类型）
• ？ - 表示不确定的 java 类型

泛型类

泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分。

和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数，这些类被称为参数化的类或参数化的类型。

类型通配符

1、类型通配符一般是使用 ? 代替具体的类型参数。例如 List<?> 在逻辑上是 List<String>,List<Integer> 等所有 List<具体类型实参> 的父类。

1. 泛型的继承

在介绍泛型通配符之前，先提出一个问题，在 Java 的多态中，我们知道可以将一个子类对象赋值给其父类的引用，这也叫向上转型。

举例如下：

public class GenericType {
    public static void main(String[] args) {  
           List list = new ArrayList();
    }  
}

    上面的代码很好得体现了 Java 的多态特性。

在 Java 标准库中的集合 ArrayList< T > 类实现了 List< T >接口，其源码大致如下：

    public class ArrayList<T> implements List<T> {...}

    1

    那现在我们思考一个问题，在 ArrayList< T > 泛型集合中，当传入 < T > 中的数据类型相同时，是否还能将一个 ArrayList< T > 对象赋值给其父类的引用 List< T >。

代码如下：

public class GenericType {
    public static void main(String[] args) {  
           List<Integer> list = new ArrayList<Integer>();
    }  
}

    上面的代码没有问题， 即 ArrayList< T > 对象可以向上转型为 List< T >，但两者传入 < T > 中的数据类型必须相同。

    继续思考一个问题，已知 Integer 类是 Number 类的子类，那如果 ArrayList<> 泛型集合中，在 <> 之间使用向上转型，也就是将 ArrayList< Integer > 对象赋值给 List< Number > 的引用，是否被允许呢？

举例如下：

public class GenericType {
    public static void main(String[] args) {  
           List<Number> list01 = new ArrayList<Integer>();// 编译错误
           
        ArrayList<Number> list02 = new ArrayList<Integer>();// 编译错误
    }  
}

    上面代码会报错，我们发现并不能把 ArrayList< Integer > 对象赋值给 List< Number >的引用，甚至不能把 ArrayList< Integer > 对象赋值给 ArrayList< Number >的引用。这也说明了在一般泛型中，不能向上转型。