写点什么

Java 值类型的当前状态

  • 2018-06-26
  • 本文字数:1321 字

    阅读完需:约 4 分钟

甲骨文一直在努力向 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 ;,所以 Optional 使用描述符 Ljava/util/Optional; 来表示。在过去的几年中,为了确定在类文件中如何表示值类型,开发者们已经评审过不同的提案和设计方案。

甲骨文 JVM 架构师 John Rose 最近简要描述了过去的历史、已经尝试过的各种方案以及遇到的问题。

当前的方向继续使用与引用类型相同的描述符语法来描述值类型(而不是像Qjava/util/Optional; 这样)。这种方法具有保持向后兼容的优点,向后兼容从一开始就是Java 的首要设计原则。

但是,该设计存在一个问题,因为类型描述符实际上是一种不完整的描述,因为它不区分特定类型是否是真正的值类型。为了解决这个问题,目前的提议是对JVM 类文件格式进行扩展,增加一个新的片段(ValueTypes),该片段详细说明文件中的哪些类型实际上是值类型。John Rose 已经对此进行了详细的描述,不过 v​​alhalla-dev 邮件列表上仍然在针对一些细节问题进行热烈的讨论。Stephen Colebourne 和其他人最近还讨论了 Java 值类型的可空性(nullability)问题。

与此同时,实现方面的工作进展顺利,预计适用于 JVM 研究者、框架作者和喜欢跟字节码打交道的人的原型将很快推出。通常情况下,对于主要特性,甲骨文不会承诺在任何特定 Java 版本或特定日期交付预期功能。

查看英文原文 The Current State of Java Value Types

2018-06-26 05:404264
用户头像

发布了 731 篇内容, 共 447.0 次阅读, 收获喜欢 2001 次。

关注

评论

发布
暂无评论
发现更多内容

精通比特币:为什么它对自由、财务和未来至关重要(上篇)

CECBC

比特币

《采访彩食鲜 CTO 乔新亮:IT 团队从 100 到 10000 的管理心得》(采访提纲)

程序员历小冰

调查采访能力考核

领域驱动设计 101- 上下文与持续集成

luojiahu

领域驱动设计 DDD

为什么微服务一定要有 API 网关?

xcbeyond

微服务 api 网关 4月日更

朱嘉明:算力产业正面临着一个十年的长周期

CECBC

数字经济

对话声网 Agora 首席科学家钟声 :5G时代到来前景下RTE实时互动技术的应用与发展

麦洛

Java

浅谈在探索数分之路上的“数据思维”论述

小飞象@木木自由

数据分析 数据分析体系 数据思维 数据分析方法论

斗智亦斗棋,零售云市场的“楚河汉界”突围赛

脑极体

Excelize 2.4.0 正式版发布, 新支持 152 项公式函数

xuri

GitHub 开源 Excel Go 语言 Excelize

架构实战营 模块2 课后作业

༺NPE༻

ARTS- Week 7

steve_lee

奇绩创坛2021秋季创业营开始报名

奇绩创坛

翻译:《实用的Python编程》09_03_Distribution

codists

Python

使用Agora SDK开发React Native视频通话App

声网

RTC React Native 声网 RTE

为什么我愿意持续做这样一件看似没有价值的事情

帅安技术

坚持 持续写作 长期价值

【AI全栈二】视频流多目标多类别无延迟高精度高召回目标追踪

cv君

音视频 目标检测 视频跟踪 引航计划

【提纲】专访融云CTO杨攀 | 技术型人才的自我修炼

Python研究所

调查采访能力考核

如何从零开始学Python:(3)划重点:使用IDLE创建列表时需要注意的地方

广之巅

Python 4月日更

深入理解Java虚拟机-HotSpot

华章IT

Java JVM 虚拟机

Python 爬虫实战(一) 爬取自如网租房信息

U2647

python 爬虫 4月日更

对话声网 Agora 首席科学家钟声 :声网的未来规划和人才建议

小诚信驿站

采访 调查采访能力考核

ElasticSearch 如何使用 TDigest 算法计算亿级数据的百分位数?

程序员历小冰

大数据 elasticsearch 近似算法 TDgigest

浅谈JVM和垃圾回收

leonsh

Java JVM JVM虚拟机原理 垃圾回收算法

融合趋势下基于 Flink Kylin Hudi 湖仓一体的大数据生态体系

Apache Flink

flink

面试4轮字节Java研发岗,最终拿下Offer(原题复盘)

码农之家

编程 程序员 互联网 面试 字节

Lombok初始使用及遇到的问题

风翱

lombok 4月日更

关于数字人民币、加密货币,央行前行长周小川、副行长李波博鳌论坛发声

CECBC

数字货币

访谈阿里巴巴安全科学家吴翰清

容光

专访 阿里吴翰清 最新网络安全

简单了解InnoDB底层原理

leonsh

MySQL 数据库 innodb

百度大脑3月新品推荐:EasyDL视频目标追踪全新发布

百度大脑

百度大脑 EasyDL

python 变量作用域和列表

若尘

变量 Python编程 作用域

Java值类型的当前状态_Java_Ben Evans_InfoQ精选文章