:The Current State of Java Value Types

| by Ben Evans Follow 29 Followers on Jun 21, 2018. Estimated reading time: 3 minutes |

深圳风采开奖号码 Oracle has been working to bring value types to Java. This effort has been ongoing in Project Valhalla, the mission statement of which is to be "a venue to explore and incubate advanced Java VM and Language feature candidates". InfoQ has previously covered this project and the in-progress work to introduce value types in Java.

Value types are intended to be a third form of data type available in some future version of Java, to complement the currently-existing two: primitive types, and object references. The phrase most often used is that Java value types should "code like a class, work like an int". This means that they should be a composite data type (code like a class) but lack identity and not pay the object header cost if at all possible (work like an int).

As the platform currently stands, the environment deliberately does not provide this form of low-level control over memory layout - it would be similar to a C struct, which the JVM does not support. Instead, in current versions all composite data types must be accessed by reference.

If the Java platform is to be extended to include value types, then the question naturally arises as to whether value types can be used as type parameter values. If not, then this would seem to greatly limit their usefulness. Therefore, the design of values types has always included the assumption that they will be valid as values of type parameters in an enhanced form of generics.

This is related to the fact that the Java type system lacks a top type - there is no type that is the supertype of both Object and int. Another way of saying this is that the Java type system is not single-rooted. Due to this, type parameters for Java's generic types have only ranged over reference types and there is no obvious way to create a self-consistent meaning for List. The arrival of value types must address this issue (and also type erasure of generics) if at all possible.

As another design constraint, since Java 8 it has been a design goal to advance the possibility that certain reference types in the JDK (and possibly beyond) might be allowed to evolve in later releases to become value types. Two obvious examples of candidates for this are Optional and LocalDateTime - both have the properties that would be expected of value types. For example, they are both immutable and would be expected to exhibit value semantics - two objects are equal if and only if the values of all their fields are equal.

If it is possible for JDK types to evolve into value types, then this begs the question of what the representations for the types would look like in the class files. In the current version of the JVM, reference types are written as L<qualified type>;, so that Optional is represented by the type descriptor Ljava/util/Optional;. Over the last several years, different proposals and design approaches have been investigated in search of a representation of value types.

John Rose, Oracle's JVM architect, recently described the history briefly, the various approaches that have been tried, and the problems encountered.

The current direction is that value types will continue to be described using the same descriptor syntax as reference types (rather than, e.g. Qjava/util/Optional; as was discussed at one point). This approach has the nice feature of helping to maintain backwards compatibility, which has been a first-class Java design principle since the earliest days of the platform.

However, the design does have a problem in that the type descriptor is now an incomplete description, as it does not encode the fact that certain types are really value types. To resolve this, the current proposal is that the JVM class file format will be extended with a new section (ValueTypes) that details which types within the file are actually value types. The details have been written up by John Rose although some lively discussion about some of the details is continuing on the valhalla-dev mailing list. Recent contributions from Stephen Colebourne and others have discussed topics such as the nullability (or otherwise) of Java value types.

In parallel, the implementation work is proceeding well, and it is expected that a prototype suitable for JVM hackers, framework authors and those comfortable with bytecode will be available soon. As is usual for major features in active development, Oracle does not commit to delivery of the prospective features with any particular Java version or by any specific date in the future.

Rate this Article

Adoption Stage

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Oracle J# by Timothy Liu

Back to 1998, there was a (killed) J# of M$. Twenty years later, Oracle just re-cook it.

Re: Oracle J# by Ben Evans

Not really comparable. In the articles by John Rose that are linked from the above, he walks through several design approaches that have been prototyped and rejected. It's pretty clear that avoiding the problems of the .NET implementation of structs and value types (whilst staying backwards compatible) is a major goal.

Re: Oracle J# by Ciprian Khlud

Eh, feeling bitter?

Of course that Java didn't copy J#. For that matter, if you talk about "high level ideas" that platforms take, yes, of course, every company "steals" from the other ideas.

But to be frank, many things are just too differently implemented in Java and .Net to say that they just "re-cooks" the other ones.

For example just few things that Java copied from .Net but they didn't:
- Generics
- Lambdas (in many cases there is C# syntax, but they work really different)
- parallel() call on top of lambdas
- Jigsaw with internal module visibility which somewhat resemble the .Net's Assembly internal visibility

But if you are so pedantic, I can say just in the few years things that .Net definitely stole from Java world:
- .Net Core just added a tiered JIT, a feature that Java had it at least in production (as of Azul) for 10 years
- .Net just added static imports, a feature from Java 1
- and they just added methods to interfaces
- DLR: a "rip-off" of "invoke-dynamic"

But if we go into these talks, we go nowhere, because going into implementation, you will see many things are too different compared with what is described.

Re: Oracle J# by David Pickett

Types, well:

- the first thing that occurs to me is to support all of IEEE 754, like the modern hardware does.

- extended range types, some now supported in classes, would make nice types.

- primitive type references/pointers seems like a good candidate for recapturing the speed and versatility of C/Assembly.

- rational types for capturing fractions without rounding error would be neat!

- primitive date-time types would be good.

- primitive money types would be nice (implicitly scaled integer).

- scaled integers in general would be handy, like in handling fractional stock shares.

- Hints in Class declaration that this is a user defined type might be sufficient to restrict but create default methods/interfaces.

- Arrays of all the above, of course.

- Do we need parallel Classes like Integer to get utility methods/interfaces like StringToX, access to containers, etc.?

Re: Oracle J# by Ben Evans

I would recommend reading the linked articles and reviewing the design. Some of what you mention is already included, some is never going to happen (e.g. user-visible raw pointer types) and some just doesn't make sense in the context of the current design.

Value type signature by Cergey Chaulin

I've always though it felt natural to encode value types using Q signature. Why do they always put great store in compatibility ?

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

6 Discuss

Login to InfoQ to interact with what matters most to you.

Recover your password...


Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.


More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.


Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

  • 小龙虾走俏催生新职业“品虾师” 2018-12-15
  • 女子痴迷鹿晗 商场门口对人形立牌拭泪亲吻 2018-12-14
  • 成都:共享办公受追捧 助力写字楼“去库存” 2018-12-14
  • 回复@老老保老张工:伪高工想回到那种你生产的产品再水都有人买单都不会倒闭的日子?没门儿! 2018-12-12
  • 习近平:深入实施创新驱动发展战略 为振兴老工业基地增添原动力 2018-12-12
  • 昆明母婴室地图出炉啦!公众场合喂奶不再羞答答 春城壹网 七彩云南 一网天下 2018-12-10
  • 南昌市新建区司法局深入湖区渔船宣传法律 2018-12-09
  • 银白配色更高贵-热门标签-华商网数码 2018-12-08
  • 超美雾凇冰挂奇观   豫北最大瀑布群变冰帘 2018-12-07
  • 台东“孩子的书屋”:撑起偏乡学童翻转命运的机会 2018-12-07
  • 实验室里“种植”钻石,这样的人造钻戒你能接受吗? 2018-12-06
  • 新赛季CBA联赛常规赛分组 吉、辽、深、广、青同组 2018-12-05
  • 【网络中国节】端午遇上足球杯 平陆交警夜查全力保平安 2018-12-05
  • 法学教育 要离生活更近些 2018-12-04
  • 写“平乐镇”前,小说家颜歌的光怪陆离 2018-12-03
  • 383| 272| 446| 301| 405| 422| 802| 586| 364| 444|