lub（T1，... Tn）是什么意思？

Question

以下引用来自

JLS 14.20

  

声明的异常参数类型，表示其类型为   联合替代D1 | D2 | ...... | Dn是 lub（D1，D2，...，Dn）。

这里的lub(D1,...Dn)是什么？

Answer 1

代表最低上限。请参阅JLS 4.10.4。

Answer 2

它代表“最小上限”并在§4.10.4. Least Upper Bound中正式定义：

  

一组引用类型的最小上限或“lub”是一个共享超类型，它比任何其他共享超类型更具体（也就是说，没有其他共享超类型是最小上限的子类型）。