Java即将引入新对象类型来解决内存使用问题

前言：

2022年Java将有什么新的特性和改进，我相信很多Java开发者都想知道。结合Java语言架构师布莱恩·格茨（Brian Goetz）最近的一些分享， 

一、Valhalla

布莱恩·格茨在去年底发表了一篇名为State of Valhalla的文章，里面信息量非常大，里面提到早在2014年Java项目组就启动了一个名叫Valhalla的项目，这个项目将为JVM平台带来更加灵活的、扁平化的数据类型。在2021年该项目将有进一步的动作，值对象（value objects）、原始类（primitive classes）、专用泛型（specialized generics）即将引入JVM平台。今天先来聊聊这个值对象是个啥。

我们知道什么是“值”，什么是“对象”，但是什么是“值对象”呢？不光你们懵逼，我也懵逼，来一起研究研究。

二、Java类型系统的不足

Java类型系统由内置的10种类型组成，这10种类型无法直接表达复杂的数据结构，例如字符串、三维坐标、空间向量等等，但是开发者可以用这10种类型来为业务实体建模，Java的类型体系是非常有用的。

但是Java类型仍然存在“缺陷”， 同一个类的两个对象包含完全相同的属性，但是它们的内存寻址是不一样的。

所以从某种意义上说，他们有自己的身份标识。

但是对于原始类型就不一样了，如果一个int类型的变量值为7，另一个变量也为7，区分它们有意义吗？这个7还是那个7？显然是无意义的。

让我们再来举一个现实中的例子，两件相同尺寸、材质的红色衣服肯定是两件不同的衣服，但是它们的材质肯定是一种材质，颜色肯定是一种颜色，不会有傻子认为这是两种材质、两种颜色。这里面的尺寸可以通过Java中的原始类型去描述，但是材质和颜色不行（虽然颜色可以用十六进制表示），在这个场景里，尺寸、材质、颜色都应该被认为是一种原始属性，不应该具有标识，现在的Java显然不能直接满足这一点。

这个痛点促使了Valhalla项目的诞生。

三、对象头

为了理解Valhalla引入的 Value Class 概念能够给我们带来了什么，我们需要看看JVM是如何将对象保存在内存中的。

对象头对类的对象非常重要，决定哪个线程可以访问对象、垃圾收集器标记、对象hash；更重要的还有对象的类型指针，它能够在运行时动态访问对象的类，并从其类到该对象的详细信息，比如继承多态、反射。

但是凡事都有两面性，Java对象内存占用的大小取决于它所包含的信息的总和，对象头在 64 位系统上至少需要 16 个字节，在 32 位系统上至少需要 8 个字节（当然JVM可以通过配置项去设置如何保存对象头）。很多对象不需要多线程，也不需要什么对象标识，就像上面提到的衣服的颜色，只有颜色的值才是我们关心的事。这种冗余的内存占用让Java为人诟病。

四、Value Class

对于许多对象来说,它属性值的相等性是我们关心的，其它类信息没什么用，而且只为保存值和对这些值进行操作而编写的类在所有类中所占的比例非常大。Valhalla项目为这样的场景引入了一个新的类类型：Value Class。目前还只是JEP草案，但是已经初具形态：

value class Substring implements CharSequence {
   private String str;
   private int start;
   private int end;
   public Substring(String str, int start, int end) {
       checkBounds(start, end, str.length());
       this.str = str;
       this.start = start;
       this.end = end;
   }
   public int length() {
       return end - start;
   }
   public char charAt(int i) {
       checkBounds(0, i, length());
       return str.charAt(start + i);
   }
   public Substring subSequence(int s, int e) {
       checkBounds(s, e, length());
       return new Substring(str, start + s, start + e);
   }
   public String toString() {
       return str.substring(start, end);
   }
   private static void checkBounds(int start, int end, int length) {
       if (start < 0 || end < start || length < end)
           throw new IndexOutOfBoundsException();
   }
}

Value Class和我们常见的类差不多，但是它可能具有下面一些特性（这些依然在讨论中）：

• 值对象是没有身份的对象，通常情况下我们用==运算符检查身份，然而这里==可能和equals()不再有区别。

• 值类本身和它的所有字段默认都是final的。

• 该类不能直接或间接地实现java.lang.IdentityObject（有身份标识类的新超类）。这意味着超类要么是无状态抽象类，要么Object是无状态抽象类。

• 值类都是java.lang.ValueObject的隐式实现。

• 没有构造super函数调用构造函数。将在不执行任何超类初始化代码的情况下创建实例。

• 无法在值类中使用synchronized关键字。

• （可能）该类没有声明finalize()方法。

• （可能）构造函数不使用this来设置构造函数主体中的字段，或者可能在所有字段都明确内存分配之后。

其它的操作和普通的类应该差别不大，但是要注意的是，JDK标准库中的一些原有类如果被认定为Value Class需要做兼容性处理。

value要成为保留字还是关键字？

这不是全部：

Value Class对Java类对象头进行了 * ，有利于降低Java的内存消耗，但这仅仅是Valhalla计划的一小部分。对于这一部分过于超前的内容，胖哥写起来其实是很有困难的，构思了好几天。从场景出发来了解一门编程语言的特性设计是非常有利于从根本提高自己的。如果你想了解更多关于Valhalla的东西，可以关注我，我会继续分享相关的知识。

来源：https://juejin.cn/post/7054566697872654373