写点什么

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:404442
用户头像

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

关注

评论

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

把握融合之道 推进价值创造

用友BIP

业财融合

数智融合 开启金融数据治理新时代

酷克数据HashData

模拟建造游戏:异星工厂factorio 中文原生版

加油,小妞!

Factorio 模拟建造游戏

SQL FULL OUTER JOIN 关键字:左右表中所有记录的全连接解析

小万哥

MySQL 数据库 程序员 sql 后端开发

SocialFi 和 GameFi 的碰撞 — Socrates 构建新的 Web3 流量入口

股市老人

Autoscaler 中 VPA 的设计与实现

Greptime 格睿科技

k8s 时序数据库

双良集团:价值创造本源,设备资产管理向智能化管理实现跨越

用友BIP

资产管理

强大的轻级思维导图软件 iMap Builder中文最新版

胖墩儿不胖y

Mac软件 思维导图软件

高防服务器可以用来搭建游戏网站吗?

Geek_f19a80

服务器

华为云耀云服务器L实例助你轻松搭建个人网站

轶天下事

企业数字化浪潮来袭,华为云耀云服务器L实例打造中小企业

轶天下事

华为云助力中小企业应对挑战:云耀L实例在跨境电商的应用探析

轶天下事

淘宝详情API接口:一键获取商品信息的实践探索

Noah

中国机械总院:大型集团视角下的智能费控与支出管理

用友BIP

智能费控

Java 学习之路

玄兴梦影

Java 编程

细微之处决定胜败:从云厂商事故报告中学习经验教训

WuKongCoder

云计算 腾讯云 阿里云 华为云 AWS云

想要更高的压缩率?一文带你深入了解 TDengine TSZ 压缩算法

TDengine

tdengine 时序数据库

Databend 开源周报第 121 期

Databend

CodeWhisperer——一个十分强大的工具 冲!

亚马逊云科技 (Amazon Web Services)

人工智能 亚马逊云科技 云上探索实验室 Amazon CodeWhisperer

大模型时代,“人人可AI”的百度开发者平台长什么样?

百度Geek说

人工智能 百度 大模型 企业号11月PK榜 开发者平台

文心一言 VS 讯飞星火 VS chatgpt (145)-- 算法导论12.1 5题

福大大架构师每日一题

福大大架构师每日一题

数字经济时代:城市到底如何演绎?产业将何去何从?

平平无奇爱好科技

Programming Abstractions in C阅读笔记:p197-p201

codists

解放你的双手,让 ChatGPT 来帮你完成 Jenkins 到极狐GitLab CI 的迁移

极狐GitLab

ci DevOps jenkins openai ChatGPT

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