ทำไมเมธอดที่ส่งคืนยูนิตสามารถถูกแทนที่ด้วยเมธอดที่ส่งคืนสตริงเมื่อชนิดการส่งคืนไม่ได้รับอย่างชัดเจน?

ฉันกำลังทำงานผ่านตัวอย่างโค้ดจากบทเกี่ยวกับลักษณะในการเขียนโปรแกรมใน Scala Edition1 https://www.artima.com/pins1ed/traits.html

และเจอพฤติกรรมแปลก ๆ เพราะพิมพ์ผิดของฉัน ในขณะที่วิธีการลักษณะดังต่อไปนี้รหัสข้อมูลเท่านั้นเอาชนะไม่ได้ให้รวบรวมข้อผิดพลาดใด ๆ แม้ว่าประเภทการกลับมาของวิธีการที่แตกต่างกันแทนที่เป็นVSUnit Stringแต่เมื่อเรียกวิธีการบนวัตถุมันจะส่งคืนหน่วย แต่ไม่ได้พิมพ์อะไร

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; () }

คำถามของฉันคือทำไมมันถึงคอมไพเลอร์ในกรณีที่ 1

เมื่อคุณไม่ได้ระบุประเภทที่ส่งคืนอย่างชัดเจนมันถูกอนุมานด้วยประเภทที่ต้องมีเพื่อoverrideให้การทำงาน

Unitที่เปิดออกมาเป็น

เนื่องจากสามารถStringกำหนดค่า (ค่าของนิพจน์ที่ทำหน้าที่ของร่างกาย) Unitคอมไพเลอร์จึงมีความสุข