Scala和Dotty的下限和上限类型

Question

Martin Odersky mentioned称他们在点子中引入了复合和交叉点类型。在他的幻灯片上，有两张图片分别代表了新旧系统上下限的差异。

这是旧的：

这是新的：

有人可以解释upper bound对T <: U的实际含义吗？为什么对于当前版本的scala无限大？例如，T >: U会有什么不同。

Answer 1

如果T <: U（即T是U的子类型或U是T的超类型），则U是< T和T的strong>上限是U的下限。

在Scala 2中

T with U <: T
T with U <: U
U with T <: T
U with T <: U

在Dotty中

T & U =:= U & T
T | U =:= U | T
T & U <: T
T & U <: U
T <: T | U
U <: T | U

如果T <: U则

T with U =:= T
T & U =:= T
T | U =:= U

如果T >: U，则U <: T，反之亦然

T with U =:= U
T & U =:= U
T | U =:= T

在Scala 2中，如果T和U来自不同的继承层次结构（或更确切地说，是子类型化层次结构），那么最好的说法就是

T <: Any
U <: Any

从这个意义上说，上限是无限的。