Java值类型的当前状态
甲骨文一直在努力向Java中加入值类型,这项工作包含在Valhalla项目中,Valhalla是“一个探索和孵化候选高级Java虚拟机和语言特性的地方”。InfoQ之前已经报道了这个项目以及向Java中引入值类型的工作进展。
值类型旨在成为未来Java版本中的第三种数据类型,当前已有的两种类型分别是原始类型和对象引用。经常有人说,Java值类型应该“写起来像类,用起来像int”。这意味着它们应该是一个复合数据类型(代码与类相似),只是少了标识,并且如果有可能的话不提供对象头部(像int一样)。
以Java平台目前的情况来看,运行环境不会提供这种对内存布局的底层控制形式——它可能类似于C语言当中的struct,但JVM并不支持。所以,在当前版本中,所有组合数据类型都必须通过引用来访问。
如果要将Java平台扩展为包含值类型,那么自然会产生这样的问题:值类型是否可用作类型参数(type parameter)值。如果不是,那么这似乎大大限制了它们的用处。因此,值类型的设计一直包含这样的假设,即在增强的泛型中,值类型可以作为类型参数的值。
这与Java类型系统缺少顶级类型(top type)有关——Object和int不存在共同的超类型。换句话说,Java类型系统不是单根(single-rooted)的。由于这个原因,Java泛型类型的类型参数只能是引用类型。如果可能引入值类型,那么就必须解决这个问题(并且还要考虑泛型的类型擦除)。
从Java 8开始,其设计目标之一就是提高JDK中某些引用类型可能会在后续版本中发展成为值类型的可能性,所以这也是需要考虑的一个设计约束。两个明显的候选例子是Optional和LocalDateTime——它们都具有值类型所期望的属性。例如,它们都是不可变的,并且都具备了值类型语义,即当且仅当所有字段的值都相等时,两个对象才相等。
如果JDK类型有可能演变为值类型,那么问题来了:值类型在类文件中应该怎样表示?在当前版本的JVM中,引用类型为L<qualified type>;,所以Optional使用描述符Ljava/util/Optional;来表示。在过去的几年中,为了确定在类文件中如何表示值类型,开发者们已经评审过不同的提案和设计方案。
甲骨文JVM架构师John Rose最近 简要描述了过去的历史 、已经尝试过的各种方案以及遇到的问题。
当前的方向继续使用与引用类型相同的描述符语法来描述值类型(而不是像Qjava/util/Optional;这样)。这种方法具有保持向后兼容的优点,向后兼容从一开始就是Java的首要设计原则。
但是,该设计存在一个问题,因为类型描述符实际上是一种不完整的描述,因为它不区分特定类型是否是真正的值类型。为了解决这个问题,目前的提议是对JVM类文件格式进行扩展,增加一个新的片段(ValueTypes),该片段详细说明文件中的哪些类型实际上是值类型。John Rose已经对此进行了 详细的描述 ,不过 valhalla-dev邮件列表 上仍然在针对一些细节问题进行热烈的讨论。Stephen Colebourne和其他人最近还讨论了Java值类型的可空性(nullability)问题。
与此同时,实现方面的工作进展顺利,预计适用于JVM研究者、框架作者和喜欢跟字节码打交道的人的原型将很快推出。通常情况下,对于主要特性,甲骨文不会承诺在任何特定Java版本或特定日期交付预期功能。
欢迎工作一到五年的Java工程师朋友们加入Java架构开发:468947140
点击链接加入群聊【Java-BATJ企业级资深架构】:https://jq.qq.com/?_wv=1027&k=5zMN6JB
本群提供免费的学习指导 架构资料 以及免费的解答
不懂得问题都可以在本群提出来 之后还会有职业生涯规划以及面试指导
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
Mybatis成为首选持久框架的原因
持久层可以将业务数据存储到磁盘,具备长期存储能力,只要磁盘不损坏(大部分的重要数据都会有相关的备份机制),在断电或者其他情况下,重新开启系统仍然可以读取这些数据。一般执行持久任务的都是数据库系统。持久层可以使用巨大的磁盘空间,也比较廉价,它的确定就是比较慢。 Mybatis成为java互联网时代首选的持久框架 原因: 1.不屏蔽SQL,意味着可以更精确地定位sql语句,可以对其进行优化和改造,这有利于互联网系统性能的提高,符合互联网需要性能优化的特点。 2.提供强大、灵活的映射机制,方便java开发者使用。提供动态的sql的功能,允许我们根据不同条件组装sql,这个功能远比其他工具或java编码的可读性和可维护性高的多,满足各种应用系统的同时也满足了需求经常变化的互联网应用的要求。 3.在mybatis中,提供使用了Mapper接口编程,只要一个接口和一个XML就能创建映射器,进一步简化我们的工作,使得很多框架API在mybatis中消失,开发者更集中于业务逻辑。 mybatis核心组件 SqlSessionFactoryBuilder(构造器):它会根据配置或者代码来生成SqlSes...
- 下一篇
数据科学求职建议:掌握5种类型的数据科学项目
一年一度的秋招已经打响了发令枪,从去年的薪酬排行来看,算法工程师和数据分析等工作排在前列,很多相关专业的学生一直在自学一些网络上的公开课并阅读一些专业书籍,比如“西瓜书”、“花书”等,如果你现在仍然什么也没有准备的话,然而还想从事数据科学领域这个似乎令人望而生畏的工作话,现在就要抓紧补补相关的知识了。在这里要提示一点,自我完善的知识不要局限于数据分析相关的知识,还要额外补充下相关领域的知识。另外,简历上展示个人技能的最佳方式是使用技能组合的形式,这样能让雇主相信你可以使用你已经学习的技能。为了展示这些技能,以下是你应该着重补充的5种数据科学项目组合类型: 1.数据清理 数据科学家预计在一个新项目的清理数据处理上花费多达80%的时间,这对于团队来说是一个巨大的代价。如果你可以证明你在数据清理方面经验丰富,那么
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池
- CentOS7编译安装Cmake3.16.3,解决mysql等软件编译问题
- SpringBoot2全家桶,快速入门学习开发网站教程
- Docker快速安装Oracle11G,搭建oracle11g学习环境
- Jdk安装(Linux,MacOS,Windows),包含三大操作系统的最全安装
- Docker使用Oracle官方镜像安装(12C,18C,19C)
- Red5直播服务器,属于Java语言的直播服务器
- Windows10,CentOS7,CentOS8安装MongoDB4.0.16
- CentOS7,CentOS8安装Elasticsearch6.8.6
- Hadoop3单机部署,实现最简伪集群