【进阶之路】Java的类型擦除式泛型
Java选择的泛型类型叫做类型擦除式泛型。什么是类型擦除式泛型呢?就是Java语言中的泛型只存在于程序源码之中,在编译后的字节码文件里,则全部泛型都会被替换为原来的原始类型(Raw Type),并且会在相应的地方插入强制转型的代码。
因此,对于运行期间的Java程序来说ArrayList< Integer>和ArrayList< String>其实是同一个类型。这也就是Java选择的泛型类型叫做类型擦除式泛型的原因。
ArrayList<String> stringArrays =new ArrayList<>();
ArrayList<Integer> intArrays =new ArrayList<>();
System.out.println(stringArrays.getClass().getTypeName().equals(intArrays.getClass().getTypeName()));
很显然 答案是 true,因为他们的类型都是java.util.ArrayList
一、类型擦除式泛型
Java为什么采用这种泛型呢?其实在于如果使用C#类型的泛型的话,会导致新的的Java版本无法去兼容原始的Java版本,也就会违背“二进制兼容性”原则。
所谓“二进制兼容性”,指的就是在升级java的版本时,不必重新修改原来的程序代码,既可使得程序在现在以至于未来的版本中能够正常运行。
也是因为“二进制兼容性”原则,Java在1.4.2之前的版本都没有支持过泛型,如果需要在1.5之后的版本突然引入泛型,就需要考虑让以前的程序在新版本的虚拟机中还能正常运行。
其实,Java的设计者也可以考虑学习C#一般,平行地增加一套泛型版本的新类型,以前的版本保持不变就行了。但是Java的设计人员并没有这么做,而是选择了把已有的不支持泛型的类型泛型化,不添加任何平行于已有类型的泛型版。
还是我们刚刚所讲的例子,因为Java1.5之后把所有的类型泛型化,所以ArrayList< Integer>和ArrayList< String>全都被转化为了ArrayList的子类。
将之前的代码反序列化之后,我们能够看出强制转化的类型消失了,Java代码变回了泛型出现之前的写法。
public static void main(String[] var0) {
ArrayList var1 = new ArrayList();
ArrayList var2 = new ArrayList();
}
当然,元素访问时插入了从Object到String的时候,则会强制转型代码。
泛型擦除之后:
HashMap var1 = new HashMap();
var1.put("A", "A");
System.out.println((String)var1.get("A"));
HashMap var2 = new HashMap();
var2.put(1, "A");
System.out.println((String)var2.get(1));
HashMap var3 = new HashMap();
var3.put("A", 1);
System.out.println(var3.get("A"));
也是因为类型擦除的问题,我们存入List的不同类型的对象都可以自然的转换成Object类型,但是取出的时候都需要强制转换,所以会出现拆箱装箱的消耗、以及可能出现的数据类型转换的错误。因此,在使用集合的时候推荐使用ArrayList< String>这种已经转换完毕的形式。
ArrayList var1 = new ArrayList();
var1.add("aaaa");
var1.add(100);
var1.add('c');
var1.add(21.5F);
二、泛型可能出现的问题
1、类型转换的问题
如果我们想实现一个方法,想要将不确定的List集合转化为数组,那我们该怎么做?因为泛型的类型可擦除,我们无法直接从List中取得参数化类型T,所以只能从额外的参数中传递一个数组的泛型类型进去进行转换。
//必须传递Class<T> otherType作为参数类型
public static <T> T[] convert(List<T> list ,Class<T> otherType){
T[] array = (T[]) Array.newInstance(otherType,list.size());
return array;
}
public static void main(String[] args) {
List<String> list = new ArrayList<String>(){{
add("A");
}};
String[] result =convert(list,String.class);
}
当然,也可以通过反射手段来获取泛型类型。
Class clazz = list.getClass();
//getSuperclass()获得该类的父类
System.out.println(clazz.getSuperclass()); //class java.util.ArrayList
//getGenericSuperclass()获得带有泛型的父类
//Type是 Java 编程语言中所有类型的公共高级接口。它们包括原始类型、参数化类型、数组类型、类型变量和基本类型。
Type type = clazz.getGenericSuperclass();
System.out.println(type); //java.util.ArrayList<java.lang.String>
//ParameterizedType参数化类型,即泛型
ParameterizedType p = (ParameterizedType) type;
//getActualTypeArguments获取参数化类型的数组,泛型可能有多个
Class c = (Class) p.getActualTypeArguments()[0];
System.out.println(c); //class java.lang.String
String[] convert = convert(list, c);
2、泛型与重载的矛盾
public static void method(List<String> list){
}
public static void method(List<Integer> list){
}
便已无法通过:
'method(List<Integer>)' clashes with 'method(List<String>)'; both methods have same erasure
我们已知上面的代码是无法通过编译的,因为List中的参数被擦除了,变成了原始类型的List。
三、泛型的最佳实践
经过之前的论述,大家已经知道了Java泛型的一些基础知识,以及在使用泛型的时候可能出现的问题。如果在使用泛型的时候可以遵循一些基本的原则,就能避免一些常见的问题。
- 在代码中避免泛型类和原始类型的混用。比如List< String>和List不应该共同使用。这样会产生一些编译器警告和潜在的运行时异常。当需要利用JDK 5之前开发的遗留代码,而不得不这么做时,也尽可能的隔离相关的代码。
- 在使用带通配符的泛型类的时候,尽可能的明确通配符所代表的一组类型的概念。
- 泛型类最好不要同数组一块使用。你只能创建new List<?>[10]这样的数组,无法创建new List[10]这样的。这限制了数组的使用能力,而且会带来很多费解的问题。因此,当需要类似数组的功能时候,使用集合类即可。
- 如果编译器给出的警告信息,在其他地方很多时候可以忽略(可能是格式带来的问题),但是在泛型代码中还是尽量解决问题。
有需要的同学可以加我的公众号,以后的最新的文章第一时间都在里面,也可以找我要思维导图
【进阶之路】Java的类型擦除式泛型的更多相关文章
- java为什么要用类型擦除实现泛型?--c++,java,c# 的泛型是如何实现的
所以总结一下c++,java,c#的泛型.c++的泛型在编译时完全展开,类型精度高,共享代码差.java的泛型使用类型擦出,仅在编译时做类型检查,在运行时擦出,共享代码好,但是类型精度不行.c#的泛型 ...
- 从头认识java-13.11 对照数组与泛型容器,观察类型擦除给泛型容器带来什么问题?
这一章节我们继续类型擦除的话题,我们将通过对照数组与泛型容器,观察类型擦除给泛型容器带来什么问题? 1.数组 package com.ray.ch13; public class Test { pub ...
- 神奇的互换身体术--java的类型擦除
故事背景 <互换身体>是由环球影业发行的喜剧电影,于2011年8月5日在美国上映.该片由大卫·道金执导,瑞安·雷诺兹.杰森·贝特曼.奥利维亚·王尔德等主演.该片讲述了一位居家好男人和一位蜂 ...
- JAVA进阶之路(一)
初学的大三奋斗者,fighting!!! 下面是进阶之路 Java平台和语言最开始只是SUN公司在1990年12月开始研究的一个内部项目.SUN公司的一个叫做帕特里克·诺顿的工程师被自己开发的C和C语 ...
- Java 泛型 四 基本用法与类型擦除
简介 Java 在 1.5 引入了泛型机制,泛型本质是参数化类型,也就是说变量的类型是一个参数,在使用时再指定为具体类型.泛型可以用于类.接口.方法,通过使用泛型可以使代码更简单.安全.然而 Java ...
- Java类型擦除机制
Java泛型是JDK 5引入的一个特性,它允许我们定义类和接口的时候使用参数类型,泛型在集合框架中被广泛使用.类型擦除是泛型中最让人困惑的部分,本篇文章将阐明什么是类型擦除,以及如何使用它. 一个常见 ...
- 转:有关Java泛型的类型擦除(type erasing)
转载自:拈花微笑 自从Java 5引入泛型之后,Java与C++对于泛型不同的实现的优劣便一直是饭后的谈资.在我之前的很多training中,当讲到Java泛型时总是会和C++的实现比较,一般得出的结 ...
- 初探Java类型擦除
本篇博客主要介绍了Java类型擦除的定义,详细的介绍了类型擦除在Java中所出现的场景. 1. 什么是类型擦除 为了让你们快速的对类型擦除有一个印象,首先举一个很简单也很经典的例子. // 指定泛型为 ...
- Java 枚举类型简介
目录 Java 枚举示例 Java 枚举构造函数 枚举类型是用于定义常量集合的特殊类型,更确切的说,JAVA枚举类型是一种特殊的 java 类.枚举类型可以包含常量.方法等.在 java5 中添加了 ...
随机推荐
- 温故知新,DotNet Core SDK和.Net CLI十八般武艺
简介 .NET命令行接口 (CLI) 工具是用于开发.生成.运行和发布.NET应用程序的跨平台工具链. https://docs.microsoft.com/zh-cn/dotnet/core/too ...
- 40、mysql数据库(触发器)
1.触发器说明: 使用触发器可以定制用户对表进行[增.删.改]操作时前后的行为,注意:没有查询. 2.创建触发器语法: (1)插入前: CREATE TRIGGER tri_before_insert ...
- 23、mysql高可用实践
23.1.mysql高可用业务需求: 23.2.mysql高可用架构图(单主热备模式): 23.6.部署drbd.heartbeat.mysql的主从同步: 1.部署heartbeat:参考" ...
- Visual Studio 2010 SP1 中文升级补丁ISO完整版下载 (含多国语言)
最近事情比较多,差点忘记了这个VS2010 SP1的升级补丁更新了,程序员们赶快更新吧!这次发布的SP1包含了下列语言:英文,简体中文,繁体中文,法语,德语,印度语,日语,韩语,俄语以及西班牙语. V ...
- hud 3308 LCIS 线段树 区间合并
题意: Q a b 查询[a, b]区间的最长连续递增子序列的长度 U a b 将下表为a的元素更新为b 区间合并一般都有3个数组:区间最值,左区间最值和右区间最值 具体详见代码 #include & ...
- Collections中的实用方法
总结一下java.util.Collections类内部的静态方法. checkedCollection(Collection<T> , Class<T> type) chec ...
- docker下创建redis cluster集群
概述 在Redis中,集群的解决方案有三种 主从复制 哨兵机制 Cluster Redis Cluster是Redis的分布式解决方案,在 3.0 版本正式推出. 准备工作 1.确定本机IP地址 2. ...
- docker 创建各容器命令合集
学习中...持续更新 docker-compose安装: curl -L https://github.com/docker/compose/releases/download/1.27.4/dock ...
- 第二章 - Java与协程
Java与协程 内核线程的局限 通过一个具体场景来解释目前Java线程面临的困境.今天对Web应用的服务要求,不论是在请求数量上还是在复杂度上,与十多年前相比已不可同日而语,这一方面是源于业务量的增长 ...
- python cv2获取视频第一帧,并转码
安装Python库 sudo pip install opencv-python 或者sudo pip install opencv-python -i https://pypi.douban.com ...