TypeKind.UNION在Java中代表什么？

Question

我正在实现一个注释处理器。我注意到存在一个名为

javax.lang.model.type.TypeKind

的

TypeKind.UNION

。这到底代表什么？在处理注释时如何遇到

TypeKind.Union

？因为据我所知，Java 中没有联合类型。

JavaDoc 没有帮助，因为它只说明了以下内容：

javax.lang.model.type.TypeKind.UNION

联合型。

自：

• 1.7

这并没有真正提供有关 UNION 类型本身的任何信息。 java中有通配符类型和相交类型，它们分别被

TypeKind.WILDCARD

和

TypeKind.INTERSECTION

覆盖，所以

TypeKind.UNION

不代表其中之一。

Answer 1

Union 类型出现在 catch 子句中；例如

catch (Exception | Error e) {
  ...
}