java object转泛型_为什么Java的泛型要用擦除实现

在 Java 中的 泛型 ,常常被称之为 伪泛型 ,究其原因是因为在实际代码的运行中,将实际类型参数的信息擦除掉了 (Type Erasure) 。那是什么原因导致了 Java 做出这种妥协的呢?下面我就带着大家以 Java 语言设计者的角度,带领大家一起了解这里面的辛酸过往。

什么是真泛型

在了解 Java "伪泛型" 之前,我们先简单讲一讲"真泛型"与“伪泛型”的区别。

  • 真泛型:泛型中的类型是真实存在的。
  • 伪泛型:仅于编译时类型检查,在运行时擦除类型信息。

编程语言实现“真泛型”的一般思路

一般编程语言引入泛型的思路,都是通过 编译时膨胀法

以 Java 语言实现"真泛型"为例,首先,对 泛型类型(泛型类、泛型接口) 、 泛型方法 的名字使用特别的编码,例如将 Factory 类生成为一个名为 “Factory@@T” 的类,这种特别的编码后的名字将被编译器识别,作为判断是否为泛型的依据。方法中使用占位符 T 的地方可以临时生成为 Object ,并带上特别的 Annotation 让 Java 编译器能得知这个是占位符。然后,如果编译时发现有对 Factory 的使用,则将 “Factory@@T” 的所有逻辑复制一份,新建 “Factory@String@” 类,将原本的占位符 T 替换为 String 。然后在编译 new Factory() 时生成 new Factory@String@() 即可。

术语中文含义举例

Parameterized type参数化类型List

Actual type parameter实际类型参数String

Formal type parameter形式类型参数E

以 Factory 与 Factory 为例,其生成的代码为:

//替换前的代码Factory() f1 = new Factory();Factory() f2 = new Factory();//替换后的代码Factory() f1 = new Factory@String@()Factory() f2 = new Factory@Integer@();
  • 其中 Factory@String@ 类中的 T 已经被替换为 String。
  • 其中 Factory@Integer@ 类中的 T 已经被替换为 Integer。

因为含有不同的 实际类型参数 的 泛型类型 都被替换为了不同的类,且泛型类型中的类型也都得到了确认。所以我们在程序中可以这么做:

class Factory {    T data;    public static void f(Object arg){        if(arg instanceof T){...}//success        T var = new T();//success        T[] array = new T[10];//success    }}

Java 直接使用 “真泛型” 带来的问题

单从技术来说,Java 是完全 100% 能实现我们所说的 ”真泛型”。想要实现真泛型,有如下两件事Java 必须要处理:

  • 修改 JVM 源代码,让 JVM 能正确的的读取和校验泛型信息(之前的Java 是没有泛型这种概念的,所以需要修改)。
  • 为了兼容老程序,需为原本不支持泛型的 API 平行添加一套泛型 API(主要是容器类型)。

就拿 ArrayList 来说,也就是必须这么做:

ArrayList

即使以上的事情都做了,Java 也并不能采用这种方案。试想如下情况:

b260365e9fa8ecae6fb35bedcec68b8a.png

如果我有一个 Java 5 之下 的 A 项目与第三方的 B1 lib,其中有 A 项目中引用了 B1 lib 中的某个 ArrayList ,随着 Java 的升级,B1 lib 的开发者为了使用 Java 新特性--泛型,故将代码迁移到了 Java 5,并重新生成了 B2 lib,那么 A 项目要兼容 B2 lib,那么 A 项目中必须升级到 Java 5 并同时修改代码。

A 项目为什么必须要升级 Java 5?

在 Java 中不支持高版本的 Java 编译生成的 class 文件在低版本的 JRE 上运行,如果尝试这么做,就会得到 UnsupportedClassVersionError 错误。如下图所示:

413ee6ddc1d0b987a4bbf544d08e85e4.png

故 A 项目要适配 B2 lib,必要要把 Java 升级到 Java 5。

那现在我们再回过头来想想,Java 版本迭代都从 1.0 到 5.0了,有多少的开源框架,有多少项目,如果为了引入泛型,强行让开发者修改代码。这种情况,各位同学。自行脑补。估计数以万计的开发者拿着刀,在堵 Java 语言架构师的门吧。

逼不得已的类型擦除

在上节中,我们探讨了 Java 不能直接引入“真泛型” 的实际原因。因为“真泛型”的引入,势必会为原本不支持泛型的 API 平行添加一套泛型 API。而新增了API,对于 Java 开发者来说,又必须要做迁移。

那还有什么方案,能让开发者平滑的过渡到 Java 5, 又能使用泛型新特性呢?

06020d0fad439c0dc35273eae367f578.png

有的,有的。Java 如果想摆脱用户新版本的迁移问题。Java 必要要做以下两件事情:

