大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。
Jetbrains全系列IDE稳定放心使用
java 泛型的残酷现实就是:
在泛型代码内部,无法获得任何有关泛型参数类型的信息。
在使用泛型时,任何具体的类型都被擦除,唯一知道的是你在使用一个对象。比如:List<String>和List<Integer>在运行事实上是相同的类型。他们都被擦除成他们的原生类型,即List。
snippet 1:
1 package com.cognizant.ch15; 2 3 import java.lang.reflect.Array; 4 import java.util.Arrays; 5 6 public class ArrayMaker<T> { 7 private Class<T> kind; 8 9 public ArrayMaker(Class<T> kind) { 10 this.kind = kind; 11 } 12 13 @SuppressWarnings("unckecked") 14 T[] create(int size) { 15 return (T[]) Array.newInstance(kind, size); 16 } 17 18 public static void main(String[] args) { 19 ArrayMaker<String> stringMaker = new ArrayMaker<String>(String.class); 20 String[] stringArray = stringMaker.create(10); 21 System.out.println(Arrays.toString(stringArray)); 22 } 23 } 24 ouput:[null, null, null, null, null, null, null, null, null, null]
由于擦除,kind实际上将被存储为了Class,非String.calss。在创建数组的时候,Array.newInstance()实际上并没有拥有kind所含的类型信息,因此就不会产生具体的结果。
如果要创建一个容器而不是数组,情况却有点不同:
snippet 2:
1 public class ListMaker<T>{ 2 3 List<T> create(){ 4 5 return new ArrayList<T>(); 6 7 } 8 9 public static void main(String[] args){ 10 11 ListMaker<String> stringMaker=new ListMaker<String>(); 12 13 List<String> stringList=stringMaker.create(); 14 15 } 16 17 }
擦除使得create()内部的new ArrayList<T>中的<T>被擦除了,在运行时,这个类的内部没有任何<T>,但是又不能把ArrayList<T>改为ArrayList,否则虽然编译器通过,但会给出警告。
snippet 3:
1 package com.cognizant.ch15; 2 3 import java.util.ArrayList; 4 import java.util.List; 5 6 public class FilledListMaker<T> { 7 List<T> create(T t, int n) { 8 List<T> result = new ArrayList<T>(); 9 for (int i = 0; i < n; i++) { 10 result.add(t); 11 } 12 return result; 13 } 14 15 public static void main(String[] args) { 16 FilledListMaker<String> stringMaker = new FilledListMaker<String>(); 17 List<String> list = stringMaker.create("hello", 6); 18 System.out.println(list); 19 } 20 } 21 22 output:[hello, hello, hello, hello, hello, hello]
编译器无法知道有关create中T的任何信息,但是他仍然可以在编译期确保放置到result中对象具有T类型。因此就有了一个现象:即使擦除在方法或类内部移除了实际类型的信息,编译器还是可以在方法或类的使用的类型的内部一致性。
那么就有一个问题:擦除后的不知道又到知道其具体类型,他是这么做到的呢?
答案是:擦除在方法体中移除了类型信息,所以在运行时的问题就是边界:即对象进入和离开方法的地点,这正是编译器在编译期执行类型检查并插入转型代码的地点。
泛型中的所有动作都发生在边界处:对传递进来的值进行额外的编译期检查,并插入 对传递出去的值的转型。
由于不用进行强制转换类型了,所以具有较高的安全性和易用性。但泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项,所以要在虚拟机中将泛型类型进行擦除。也就是说,在编译阶段使用泛型,运行阶段取消泛型,即擦除。
这导致了一个问题:无法创建泛型数组。Java的泛型在编译时会擦除类型信息。Java中的数组是通过反射动态建立的。没有了类型信息怎么能构造出数组。
转载于:https://www.cnblogs.com/WayneZeng/archive/2012/09/21/2697351.html
发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/189461.html原文链接:https://javaforall.cn
【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛
【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...