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中正式定义。 最小上限 ：

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