  • 不再新增一套泛型 API, 直接把已有的类型原地泛型化
  • 处理泛化前后类型的兼容。

下面我们分别探讨一下这两件事做的目的及其原因。

做第一件事,是保证了开发者不会因为 Java 的升级,而对以前的老代码进行修改,以 ArrayList 为例, 直接在原有包(java.util)下进行修改 ,也就是这样:

//:point_down:Java老版本class ArrayList{}//:point_down:Java5泛型版本class ArrayList{}

做第二件事的目的,还是以我们之前的例子进行分析,在 A 项目中,A 项目引用了 B1 lib 中的 ArrayList(用 list 变量记录),那么假设 A 项目升级到 Java 5 后,还是引用的 B1 lib,那么必然会出现如下这种情况:

下述代码中,A 项目将泛化后 ArrayList 的传递给了 B1 lib 中的 ArrayList 。

ArrayList list = new ArrayList();
ArrayList

这种情况的出现,会导致一个问题。就是 b1 项目中的 ArrayList 是不知道 A 项目中的 Arraylist 已经泛型化了的,那么如何保证 泛型化后 的 ArrayList( 也就是ArrayList )与 老版本 的 ArrayList 等价呢?

如果按照我们之前讲解的 “真泛型” 思路来处理 Java 的泛型, 那么 new ArrayList() 实际会被替换为 new ArrayList@String@() ,那么实际运行代码是这样:

ArrayList list = new Factory@String@()复制代码

从代码逻辑上来看,根本就跑不通。因为 ArrayList 与 ArrayList@String@ 根本就不是同一类, 那怎么办呢?

最为直接的解决方案就是,不再为参数化类型创造新类了,同时在编译期间将 泛型类型 中的 类型参数 全部替换 Object (因为不创建新类了,那么在泛型类中的 T 对应的类型,只能用 Object 替换)。

在 Java 的泛型实际实现中,会根据泛型类型中的类型参数有无边界,来选择是否替换为边界或 Object。

举个例子:

ba485a3bdd095947fe9328168725cd5d.png

在上述代码中,声明了一个泛型类型 Node ,在编译器替换后,实际为 Node。也就是这样:

//编译器的代码 Node node = new Node(); //编译后的代码 Node node = new Node();

通过编译器的”魔法“,Java 就解决了处理泛型兼容老版本的问题。

总结

阅读到这里,我相信大家已经明白了 Java 中的泛型为什么要擦除类型信息了。虽然 Java 的 "伪泛型“ 一直被其他编程语言所歧视,但不管怎样,兼容老版本这种行为,也是一件值得尊敬以及认可的一件事。

不管 Java 做了什么,总是功大于过的。这里推荐一个视频给大家。相信看了这个视频之后,大家会知道 Java 对于整个世界的重要性。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/340682.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

td 字典表_数据库怎么设计字典表

数据库怎么设计字典表,用来存储类型数据,需要可以编缉,大家都是怎么做的CREATE TABLE t_ci (id bigint(20) NOT NULL AUTO_INCREMENT,parentId bigint(20) DEFAULT NULL,name varchar(32) DEFAULT NULL COMMENT 名称,seq int(11) DEFAULT NUL…

java lambda函数_Java SE 8新功能介绍:使用Lambda Expression进行函数式编程

java lambda函数“ Java SE 8新功能浏览 ”系列的这篇文章将深入了解Lambda表达式 。 我将向您展示Lambda表达式的几种不同用法。 它们都具有功能接口的共同实现。 我将解释编译器如何从代码中推断信息,例如特定类型的变量以及后台实际发生的情况。 在上一篇文章“…

计算机电源稳压,一种用于计算机的电源稳压电路

主权项:1.一种用于计算机的电源稳压电路,其特征在于:包括变压器、桥式整流器、第一电容至第三电容、第一电阻至第五电阻、第一电位器、第二电位器、第一场效应管、第二场效应管、三极管和基准电压源,电压输入的两端分别与所述变压…

python输入代码如何清除_Bug清除手册-代码书写规范与基本使用(Python)

第 0-3 关 󰀤 代码书写规范与基本使用 󰀤 Q :代码“” ( 等号 ) 的两边要不要空格,有影响吗? 󰀡 A :没有影响,要习惯空格,这样更加规范美观,有辨识度&#xf…

Apache Camel 3.1 –更多骆驼核心优化(第2部分)

我以前曾在博客中介绍我们在下一个Camel 3.1版本(第1部分)中所做的优化 。 今天,我想发布大约4周后的最新状态更新。 我们集中在三个方面优化骆驼核心: 不必要的对象分配 不必要的方法调用 提高绩效 换句话说,我…

计算机系统的指令系统,计算机指令系统指的是什么呢?

2014-12-27计算机系统的指令由你哪两部分组成?共作用分别是什么?1。8086汇编语言指令由标号、操作码、操作数和注释组成,其中标号和注释可以省略,操作码指出指令要过盛的功能,操作数指出完成的对象。2。变量和标号的区别是变量由伪指令定义&a…

echarts怎么保存图片到剪切板上_在电脑上怎么批量给图片编号以及怎么自动记录记事本txt文档时间...

电脑日益成为我们日常办公不可或缺的工具,除了必要的软件使用之外,也有一些直到今天还不那么为人所熟知的小技巧。而小编今天就暂时为大家介绍两个颇为常用的小技巧~分别是如何将图片批量编号以及自动记录记事本时间。技巧一、图片批量编号旅行或者活动结…

计算机类qq网名,最帅的qq名字

qq这个聊天工具已经成为人们电脑里必备的软件,上到40~50的叔叔阿姨,下至8~9岁的小学生,都有qq这个聊天工具。qq是有可以随意改名字的功能,最长可以输入十几个字符作为名字。就是因为取名没有太多的限制,反而让人不知道…

码云上传代码添加标签_第一次使用Git Bash Here 将本地代码上传到码云

当我们安装成功git工具时候,初次使用Git时,需要Git进行配置。1.点击桌面上的这个图标,打开Git Bash:如图所示2.配置自己的用户名和邮箱git config --global user.name "你的名字或昵称"git config --global user.email …

python执行adb命令_Python实现对adb命令封装

我就废话不多说了,大家还是直接看代码吧! #!/usr/bin/evn python # -*- coding:utf-8 -*- # FileName adbtools.py # Author: HeyNiu # Created Time: 2016/9/19 """ adb 工具类 """ import os import platform import re…

ubuntu优化服务器网络连接数,ubuntu下解决高并发socket最大连接数限制,tcp默认1024个连接...

linux系统默认ulimit为1024个访问 用户最多可开启的程序数目。一般一个端口(即一个进程)的最高连接为2的16次方65536通过这个命令 ulimit -n 可以看到默认值为1024查看全局文件句柄数限制(系统支持的最大值)cat /proc/sys/fs/file-max查看每个进程文件句柄数限制ulimit -n第一步…

c++中求解非线性方程组_齐次线性方程组的基础解系的简便算法

线性方程组的求解是线性代数中的基本技能,而齐次线性方程组的基础解系的求法又是基础。本文给出一个计算齐次线性方程组的基础解系的公式,从而简化计算过程。01 符号说明 n元线性方程组的矩阵形式:(1)齐次线性方程组;(2)非齐次线性方程组;系数…

在AWS第1部分中使用Terraform自动缩放组:基本步骤

因此,您想使用Terraform在AWS上创建一个自动缩放组。 以下是达到此目的的最少步骤。 在编写实际代码之前,应指定aws terraform提供程序以及provider.tf文件上的区域。 provider "aws" { version "~> 2.0" region "eu-wes…

python的if语句例句_Python入门之if条件语句

Besides the while statement just introduced, Python knows the usual control flow statements known from other languages, with some twists.除了之前介绍的while语句,Python同样支持其他语言通常用的控制流语句,但也有一些区别。 if Statements P…

虚拟空间独立服务器哪个好,共享虚拟主机和独立哪个好

共享虚拟主机和独立哪个好?现在市面上的虚拟主机产品分为共享主机和独立虚拟主机,那对于用户来说,他们二者之间哪个更好些呢。共享虚拟主机共享虚拟主机指多个用户共同平均使用同一台服务器资源,包括CPU、内存、带宽、硬盘和IP都是…

esp32 怎么分配freertos 堆栈大小_深度解剖~ FreeRtos阅读笔记2 任务创建、内核链表初始化...

2.FREERTOS任务创建、内核链表初始化硬件环境:cortex m4FreeRTOS版本:v8.0.1今天开始阅读freertos,阅读同时做下笔记,等哪天碰到移植问题再翻出来看看。2.1 任务、链表结构体源码中使用tskTCB来存储一个任务的所有信息,xLIST存储内…

pandas用众数填充缺失值_7步搞定数据清洗-Python数据清洗指南

脏数据就是在物理上临时存在过,但在逻辑上不存在的数据。数据清洗是整个数据分析过程的第一步,就像做一道菜之前需要先择菜洗菜一样。数据分析师经常需要花费大量的时间来清洗数据或者转换格式,这个工作甚至会占整个数据分析流程的80%左右的时…

有盘和无盘服务器,网吧系统的终极解决之道:无盘系统+有盘(转)

1、效果好:系统启动飞速,玩大型游戏飞速,不会丢失账号,系统永远干净。2、不会中毒:系统文件从服务器上的镜像中读取,大型游戏从本地硬盘读取,本地硬盘全盘还原,游戏穿透更新。3、投资…

Sigma IDE现在支持Python无服务器Lambda函数!

想想无服务器,使用Pythonic –全部在您的浏览器中! (好吧,这则新闻已经过了几周了,但是仍然……) 如果您沉迷于整个无服务器的“事物”中 ,您可能已经注意到我们,一个在SLAppForge臭…

微信分享 ajax冲突,微信jssdk分享功能开发及解决ajax跨域的问题

微信JS-SDK说明文档微信JS-SDK Demo我所要实现的分享功能要求:只要提供一段js代码给前端美工放置在静态页面等就可以实现分享功能。js代码如下:urllocation.href;$.ajax({type : "get",url : "http://域名/wx/test/jssdk.php?url"u…