Java中TypeKind.UNION的含义及注解处理器中的出现场景

TypeKind.UNION对应的是Java 7引入的异常联合捕获语法——这是Java中唯一存在"联合类型"的场景。虽然Java不支持通用的联合类型（比如不能声明int|String这类变量类型），但允许在单个catch子句中同时捕获多个互斥的异常类型，用|分隔，这种场景下的异常参数类型就对应UNION类型。

具体场景示例 #

当你处理包含多异常捕获的代码时，注解处理器会遇到TypeKind.UNION：

try {
    // 执行可能抛出IOException或SQLException的逻辑
} catch (IOException | SQLException e) {
    // 此处参数e的类型在注解处理器中会被识别为UnionType，TypeKind为UNION
}

注解处理中的识别时机 #

在注解处理流程中，当你解析CatchTree（语法树中的catch块节点）的参数类型时，如果该参数是多个异常类型的联合，就会拿到UnionType实例，其getKind()方法返回TypeKind.UNION。

这种联合类型仅存在于编译时的语法模型中，属于编译器提供的语法糖支持，编译后的字节码会将其拆分为等价的多个独立catch块，但在注解处理阶段可以直接读取到联合类型的完整结构。

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