【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的泛型采用了可以完全在编译器中实现的擦除方法。

猜你喜欢

转载自gaojingsong.iteye.com/blog/2316261