值类型是无身份的数据块,不参与GC、不可锁、字段强制final,支持方法调用和字段比对;JDK 21+预览特性,需--enable-preview启用,数组连续存储提升缓存命中率与性能。

值类型不是“新对象”,而是“无身份的数据块”
Java里所谓“值类型”,本质是告诉JVM:这个东西不需要身份、不能被锁、不参与GC追踪,只管把它当数据塞进内存里就行。它和int或double一样天然“扁平”,但又能带方法、有类型安全——不是语法糖,是内存模型的切换。
常见错误现象:Point p1 = new Point(1, 2); Point p2 = new Point(1, 2); p1 == p2 返回false(引用比较);而换成值类型后,p1 == p2 就变成字段逐层比对,自动返回true。
- 值类必须用
public value class声明,所有字段强制final - 不能
synchronized,不能wait/notify,不能被WeakReference持有 -
System.identityHashCode()不再唯一,相同字段值 → 相同哈希码 - 目前仅在JDK 21+ 的预览模式启用,需显式加启动参数:
--enable-preview --add-modules jdk.incubator.valhalla
为什么数组里放值类型能快一倍以上
传统Point[]实际是“指针数组”:每个元素存一个8字节地址,指向堆上散落的Point对象;而Point[](值类型版)是“数据数组”:x、y字段连续排布,CPU一次加载64字节能拿到8个点的全部坐标,缓存命中率飙升。
使用场景:粒子系统、图像像素处理、时间序列批量计算——任何需要遍历百万级小结构体的场合。
立即学习“Java免费学习笔记(深入)”;
- 对比测试显示:100万点的位移计算,值类型数组比引用对象数组快1.7–2.3倍,GC暂停减少95%+
- 注意:值类型数组仍用
new Point[1000000]语法,但背后分配的是连续原生内存,不是堆对象 - 别误以为“值类型数组 = 基本类型数组”,它支持方法调用(如
points[i].move(1, 0)),只是没有对象头开销
泛型特化让List<int></int>成为可能,但别急着全替换
以前List<integer></integer>每次add(42)都要装箱成对象,遍历再拆箱;Valhalla之后List<int></int>直接把整数塞进数组,零开销。
容易踩的坑:这不是简单的类型擦除增强,而是JVM为每种特化类型生成独立字节码,会增加类文件体积和类加载压力。
- 当前仅支持基本类型特化(
int、double等),不支持List<point></point>这种自定义值类型的泛型特化(JEP 430尚未落地) -
ArrayList<int></int>和ArrayList<integer></integer>是完全不同的运行时类型,不能互相转型 - 调试时IDE可能报“无法解析符号”,因为编译器和调试器对预览特性支持不一致,建议用
javac --enable-preview+java --enable-preview全程保持一致
现在就能试,但生产环境要盯紧三件事
Valhalla不是Java 21正式特性,仍是预览状态,API和语义可能微调。它真正落地至少要等到JDK 24或25,但你现在写实验代码完全没问题。
- 启动参数漏掉
--enable-preview会导致UnsupportedOperationException或编译失败,不是语法错误 - 值类不能继承普通类,也不能被普通类继承;但可以实现接口(只要接口方法不依赖
this身份) - 序列化支持有限:
java.io.Serializable可用,但Externalizable和自定义writeObject可能失效,因值类型默认无构造器反射入口
最易被忽略的一点:值类型不会改变Java的托管本质——你依然不能手动free内存,也不用担心栈溢出;它的优化全在JVM底层,对开发者是透明的,但前提是别绕过它的约束去“模拟引用行为”。









