当未明确给出返回类型时，为什么可以用返回 String 的方法覆盖返回 Unit 的方法？

Question

我正在研究 Scala Edition1 https://www.artima.com/pins1ed/traits.html编程中的特征一章中的代码示例

由于我的错字，遇到了一个奇怪的行为。尽管覆盖方法的返回类型Unit与String. 但是在对象上调用该方法时，它返回 Unit 但不打印任何内容。

trait Philosophical {
    def philosophize = println("I consume memory, therefore I am!")
}

class Frog extends Philosophical {
  override def toString = "green"
  override def philosophize = "It aint easy to be " + toString + "!"
}

val frog = new Frog
//frog: Frog = green

frog.philosophize
// no message printed on console

val f = frog.philosophize
//f: Unit = ()

但是当我在重写的方法中给出显式返回类型时，它给出了一个编译错误：

class Frog extends Philosophical {
  override def toString = "green"
  override def philosophize: String = "It aint easy to be " + toString + "!"
}
         override def philosophize: String = "It aint easy to be " + toString +
                      ^
On line 3: error: incompatible type in overriding
       def philosophize: Unit (defined in trait Philosophical);
        found   : => String
        required: => Unit

任何人都可以帮助解释为什么在第一种情况下没有编译错误。

Answer 1

当预期类型为 时Unit，可以接受任何值：

价值丢弃

如果e具有某种值类型并且预期类型为Unit，e则通过将其嵌入项中将其转换为预期类型{ e; () }。

Answer 2

我的问题是为什么它在第一种情况下通过编译器

当您没有明确指定返回类型时，它是由它工作所需的类型推断出来的override。

原来是这样Unit。

由于String值（构成函数体的表达式的值）可以分配给Unit，编译器很高兴。