第十一章 java泛型

一种在编译时的类型检查机制

一、泛型方法

你可以写一个泛型方法，该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数

类型，编译器适当地处理每一个方法调用。

// 泛型方法 printArray
public static < E > void printArray( E[] inputArray ) {
for ( E element : inputArray ){ 
System.out.printf( "%s ", element );
}}

二、类型通配符

<? extends T>表示该通配符所代表的类型是 T 类型的子类。

<? super T>表示该通配符所代表的类型是 T 类型的父类。

类型通配符一般是使用 ? 代 替 具 体 的 类 型 参 数 。 例 如 List<?> 在逻辑上是

List<String>,List<Integer> 等所有 List<具体类型实参>的父类。

三、泛型类

public class Box<T> {
private T t;
public void add(T t) {
this.t = t;
}
public T get() {
return t;
}

解释：泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分。和泛型方法一

样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，

也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数，

这些类被称为参数化的类或参数化的类型。

四、泛型擦除

类型擦除：Java 中的泛型基本上都是在编译器这个层次来实现的。在生成的 Java 字节代码中是不包含泛

​ 型中的类型信息的。使用泛型的时候加上的类型参数，会被编译器在编译的时候去掉。