Tại sao một đơn vị trả về phương thức có thể được ghi đè bằng chuỗi trả về phương thức khi các kiểu trả về không được cung cấp rõ ràng?

Tôi đã làm việc thông qua các ví dụ mã từ chương về Đặc điểm lập trình trong Scala Edition1 https://www.artima.com/pin1ed/traits.html

và bắt gặp một hành vi kỳ lạ vì lỗi đánh máy của tôi. Mặc dù phương thức ghi đè của một đặc điểm bên dưới đoạn mã không đưa ra bất kỳ lỗi biên dịch nào mặc dù các kiểu trả về của phương thức được ghi đè là khác Unitso với String. Nhưng khi gọi phương thức trên một đối tượng, nó trả về Đơn vị nhưng không in bất cứ thứ gì.

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 = ()

Nhưng khi tôi đưa ra kiểu trả về rõ ràng trong phương thức bị ghi đè, nó sẽ báo lỗi biên dịch:

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

Bất cứ ai có thể giúp giải thích tại sao không có lỗi biên dịch trong trường hợp đầu tiên.

Khi loại dự kiến ​​là Unit, mọi giá trị có thể được chấp nhận :

Loại bỏ giá trị

Nếu ecó một số loại giá trị và loại dự kiến ​​là Unit, eđược chuyển đổi thành loại dự kiến ​​bằng cách nhúng nó trong thuật ngữ { e; () }.

Câu hỏi của tôi là tại sao nó có được thông qua trình biên dịch trong trường hợp đầu tiên

Khi bạn không chỉ định loại trả về một cách rõ ràng, nó được suy ra theo loại mà nó cần phải có overrideđể hoạt động.

Điều đó hóa ra là Unit.

Vì Stringcác giá trị (giá trị của biểu thức tạo nên thân hàm) có thể được gán cho Unit, trình biên dịch rất vui.