多catch块中重抛异常的合规性及变量类型差异疑问

这本质是Java编译器对多catch子句的异常参数和普通var变量的类型处理逻辑完全不同导致的，核心在于编译器对前者做了特殊的类型跟踪，而后者遵循常规类型推断规则。

1. 多catch异常参数e的特殊重抛逻辑 #

你引用的JLS 14.20关于多catch等价于单catch的描述，其实有个容易被忽略的关键细节：异常参数e在重抛时，编译器会保留它的联合类型分支信息，而不是直接使用lub后的统一类型。

也就是说，编译器清楚知道e的实际类型只能是Error或者RuntimeException——这两个都是未检查异常（Unchecked Exception），不需要在方法签名中声明抛出。所以throw e时，编译器会自动验证这一点，允许编译通过。

你之前写的等价代码并不准确，实际编译器处理多catch的重抛逻辑更接近：

try {
  System.out.println();
} catch (Error e) {
  throw e; // 抛出Error，未检查异常，无需声明
} catch (RuntimeException e) {
  throw e; // 抛出RuntimeException，未检查异常，无需声明
}

而不是把e当成Throwable来处理。

2. var a = e的常规类型推断 #

根据JLS 14.4.1，var变量的类型是初始化表达式在非赋值上下文下的擦除类型。这里e的声明类型是联合类型Error | RuntimeException，它的lub（最小上界）是Throwable，所以a的静态类型被推断为Throwable。

Throwable属于受检异常（Checked Exception），Java语法要求：如果方法中抛出受检异常，必须在方法签名中用throws声明。你的test()方法没有声明抛出Throwable，所以throw a会触发编译错误。

补充：JLS的相关细节 #

JLS 14.18.2（重抛异常的类型检查）中明确规定：当重抛的是多catch子句的异常参数时，编译器会将可抛出的异常限制为该联合类型的所有元素——也就是原本catch到的Error和RuntimeException，而不是它们的lub类型Throwable。这就是throw e合法的核心依据。

内容的提问来源于stack exchange，提问作者Javier