为什么Scala中的格子?

CSn*_*erd 4 type-systems scala hierarchy

我听到有人说:

"Scala使用类型的格子而不是类型层次结构,这与Java不同".

我不太清楚格子的意义是什么,以及类型网格类型层次结构之间的主要区别是什么.

有人可以向我解释这个词吗?

nit*_*gar 8

它本质上意味着:Scala的类型层次结构是一个点阵,即它有一个"底部"和一个"顶部".

在此输入图像描述

从图像中可以看出,这里的顶部类型是Any底部Nothing.

  • 好照片.它真的是一个格子吗?我可以定义两个特征`A`和`B`和两个类`C扩展A与B`和'D扩展A与B`,这意味着没有唯一的最小上限. (2认同)