Java 25 - 生产力与运行时演进

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25

Java 25 于 2025 年 9 月 16 日 GA，包含 18 个 JEP，是继 Java 21 之后的 LTS 版本；自 25 起 Oracle 将 LTS 间距从 3 年缩短为 2 年，Java 25 获得 Oracle 至少 8 年 Premier 支持（至 2033 年）。它的主线是生产力与运行时的双线演进：语言层面定型了紧凑源文件、模块导入声明与灵活构造器主体，把"写一个可运行 Java 程序"的样板成本降到历史最低；API 层面补齐了作用域值与标准密钥派生函数接口；HotSpot 则交付了紧凑对象头、分代 Shenandoah、AOT 提前编译与 JFR 可观测性增强。

紧凑源文件与实例 main 方法

JEP 512（正式特性，历经 JEP 445、463、477、495 四轮预览后定稿）允许省略 class 声明与 public static void main(String[] args) 样板：未显式声明类的源文件会得到一个隐式声明的类，成员可保留实例语义，java.io.IO 按需自动导入，println、readln 等方法直接可用，新手与小脚本场景零门槛。

// Hello.java：完整可运行的 Java 程序
void main() {
  String name = readln("你的名字？");
  println("你好，" + name);
}

java Hello.java

main 方法还支持实例形式：非静态、参数可省略、字段是实例字段，程序状态直接落在对象上，适合教学与小工具。

public class Greeter {
  private final String name = "Java 25";

  // 实例 main：由 JVM 创建实例后调用
  void main() {
    IO.println("Hello, " + name + "!");
  }
}

旧的静态 main 签名完全兼容不受影响；简洁写法只影响新代码的表达方式。

模块导入声明

JEP 511（正式特性）新增 import module：一条语句导入目标模块导出的全部包。以 import module java.base; 为例，List、Map、Stream、Path 等常用类型无需再逐包导入；Java 21 及之前只能逐类或逐包导入，缺乏这种聚合能力。

import module java.base;

void main() {
  var langs = List.of("Java", "25");
  langs.forEach(l -> IO.println(l));
}

模块导入可与普通单类型导入、按需导入混用；当两个模块导出同名简单类型时，冲突仍需显式普通导入消歧。依赖第三方模块时同样适用，前提是该模块已在类路径或模块路径上。

灵活构造器主体

JEP 513（正式特性）允许在 super(...) 调用之前编写语句——此前"先校验参数、快速失败"只能放在 super 之后，或改用静态工厂绕开。提前语句的限制是不得访问未构造完成的实例：不能引用 this、实例字段或实例方法；但可以校验参数、读取静态成员、准备局部变量。

abstract class AbstractRange {
  protected final int low, high;

  AbstractRange(int low, int high) {
    this.low = low;
    this.high = high;
  }
}

public class Range extends AbstractRange {
  public Range(int low, int high) {
    if (low > high) {  // super 之前完成参数校验
      throw new IllegalArgumentException(
          "low > high: " + low + " > " + high);
    }
    super(low, high);  // 校验通过才委托父类构造
  }
}

价值在于"失败早于副作用"：父类构造器可能已做日志、注册等有副作用的工作，提前校验保证无效参数绝不触发它们。

作用域值

JEP 506（正式特性）定型了 ScopedValue：不可变、生命周期严格绑定语法作用域的上下文传递机制，目标是替代 ThreadLocal。值通过 ScopedValue.where(...).run(...) 绑定，仅在 run 的词法范围内可见，结束即自动清理，无需 remove，也不会泄漏到线程池中的下一个任务。

final ScopedValue<String> USER = ScopedValue.newInstance();

void main() {
  ScopedValue.where(USER, "alice").run(() -> service());
}

void service() {
  // 词法作用域内隐式获取，无需参数层层透传
  IO.println("current user: " + USER.get());
}

作用域内可以再次 where(...).run(...) 重绑定以临时遮蔽外层值。与虚拟线程、结构化并发配合时，作用域值会被 fork 出的子任务自动继承，且绑定开销远低于 ThreadLocal 的线程本地存储表——迁移建议：只读上下文用 ScopedValue，确需可变线程状态才保留 ThreadLocal。

密钥派生函数 API

