如何学好java

如何学好java,其实很简单,只要用心体会,慢慢积累!
posts - 106, comments - 7, trackbacks - 0, articles - 3
  BlogJava :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理

Java泛型擦除

Posted on 2011-05-06 21:16 哈希 阅读(196) 评论(0)  编辑  收藏 所属分类: java 代码
    泛型是1.5中引入的一个新的概念,由于 不用进行强制转换类型了,所以具有较高的安全性和易用性。因为泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项,所以要在虚拟机中将泛型类型进行擦除。也就是说,在编译阶段使用泛型,运行阶段取消泛型,即擦除。 擦除是将泛型类型以其父类代替,如String 变成了Object等。其实在使用的时候还是进行带强制类型的转化,只不过这是比较安全的转换,因为在编译阶段已经确保了数据的一致性。
 

java 泛型的残酷现实就是:

在泛型代码内部,无法获得任何有关泛型参数类型的信息。

在使用泛型时,任何具体的类型都被擦除,唯一知道的是你在使用一个对象。比如:List<String>和List<Integer>在运行事实上是相同的类型。他们都被擦除成他们的原生类型,即List。

snippet 1:

package com.cognizant.ch15;

import java.lang.reflect.Array;
import java.util.Arrays;

public class ArrayMaker<T> {
    private Class<T> kind;

    public ArrayMaker(Class<T> kind) {
       this.kind = kind;
 }

 @SuppressWarnings("unckecked")
   T[] create(int size) {
       return (T[]) Array.newInstance(kind, size);
 }

  public static void main(String[] args) {
      ArrayMaker<String> stringMaker = new ArrayMaker<String>(String.class);
      String[] stringArray = stringMaker.create(10);
      System.out.println(Arrays.toString(stringArray));
 }
}
ouput:[null, null, null, null, null, null, null, null, null, null]

由于擦除,kind实际上将被存储为了Class,非String.calss。在创建数组的时候,Array.newInstance()实际上并没有拥有kind所含的类型信息,因此就不会产生具体的结果。

如果要创建一个容器而不是数组,情况却有点不同:

snippet 2:

public class ListMaker<T>{

   List<T> create(){

      return new ArrayList<T>();

}

  public static void main(String[] args){

      ListMaker<String> stringMaker=new ListMaker<String>();

      List<String> stringList=stringMaker.create();

}

}

擦 除使得create()内部的new ArrayList<T>中的<T>被擦除了,在运行时,这个类的内部没有任何<T>,但是又不能把 ArrayList<T>改为ArrayList,否则虽然编译器通过,但会给出警告。

snippet 3:

package com.cognizant.ch15;

import java.util.ArrayList;
import java.util.List;

public class FilledListMaker<T> {
   List<T> create(T t, int n) {
   List<T> result = new ArrayList<T>();
    for (int i = 0; i < n; i++) {
       result.add(t);
  }
    return result;
 }

 public static void main(String[] args) {
    FilledListMaker<String> stringMaker = new FilledListMaker<String>();
    List<String> list = stringMaker.create("hello", 6);
    System.out.println(list);
 }
}

output:[hello, hello, hello, hello, hello, hello]

编译器无法知道有关create中T的任何信息,但是他仍然可以在编译期确保放置到result中对象具有T类型。因此就有了一个现象:即使擦除在方法或类内部移除了实际类型的信息,编译器还是可以在方法或类的使用的类型的内部一致性。

那么就有一个问题:擦除后的不知道又到知道其具体类型,他是这么做到的呢?

答案是:擦除在方法体中移除了类型信息,所以在运行时的问题就是边界即对象进入和离开方法的地点,这正是编译器在编译期执行类型检查并插入转型代码的地点。

泛型中的所有动作都发生在边界处:对传递进来的值进行额外的编译期检查,并插入 对传递出去的值的转型。

由于不用进行强制转换类型了,所以具有较高的安全性和易用性。但泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项,所以要在虚拟机中将泛型类型进行擦除。也就是说,在编译阶段使用泛型,运行阶段取消泛型,即擦除。
这导致了一个问题:无法创建泛型数组。
Java的泛型在编译时会擦除类型信息。Java中的数组是通过反射动态建立的。没有了类型信息怎么能构造出数组。

   




只有注册用户登录后才能发表评论。


网站导航: