以下引用来自
JLS 14.20
异常参数的声明类型,将其类型表示为
与替代品D1的联合| D2 | ... | Dn是lub(D1,D2,...,Dn)。
这里的lub(D1,...Dn)
是什么?
最佳答案
它代表“最小上限”,并在§4.10.4. Least Upper Bound中正式定义:
一组引用类型的最小上限或“lub”是一个共享超类,它比任何其他共享超类更具体(也就是说,没有其他共享超类是最小上限的子类型)。
以下引用来自
JLS 14.20
异常参数的声明类型,将其类型表示为
与替代品D1的联合| D2 | ... | Dn是lub(D1,D2,...,Dn)。
这里的lub(D1,...Dn)
是什么?
最佳答案
它代表“最小上限”,并在§4.10.4. Least Upper Bound中正式定义:
一组引用类型的最小上限或“lub”是一个共享超类,它比任何其他共享超类更具体(也就是说,没有其他共享超类是最小上限的子类型)。