当未明确给出返回类型时，为什么可以用返回字符串的方法覆盖返回单元的方法？

我正在阅读有关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

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

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

价值抛弃

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

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

当您未明确指定返回类型时，它是通过其工作所需的类型推断出来的override。

原来是Unit。

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