What does lub(T1,… Tn) mean?

自作多情 提交于 2019-12-23 17:06:13

问题


The following quote is from

JLS 14.20

The declared type of an exception parameter that denotes its type as a union with alternatives D1 | D2 | ... | Dn is lub(D1, D2, ..., Dn).

What is the lub(D1,...Dn) here?


回答1:


It stands for "Least Upper Bound" and is formally defined in §4.10.4. Least Upper Bound:

The least upper bound, or "lub", of a set of reference types is a shared supertype that is more specific than any other shared supertype (that is, no other shared supertype is a subtype of the least upper bound).




回答2:


It stands for least upper bound. See JLS 4.10.4.



来源:https://stackoverflow.com/questions/26193918/what-does-lubt1-tn-mean

标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!