Java异常处理机制：Error与Exception（基于 JDK 21+ 及演进历程）

✅ 核心速览：

异常类层次结构自 JDK 1.0 起保持稳定，演进主要集中在 语法糖、底层诊断 API、并发模型适配 三个方向。

1、基本定义

所有异常与错误的根类是 java.lang.Throwable，它仅有两个直接子类：

java.lang.Throwable
 ├── java.lang.Error          ← 系统级严重错误
 └── java.lang.Exception      ← 程序可处理的异常
      ├── java.lang.RuntimeException  ← 非检查异常（Unchecked）
      └── (其他 Exception)            ← 检查异常（Checked）

💡 经典易混淆点：ClassNotFoundException 是 Checked Exception（反射时类不存在）；而 NoClassDefFoundError 是 Error（编译时存在，运行时类加载失败，属于链接错误）。

2、Error 详解

2.1、常见子类

2.2、处理原则

• 不要捕获 Error 做业务重试：JVM 状态已不可信，继续运行可能导致数据损坏。
• 全局兜底：可通过 Thread.setDefaultUncaughtExceptionHandler() 记录日志、触发告警、优雅关闭进程。
• 监控集成：现代 APM 框架（如 Arthas、SkyWalking）通过 StackWalker 或 JVMTI 拦截 Error，而非业务代码 catch。

3、Exception 详解

3.1、Checked vs Unchecked

Checked Exception 机制保留但不鼓励新增。JDK 自身也在逐步用 Unchecked 替代历史 Checked 异常（如 java.util.zip 部分 API）。

3.2、常见 RuntimeException 子类

• NullPointerException / IllegalArgumentException / IllegalStateException
• IndexOutOfBoundsException / ArithmeticException
• ConcurrentModificationException / UnsupportedOperationException

3.3、自定义异常规范

// ✅ 推荐：继承 RuntimeException，提供完整构造链
public class BusinessException extends RuntimeException {
    public BusinessException(String message) { super(message); }
    public BusinessException(String message, Throwable cause) { super(message, cause); }
    // 可附加业务码、上下文等字段
}

4、JDK 21+ 的关键改进

4.1、精准 NPE 消息（JDK 15+ 默认）

// 传统：NullPointerException
// JDK 21：NullPointerException: Cannot invoke "String.trim()" because "user.getName()" is null

• 实现原理：JVM 在字节码插入空值检查点，异常时携带精确路径。
• 性能影响：< 1%，生产环境强烈推荐保持开启。

4.2、StackWalker 替代传统栈遍历

// ❌ 旧方式（已不推荐）
Thread.currentThread().getStackTrace();

// ✅ JDK 9+ 推荐
StackWalker walker = StackWalker.getInstance(StackWalker.Option.RETAIN_CLASS_REFERENCE);
walker.forEach(frame -> System.out.println(frame.getClassName() + "." + frame.getMethodName()));

• 优势：按需计算、支持过滤、无 SecurityManager 依赖、虚拟线程友好。
• 适用场景：APM、日志框架、权限校验、自定义异常上下文注入。

4.3、虚拟线程的异常传播

• 虚拟线程未捕获异常不会杀死载体平台线程，而是交由 UncaughtExceptionHandler。
• 结构化并发（StructuredTaskScope，JDK 21 预览→JDK 23 标准）提供 join() 时聚合子任务异常的能力，替代传统 Future.get() 的阻塞异常处理。

4.4、模式匹配简化异常负载解析

// JDK 21+ switch 模式匹配
switch (ex) {
    case BusinessException(String msg, int code) -> log.warn("Biz error: {} [{}]", msg, code);
    case RuntimeException r -> log.error("Runtime error", r);
    default -> log.error("Unknown", ex);
}

• 注：异常类本身仍不推荐直接解构，但配合 record 异常负载时非常优雅。

5、异常处理最佳实践