Java基础之泛型

一 、介绍

Java泛型是J2 SE1.5中引入的一个新特性，其本质是参数化类型，也就是说所操作的数据类型被指定为一个参数（type parameter）这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

 

二、定义

泛型就是指明集合中存储数据的类型。如果没有指明数据类型，那集合可以存储任意类型，就会存在上述提到的类型转换异常的安全隐患。

 

三、提出背景

Java集合（Collection）中元素的类型是多种多样的。例如，有些集合中的元素是Byte类型的，而有些则可能是String类型的，等等。Java允许程序员构建一个元素类型为Object的Collection，其中的元素可以是任何类型在Java SE 1.5之前，没有泛型（Generics）的情况下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要作显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以在预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是一个安全隐患。因此，为了解决这一问题，J2SE 1.5引入泛型也是自然而然的了。

 

四、如何使用

在集合类型后面写上尖括号<>，并加上要存储的数据类型。如：ArrayList<Integer> list= new ArrayList<>();

public static void function() {
		List<String> list = new ArrayList<>();//指明集合中存储的数据类型为String
		list .add("abc");
		list .add("cba");
		Iterator<String> its = list .iterator();//集合指明为String，所以迭代器取出来的元素也必须为String
		while (its.hasNext()) {
			String s1 = its.next();//此处便不需要数据类型强转了
			System.out.println(s1.length());
		}
}

 

使用泛型后，不用做数据类型的转换，一定程度上精简了代码；并且如果添加的元素不符合所指明的数据类型，代码将会标红报错，无法编译，提高了安全性。

 

五.带有泛型的类、方法和接口

上文中我们在集合中大量使用到了泛型，但泛型同样可灵活地将数据类型应用到不同的类、方法、接口中。将数据类型作为参数进行传递。

泛型的类：语法修饰符 class 类名 <E> { }。E：Element 元素，实际思想就是一个变量而已。如：ArrayList<Integer>，E接受到的类型就是Integer类型。

泛型的方法：语法修饰符 <E> 返回值类型 方法名(参数){ }。例如，API中的ArrayList集合中的方法：public <E> E[] toArray(E[] a){ }。

泛型的接口：语法修饰符 interface 接口名<E>{ }。如，public interface List <E>{abstract boolean add(E e);}

总之在使用时直接将E视为一个未知或任意的数据类型就行了，你传的什么类型，E就变为那个类型。

 

六、泛型的优缺点

 

（1）类型安全

泛型的主要目的是提高Java程序的类型安全。通过知道使用泛型定义的变量的类型限制，编译器可以在非常高的层次上验证类型假设。没有泛型，这些假设就只能存在于系统开发人员的头脑中。

通过在变量声明中捕获这一附加的类型信息，泛型允许编译器实施这些附加的类型约束。类型错误就可以在编译时被捕获了，而不是在运行时当作ClassCastException展示出来。将类型检查从运行时挪到编译时有助于Java开发人员更早、更容易地找到错误，并可提高程序的可靠性。

（2）消除强制类型转换

泛型的一个附带好处是，消除源代码中的许多强制类型转换。这使得代码更加可读，并且减少了出错机会。尽管减少强制类型转换可以提高使用泛型类的代码的累赞程度，但是声明泛型变量时却会带来相应的累赞程度。在简单的程序中使用一次泛型变量不会降低代码累赞程度。但是对于多次使用泛型变量的大型程序来说，则可以累积起来降低累赞程度。所以泛型消除了强制类型转换之后，会使得代码加清晰和筒洁。

（3）潜在的性能收益

泛型为较大的优化带来可能。在泛型的初始实现中，编译器将强制类型转换（没有泛型的话，Java系统开发人员会指定这些强制类型转换）插入生成的字节码中。但是更多类型信息可用于编译器这一事实，为未来版本的JVM的优化带来可能。

七、使用泛型时的注意事项

1、在定义一个泛型类时，在“<>”之间定义形式类型参数，例如：“class TestGen<K,V>”，其中“K”，“V”不代表值，而是表示类型。

2、实例化泛型对象时，一定要在类名后面指定类型参数的值（类型），一共要有两次书写。

3、使用泛型时，泛型类型必须为引用数据类型，不能为基本数据类型，Java中的普通方法，构造方法，静态方法中都可以使用泛型，方法使用泛型之前必须先对泛型进行声明，可以使用任意字母，一般都要大写。

4、不可以定义泛型数组。

5、在static方法中不可以使用泛型，泛型变量也不可以用static关键字来修饰。

6、根据同一个泛型类衍生出来的多个类之间没有任何关系，不可以互相赋值。