以下引用来自
JLS 14.20

异常参数的声明类型,将其类型表示为
与替代品D1的联合| D2 | ... | Dn是lub(D1,D2,...,Dn)。

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

最佳答案

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

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

08-05 03:04