JEP 510（正式特性）为密钥派生函数（KDF）提供标准 API：新类 javax.crypto.KDF 负责"实例化 + 派生"两步，随 API 附带 HKDF 实现（RFC 5869）。它补上了此前只能靠 SecretKeyFactory 勉强表达 KDF 或依赖厂商私有实现的缺口，也是 KEM（JEP 452）之后向 HPKE、后量子和混合加密演进的第二块拼图。

import module java.base;
import javax.crypto.KDF;
import javax.crypto.SecretKey;
import javax.crypto.spec.HKDFParameterSpec;

void main() throws Exception {
  KDF hkdf = KDF.getInstance("HKDF-SHA256");

  byte[] ikm = "input keying material".getBytes();
  byte[] salt = "per-deployment salt".getBytes();

  // extract + expand：派生 32 字节 AES 密钥
  var params = HKDFParameterSpec.ofExtract()
      .addIKM(ikm)
      .addSalt(salt)
      .thenExpand("aes-key".getBytes(), 32);

  SecretKey key = hkdf.deriveKey("AES", params);
  IO.println("derived key bytes: " + key.getEncoded().length);
}

deriveData(...) 变体返回裸字节数组，用于需要熵而非密钥对象的场景。PBKDF2 不在迁移范围内：它仍走既有的 SecretKeyFactory 通道。

预览与孵化特性

Java 25 仍有一批预览与孵化特性，API 形态未定稿，进入生产前必须评估后续版本的不兼容成本。命令行必须显式开启：

# 预览特性：编译与运行均需 --enable-preview
javac --enable-preview --source 25 Demo.java
java --enable-preview Demo

# 孵化模块：需显式添加
java --add-modules jdk.incubator.vector VectorDemo.java

• 原始类型模式（JEP 507，第三次预览）：instanceof 与 switch 支持原始类型模式，装箱值自动拆箱参与匹配，并可在不同数值类型间安全转换；Java 21 的模式匹配仅支持引用类型，基本类型需手动拆箱。

// 运行：java --enable-preview --source 25 Demo.java
String render(Object value) {
  return switch (value) {
    case int i when i > 0 -> "正整数: " + i;
    case long l -> "long: " + l;
    case double d -> "double: " + d;
    default -> "其他";
  };
}

• 稳定值（JEP 502，预览）：StableValue 延迟初始化且值不可变，JVM 可据此做常量折叠等优化，并可为 AOT 预计算；Java 21 时代的等价物是 volatile 字段加双重检查锁，既繁琐也无法被提前编译优化。

// 运行：java --enable-preview --source 25 App.java
final StableValue<Config> CONFIG = StableValue.of();

Config cfg() {
  // 仅首次调用执行加载，此后返回稳定值
  return CONFIG.computeIfUnset(() -> Config.load());
}

• 结构化并发（JEP 505，第五次预览）：StructuredTaskScope.open() 把并发子任务的生命周期约束在语法作用域内，任一失败即取消其余。相比 Java 21 的首次预览（ShutdownOnFailure 等旧 API），25 调整为更简洁的 open()/Subtask API。

// 运行：java --enable-preview --source 25 App.java
Response handle() throws Exception {
  try (var scope = StructuredTaskScope.open()) {
    var user = scope.fork(() -> findUser());
    var order = scope.fork(() -> fetchOrder());
    scope.join();
    return new Response(user.get(), order.get());
  }
}

• 加密对象 PEM 编码（JEP 470，预览）：为密钥、证书等 JCA 对象提供标准 PEM 文本编解码，与 OpenSSL 等生态直接互通；Java 21 需用 Base64.getMimeEncoder() 自行拼装 -----BEGIN ...----- 边界，缺乏官方 API。

// 运行：java --enable-preview --source 25 KeyPem.java
import module java.base;
import java.security.Encoders;

void main() throws Exception {
  var pair = KeyPairGenerator.getInstance("EC")
      .generateKeyPair();
  IO.println(Encoders.PEM.encode(pair.getPublic()));
}

• Vector API（JEP 508，第十次孵化）：jdk.incubator.vector 模块中的 SIMD 向量计算 API（Java 21 为第八次孵化），依赖 Valhalla 的值对象落地后才会转正，目前仅供评估性能收益。

HotSpot 运行时改进（HotSpot/JDK）

以下均为 HotSpot/JDK 实现层面的能力，不是 Java SE 语言或 API 保证，可用性取决于具体发行版与虚拟机选项。

