黑马程序员----JDK1.5新特性之泛型

长平狐 发布于 2013/07/01 15:31
阅读 198
收藏 0

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

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

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

泛型应用的规则和限制

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

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

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

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

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

--ArrayList<Integer>中的<>念着typeof

--ArrayList称为原始类型

 

2、 泛型是提供给javac编译器使用的,可以限定集合中的输入类型,让编译器挡住源程序中的非法输入,编译器编译带类型说明的集合时会去除掉“类型”信息,使程序运行效率不受影响,对于参数化的泛型类型,getClass()方法的返回值和原始类型完全一样。由于编译生成的字节码会去掉泛型的类型信息,只要能跳过编译器,就可以往某个泛型集合中加入其它类型的数据。

3、泛型只在编译期起作用,所以可以给已限定泛型的集合添加其它类型对象的方法(通过反射技术的方法获得添加方法再调用对象添加其它类型对象,这样跳过了编译器,不会报错)

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

  al1.getClass().getMethod("add",Object.class).invoke(al1,"helloworld!");

4、参数化类型与原始类型的兼容性以及继承关系:

参数化类型可以引用一个原始类型的对象,编译报告警告,例如:
Collection<String> c = new Vector();

原始类型可以引用一个参数化类型的对象,编译报告警告,例如:
Collection c = new Vector<String>();

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

Vector<String> v = new Vector<Object>();//错误!

Vector<Object> v = newVector<String>(); //错误!

编译器不允许创建泛型变量的数组。

即在创建数组实例时,数组的元素不能使用参数化的类型,例如:

     Vector<Integer> vectorList[] = newVector<Integer>[10];//错误!

5、?表示通配符,可以引用各种参数化的类型,?通配符定义的变量主要用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法。

6、? extends E:限定通配符的上边界,类型只能是E或E的子类型;

例:Vector<? extendsNumber> x = new Vector<Integer>();

? super E :限定通配符的下边界,类型只能是E或E的父类型。

例:Vector<? superInteger> x = new Vector<Number>();

7、只有引用类型才能作为泛型方法的实际参数下面语句:swap(newint[3],3.5);语句会报告编译错误,这是因为编译器不会对new int[3]中的int自动拆箱和装箱了,因为new int[3]本身已经是对象了。

8、类型参数的类型推断(张老师的心血总结)

编译器判断泛型方法的实际类型参数的过程称为类型推断,类型推断是相对于直觉推断的,其实现方法是一种非常复杂的过程。

根据调用泛型方法时实际传递的参数类型或返回值的类型来推断,具体规则如下:

a.当某个类型变量只在整个参数列表中的所有参数和返回值中的一处被应用了,那么根据调用方法时该处的实际应用类型来确定,这很容易凭着感觉推断出来,即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型,例如:

       swap(new String[3],3,4) à static <E> void swap(E[] a, inti, int j)

b.当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了,如果调用方法时这多处的实际应用类型都对应同一种类型来确定,这很容易凭着感觉推断出来,例如:

       add(3,5)  à static <T> T add(T a, T b)

c.当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了,如果调用方法时这多处的实际应用类型对应到了不同的类型,且没有使用返回值,这时候取多个参数中的最大交集类型,例如,下面语句实际对应的类型就是Number了,编译没问题,只是运行时出问题:

       fill(new Integer[3],3.5f)   à static <T> void fill(T[] a, T v)

d.当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了,如果调用方法时这多处的实际应用类型对应到了不同的类型,并且使用返回值,这时候优先考虑返回值的类型,例如,下面语句实际对应的类型就是Integer了,编译将报告错误,将变量x的类型改为float,对比eclipse报告的错误提示,接着再将变量x类型改为Number,则没有了错误:

       intx =(3,3.5f)   à static <T> T add(T a, T b)

e.参数类型的类型推断具有传递性,下面第一种情况推断实际参数类型为Object,编译没有问题,而第二种情况则根据参数化的Vector类实例将类型变量直接确定为String类型,编译将出现问题:

      copy(new Integer[5],new String[5]) à static <T> void copy(T[] a,T[]  b);

      copy(new Vector<String>(), newInteger[5]) à static <T> voidcopy(Collection<T> a , T[] b);

 

9、实例对象中的多处都要用到同一个泛型参数,即这些地方引用的泛型类型要保持同一个实际类型时,这时候就要采用泛型类型的方式进行定义,也就是类级别的泛型,语法格式如下:

      publicclass GenericDao<T> {

           privateT field1;

           publicvoid save(T obj){}

           publicT getById(int id){}

      }

类级别的泛型是根据引用该类名时指定的类型信息来参数化类型变量的,例如,如下两种方式都可以:

GenericDao<String> dao = null;

new genericDao<String>();

注意:

在对泛型类型进行参数化时,类型参数的实例必须是引用类型,不能是基本类型。

当一个变量被声明为泛型时,只能被实例变量、方法和内部类调用,而不能被静态变量和静态方法调用。因为静态成员是被所有参数化的类所共享的,所以静态成员不应该有类级别的类型参数。

10、通过反射获得泛型的实际参数类型(怎样把数据库里的数据信息转换为实际类型):

  1) 得到方法的字节码

  2) 方法字节码调用getGenericParameterTypes();获得参数类型数组

  3) 调用getActualTypeArguments()[index]获得实际参数类型



原文链接:http://blog.csdn.net/voiceofnet/article/details/7284986
加载中
返回顶部
顶部