scala - 试图理解最小上限示例

Question

鉴于以下特征和 2 个子类:

scala> trait Parent
defined trait Parent

scala> case object Kid extends Parent
defined object Kid

scala> case object Child extends Parent
defined object Child

我创建了一个返回 Kid 的函数或 Child .但是推断的返回类型是 Product with Serializable with Parent .

scala> def f(x: Int) = if (true) Kid else Child
f: (x: Int)Product with Serializable with Parent

然后，我重新编写了相同的函数，只是我显式地注释了它的类型:

scala> def g(x: Int): Parent = if (true) Kid else Child
g: (x: Int)Parent

请解释 f的推断类型。

Answer 1

Case 对象总是继承自 Product和 Serializable (这是由编译器透明地完成的)。

此外这里还有Kid和 Child明确扩展 Parent
所以两者Kid和 Child是 Product with Serializable with Parent 的子类型.
因为它们没有更多的共同类型，所以这是它们的最小上限。