【java中的泛型知多少】

一、泛型简介

这道泛型题目，估计百分之九十的java程序员都会打错，泛型是个什么东西呢？泛型题目请看图片附件。

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。

在Java SE 1.5之前，没有泛型的情况的下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是一个安全隐患。

泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，以提高代码的重用率。

 

 

 

二、规则限制

1、泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。

2、同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。

3、泛型的类型参数可以有多个。

4、泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上称为“有界类型”。

5、泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName("java.lang.String");

 

 

三、泛型应用

 

泛型是提供给Javac编译器使用的。可以限定集合中输入的类型，让编译器挡住原始程序的非法输入，

编译器编译带类型说明的集合时会去掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，

getClass()方法的返回值和原始类型完全一样，由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，

就可以往某个泛型集合中加入其它类型的数据，例如，用反射得到集合，再调用其add方法即可。

package demo.tt;

 

import java.util.ArrayList;

public class Demo {

/**

* 泛型是提供给Javac编译器使用的。可以限定集合中输入的类型，让编译器挡住原始程序的非法输入，编译器编译带类型说明的集合时会去掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，

getClass()方法的返回值和原始类型完全一样，由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据

* @param args

*/

public static void main(String[] args) {

//类型的限定在编译后会去掉

 ArrayList<Integer> listNums = new ArrayList<Integer>();

 listNums.add(110);

  //collecton.add("abc");会报错

 

 //往Integer中存String

   try {

listNums.getClass().getMethod("add", Object.class).invoke(listNums, "我是一个字符串，可以加入到Integer类合中吗");

}catch (Exception e) {

e.printStackTrace();

}

         System.out.println(listNums.get(0) +" , " +listNums.get(1));

}

 

}

 

ArrayList<String> 和 ArrayList<Integer> 都是同一类型class

1、泛型是给javac编译器使用的，可以限定类型，但是编译的class会去掉类型信息，使效率不影响，所以可以使用反射来添加其他类型

2、ArayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语

         整个称为ArrayList<E>泛型类型

         ArrayList<E>中的E称为类型变量或类型参数

         整个ArrayList<Integer>称为参数化的类型

         ArrayList<Integer>中的Integer称为类型参数的实例或实际类型参数

         ArrayList<Integer>中的<>念typeof

         ArrayList 称为原始类型

3、参数化类型与原始类型的兼容性

         参数化类型可以引用一个原始类型的对象，编译报警，

         Collection<String> c = new Vector()

         原始类型可以引用一个参数化类型的对象，编译报警

         Collection c = new Vector<String>()

4、参数化类型不考虑类型的继承关系

         Collection<String> c = new Vector<Object>() 错

         Collection<Object> c = new Vector<String>() 错

5、再创建数组实例时，数组的元素不能使用参数化类型，

         Vector<Integer> vectorList[] = new Vector<Integer>[10]

     6、思考

         Vector v1 = new Vector<String>(); 编译报警

         Vctor<Object> v = v1; 编译报警，运行错

 

java中的泛型类型类似于C++中的模板。但是这种相似性仅限于表面，java语言中的泛型基本上完全是在编译器中实现，

用于编译器执行类型检查和类型推断，然后生成普通的非泛型的字节码，

这种实现技术称为擦除（erasure）（编译器使用泛型类型信息保证类型安全，然后再生成字节码之前将其清除）。

这是因为扩展虚拟机指令集来支持泛型被认为是无法接受的，这会为java厂商升级其JVM造成难以逾越的障碍。

所以，java的泛型采用了可以完全在编译器中实现的擦除方法。