• 紧凑对象头（JEP 519）：64 位平台上对象头由 12/16 字节压缩到 8 字节——标记字与类指针合并进单个 64 位字。对象密集型负载的堆占用显著下降（SPECjbb2015 实测堆省约 22%），大量小对象与虚拟线程栈尤其受益。非默认布局，需显式开启：

java -XX:+UseCompactObjectHeaders App

• 分代 Shenandoah（JEP 521）：JDK 24 以实验特性引入的分代模式在 Java 25 转正，按分代假设单独回收年轻代，改善吞吐与内存利用率，同时保持低停顿目标。非默认模式：

java -XX:+UseShenandoahGC -XX:ShenandoahGCMode=generational App

• AOT 提前编译（JEP 514、JEP 515）：项目 Leyden 的首批正式成果。JEP 514 支持在构建期进行方法级剖析并生成 AOT 缓存，启动时直接复用，免去运行期重复的热点剖析；JEP 515 提供一步生成缓存的命令行人机工程学（此前是 JEP 483 的训练、生成两步工作流），大幅缩短冷启动：

# 一步完成训练运行并生成 AOT 缓存
java -XX:AOTCacheOutput=app.aot -cp app.jar com.example.App

# 生产运行：类加载与链接直接命中缓存
java -XX:AOTCache=app.aot -cp app.jar com.example.App

• JFR 可观测性（JEP 509、518、520）：CPU 时间剖析（509，实验性）以线程 CPU 时间为度量，弥补挂钟时间采样的盲区；协作式采样（518，正式）由 JIT 在安全点之外插入采样点，降低采样偏差与观测开销；方法计时与追踪（520，实验性）提供方法级计时事件。

移除与弃用

• 移除 32 位 x86 移植（JEP 503）：windows-x86、linux-x86 等 32 位构建不再提供，资源集中到 64 位与 ARM/RISC-V 等主流平台；Java 21 仍提供该移植（已弱化）。依赖 32 位原生库的应用必须先行迁移。
• sun.misc.Unsafe 内存访问方法持续弃用：Java 24（JEP 471）正式开启弃用流程，25 继续收紧。堆外内存操作应迁移至 FFM API（MemorySegment/Arena，Java 22 起正式）。

常用特性总结

• 紧凑源文件：void main() { ... } + 自动导入的 IO，小工具与脚本零样板。
• 实例 main 方法：非静态入口，程序状态即实例字段。
• 模块导入声明：import module java.base; 一次导入整模块的导出包。
• 灵活构造器主体：super(...) 之前即可校验参数、快速失败。
• 作用域值：ScopedValue.where(...).run(...) 替代 ThreadLocal 的只读上下文传递。
• KDF API：KDF.getInstance("HKDF-SHA256") 标准化派生密钥。
• 预览/孵化：原始类型模式、稳定值、结构化并发、PEM 编码需 --enable-preview；Vector API 需 --add-modules jdk.incubator.vector。
• HotSpot/JDK：紧凑对象头、分代 Shenandoah、AOT 缓存改善内存占用与启动速度；JFR 剖析更精准。
• 移除/弃用：32 位 x86 移植已移除，Unsafe 内存方法向 FFM API 迁移。

迁移与兼容性

从 Java 21 升级到 Java 25 通常是低风险的：语言与 API 变化以新增为主，无破坏性语法变更，旧的静态 main 入口完全兼容。需要注意的点：模块导入与逐包导入可共存，同名冲突时以显式普通导入消歧；构造器提前语句禁止访问未构造实例，迁移校验逻辑时保持纯函数式写法，不碰 this 与实例成员；ScopedValue 不可变，依赖 ThreadLocal 可变写线程的存量代码需要重构而非平移。预览特性（原始类型模式、稳定值、结构化并发、PEM 编码）与孵化的 Vector API 仍在演进，生产采用前应接受 --enable-preview 的锁定成本并跟踪后续版本变化。紧凑对象头、分代 Shenandoah、AOT 缓存属于部署调优项，不应写入依赖 Java SE 规范的代码假设。此外，32 位 x86 不再提供，依赖其原生库需先迁移到 64 位；仍在使用 sun.misc.Unsafe 内存访问的代码应尽早切换到 FFM API。

参考资料

• Oracle Java SE Support Roadmap
• JDK 25 GA