lub(T1,... Tn)是什么意思? [英] What does lub(T1,... Tn) mean?
本文介绍了lub(T1,... Tn)是什么意思?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
以下引号来自
异常参数的声明类型,该异常参数表示其类型为
联合并带有替代项D1 | D2 | ... | Dn是 lub(D1,D2,...,Dn)。
什么是 lub(D1,... Dn)
在这里?
推荐答案
它代表最小上限,在§4.10.4。最小上限:
一组引用类型的最小上限或 lub是共享超类型比其他任何共享超类型都更具体(也就是说,没有其他共享超类型是最小上界的子类型)。
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).
这篇关于lub(T1,... Tn)是什么意思?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文