【Java范型七】范型消除

【Java范型七】范型消除

Java  /  管理员 发布于 2021-04-30 17:04:05   11

范型是Java1.5引入的语言特性，它是编译时的一个语法现象，也就是说，对于一个类，不管是范型类还是非范型类，编译得到的字节码是一样的，差别仅在于通过范型这种语法来进行编译时的类型检查，在运行时是没有范型或者类型参数这个说法的。

范型跟反射刚好相反，反射是一种运行时行为，所以编译时不能访问的变量或者方法(比如private)，在运行时通过反射是可以访问的，也就是说，可见性也是一种编译时的行为，在运行时，JVM中的字节码对彼此都是可见的。

 

Java在将源代码编译后，自动去除了关于范型的信息，范型是编译时的语法现象，这给范型的处理带来一些很不直观的结果。

 

 范型类不能用于instanceof判断

 

package com.tom.lang.generics;public class Generics<T> {    public static void main(String[] args) {        Generics<String> stringGenerics =new Generics<String>();        if (stringGenerics instanceof Generics<String>) {//编译错， 范型类不能用于instanceof运算符                    }            }}

 

 范型参数不能作为方法签名的一部分信息

package com.tom.lang.generics;public class Generics<T> {    public void method(Generics<String> obj) { //编译错，两个method冲突    }    public void method(Generics<Integer> obj) {    }}

 

范型类不能获得Class对象

 

Data<Integer>.class //范型类加.class来获得它的class对象

 

 

范型处理困难

Gson这个GSON算是比较优雅的解决了范型的问题，但是范型的运行时消除这个特性还是给使用Gson带来一些额外的代码，比如如下的代码不用任何额外处理时

 

 

package com.tom.lang.generics;import com.google.gson.Gson;class Point {    private int x;    private int y;    public Point(int x, int y) {        this.x = x;        this.y = y;    }    public int getX() {        return x;    }    public void setX(int x) {        this.x = x;    }    public int getY() {        return y;    }    public void setY(int y) {        this.y = y;    }}class Data<T> {    private T data;    public Data(T data) {        this.data = data;    }    public T getData() {        return data;    }}public class DataTest {    public static void main(String[] args) {        Data<Point> d = new Data<Point>(new Point(100,200));        String str = new Gson().toJson(d);        System.out.println(str);        Data<Point> dd = new Gson().fromJson(str, Data.class);        //虽然dd看上去像是一个带有参数类型为Point的Data范型类变量，实际上运行时得到的结果是，Data含有一个data字段，但是这个字段        //是TreeMap类型的，由于运行的范型消除，所以，即使返回的dd中的data字段是Map类型，仍然不会报错！        //Point p = dd.getData(); //运行时，类型转换失败        Map map = dd.getData(); //成功    }}

 

 上面的正确做法

 

 

package com.tom.lang.generics;import com.google.gson.Gson;import com.google.gson.reflect.TypeToken;import java.lang.reflect.Type;class Point {    private int x;    private int y;    public Point(int x, int y) {        this.x = x;        this.y = y;    }    public int getX() {        return x;    }    public void setX(int x) {        this.x = x;    }    public int getY() {        return y;    }    public void setY(int y) {        this.y = y;    }}class Data<T> {    private T data;    public Data(T data) {        this.data = data;    }    public T getData() {        return data;    }}public class DataTest {    public static void main(String[] args) {        Data<Point> d = new Data<Point>(new Point(100,200));        String str = new Gson().toJson(d);        System.out.println(str);        Type type = new TypeToken<Data<Point>>(){}.getType();//将范型类型包装到TypeToken中保存        Data<Point> dd = new Gson().fromJson(str, type); //转型正确        Point p = dd.getData();//可以正确取值    }}