java c 泛型_Java泛型

泛型提供了编译时类型安全监测机制，该机制允许程序员在编译时检测到非法的类型。

本质：

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

允许在定义类、接口、方法时使用类型形参，当使用时指定具体类型。所有使用该泛型参数的地方都被统一化，保证类型一致。如果未指定具体类型，默认是Object类型。

集合体系中的所有类都增加了泛型，泛型也主要用在集合。

泛型基础

1、泛型类()

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

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

public class Box {

private T t;

public void add(T t) {

this.t = t;

}

public T get() {

return t;

}

2、泛型方法()

// 泛型方法 printArray

public static < E > void printArray( E[] inputArray )

{

for ( E element : inputArray ){

System.out.printf( "%s ", element );

}

}

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

表示该通配符所代表的类型是T类型的子类。

表示该通配符所代表的类型是T类型的父类。

泛型的上限和下限

泛型的上限：

格式：类型名称 extends 类>对象名称

意义：只能接收该类及其子类

泛型的下限：

格式：类型名称 super类>对象名称

意义：只能接收该类及其父类

3、类型通配符

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

4、类型擦除

Java中的泛型基本上都是在编译器这个层次来实现的，泛型是提供给Javac编译器使用的，它用于限定结合的输入类型，让编译器在源代码级别上就挡住想集合中插入非法数据。编译完成带有泛型的Java程序后，生成的class文件(Java字节代码)不再带有泛型信息，因此是程序运行效率不受影响，这个过程叫做类型擦除。

如在代码中定义的List和List等类型，在编译之后 都会变成List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。

类型擦除的基本过程也比较简单，首先是找到用来替换类型参数的具体类。这个具体类一般是Object。如果指定了类型参数的上界的话，则使用这个上界。把代码中的类型参数都替换 成具体的类。

由于类型被擦除了，为了维持多态性，编译器自动生成了桥接办法。