不能用类型参数代替基本类型:例如,没有Pair,只有Pair,其原因是类型擦除。擦除之后,Pair类含有Object类型的域,而Object不能存储double值。这体现了Java语言中基本类型的独立状态。
运行时:通常指在Classloader装载之后,JVM执行之时
类型查询:instanceof、getClass、强制类型转换
原始类型:即(raw type),泛型类型经编译器类型擦除后是Object或泛型参数的限定类型(例如Pair,Comparable就是T的限定类型,转化后泛型的原始类型就是Comparable,所以Pair类不带泛型是Pair),即Pair类含有Comparable类型的域
JVM中没有泛型
if(a instanceof Pair) //ERROR,仅测试了a是否是任意类型的一个Pair,会看到编译器ERROR警告
if(a instanceof Pair) //ERROR
Pair p = (Pair) a;//WARNING,仅测试a是否是一个Pair
Pair stringPair = …;
Pair employeePair = …;
if(stringPair.getClass() == employeePair.getClass())
//会得到true,因为两次调用getClass都将返回Pair.class
//加入Java开发交流君样:756584822一起吹水聊天
不能创建参数化类型的数组(泛型数组)
参数化类型的数组:指类型带有泛型参数的数组,也即泛型数组,如Pair[] 、 T[]
不能实例化参数化类型的数组,例如:
Pair table = new Pair[10]; //ERROR
在这里我们假设可以实例化,那么经编译器类型擦除后,table的类型是Pair[],我们再让它协变为Object[]:
Object[] objArray = table;
而一般来说,数组会记住他的元素类型Pair,我们如果试图存储其他类型的元素,就会抛出异常(数组存储检查),例如:
objArray[0] = “Hello”; //ERROR–component type is Pair
但是,对于泛型类型Pair,类型擦除会使这种不同类检查机制无效,这就是不能实例化泛型数组的原因!
objArray[0] = new Pair();
//如果泛型机制允许我们实例化数组,那么这一步就没理由出错了!
//而这违背了我们的初衷(限定类型)
数组存储只会检查擦除后的类型,又因为Java语言设计数组可以协变,所以可以通过编译
能够通过数组存储检查,不过仍会导致一个类型错误,故不允许创建参数化类型的数组
注意,声明类型为Pair[]的变量是合法的,只是不能创建这些实例(我们应该直接用new Pair[10]{…}来初始化这个变量)
泛型数组的间接实现:
通过泛型数组包装器,如ArrayList类,维护一个Object数组,然后通过进出口方法set、get来限定类型和强制转换数组类型,从而间接实现泛型数组,
例如:ArrayList: ArrayList<Pair>、ArrayList
不能实例化类型变量T
即不能使用new T(..) , new T[..] 或 T.class
这样的表达式中的类型变量
例如: public Pair() { first = new T(); } //ERROR!
类型擦除将T改变成Object,调用非本意的new Object()
不能使用new T(..)
但是,可通过反射调用Class.newInstance
方法来构造泛型对象(要注意表达式T.class是非法的)
public static Pair makePair(Class cl){
try{ return new Pair<>(cl.newInstance() , cl.newInstance()); }
catch(Exception ex) { return null; }
}
//加入Java开发交流君样:756584822一起吹水聊天
//这个方法可以按照下列方式调用:
Pair p = Pair.makePair(String.class);
注意:Class类本身是泛型。String.class是一个Class的实例,因此makePair方法能够推断出pair的类型
不能使用new T[…]
解决方案:使用泛型数组包装器,例如ArrayList
然而,当在设计一个泛型数组包装器时,例如方法minmax返回一个T[]数组,则泛型数组包装器无法施展,因为类型擦除,return (T [])new Object
是没有意义的强转不了。此时只好利用反射,调用Array.newInstance
:
import java.lang.reflect.*;
…
public static T[] minmax(T… a){
T[] mm = (T[]) Array.newInstance(a.getClass().getComponentType() , 2);
…
}
【API文档描述】public Class<?> getComponentType() 返回表示数组组件类型的 Class。如果此类不表示数组类,则此方法返回 null。
而ArrayList类中的toArray方法的实现就麻烦了
public Object[] toArray() 无参,返回Object[]数组即可
public Object[] toArray() {
return Arrays.copyOf(elementData, size);
}
【API文档描述】public static T[] copyOf(T[] original,int newLength)
复制指定的数组,截取或用 null 填充(如有必要),以使副本具有指定的长度。对于在原数组和副本中都有效的所有索引,这两个数组将包含相同的值。对于在副本中有效而在原数组无效的所有索引,副本将包含 null。当且仅当指定长度大于原数组的长度时,这些索引存在。所得数组和原数组属于完全相同的类。
public T[] toArray(T[] a) a - 要存储列表元素的T[]数组(如果它足够大)否则分配一个具有相同运行时类型的新数组,返回该T[]数组
@SuppressWarnings(“unchecked”)
public T[] toArray(T[] a) {
if (a.length < size)
// Make a new array of a’s runtime type, but my contents:
return (T[]) Arrays.copyOf(elementData, size, a.getClass()); //a.getClass()得运行时目的数组的运行时类型//加入Java开发交流君样:756584822一起吹水聊天
System.arraycopy(elementData, 0, a, 0, size);
if (a.length > size)
a[size] = null;
return a;
}
【API文档描述】
public static <T,U> T[] copyOf(U[] original,int newLength, Class<? extends T[]> newType)
复制指定的数组,截取或用 null 填充(如有必要),以使副本具有指定的长度。对于在原数组和副本中都有效的所有索引,这两个数组将包含相同的值。对于在副本中有效而在原数组无效的所有索引,副本将包含 null。当且仅当指定长度大于原数组的长度时,这些索引存在。所得数组属于 newType 类。
泛型类的静态上下文中类型变量无效
public class Singleton{
private static T singleInstance; //ERROR
public static T getSingleInstance(){…} //ERROR
}
类型擦除后只剩下Singleton类,因为静态所以他只包含一个singleInstance域,如果能运行则以Singleton类为模板生成不同类型的域,因此产生了冲突
不能throws或catch泛型类的实例(有关异常)
泛型类继承Throwable类不合法,如public class Problem<T> extends Exception {...}
//ERROR 不能通过编译
catch
子句不能使用类型变量
public static void doWork(Class t){
try{
do work
}catch (T e){ // ERROR
Logger.global.info(…)
}
}
不过,在异常规范中使用类型变量是允许的:
public static void doWork(T t) throws T { //此时可以throws T
最后
自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数Java工程师,想要提升技能,往往是自己摸索成长,自己不成体系的自学效果低效漫长且无助。
因此收集整理了一份《2024年Java开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,不论你是刚入门Java开发的新手,还是希望在技术上不断提升的资深开发者,这些资料都将为你打开新的学习之门!
如果你觉得这些内容对你有帮助,需要这份全套学习资料的朋友可以戳我获取!!
由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!
15706497502)]
[外链图片转存中…(img-opv86zhP-1715706497503)]
[外链图片转存中…(img-NH4Jfzmd-1715706497504)]
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,不论你是刚入门Java开发的新手,还是希望在技术上不断提升的资深开发者,这些资料都将为你打开新的学习之门!
如果你觉得这些内容对你有帮助,需要这份全套学习资料的朋友可以戳我获取!!
由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!