為什么Scala和sbt可以編譯此代碼？

Question

Scala工作表示例

case class Test(name: String)

case class TestMapped(name: String,
                      otherProperty: String)

protected implicit def toTestMapped(test: Test): TestMapped = {
  TestMapped(name = test.name,
             otherProperty = test.otherProperty)
}

val test = Test(name = "bug")
val testMapped = toTestMapped(test)

如果Test類中不存在“ otherProperty”，為什么Scala和sbt可以編譯此代碼？ 這段代碼以嚴重的運行時錯誤結束：java.lang.StackOverflowError

但是，如果刪除toTestMapped方法的“隱式”或通過其他名稱更改“ otherProperty”，則此代碼不會編譯。

我正在使用Scala 2.12.4。

Answer 1

首先，通過定義implicit def toTestMapped您創建了從Test到TestMapped的隱式轉換。

其次，在test.otherProperty 。 由於test是Test對象，並且沒有otherProperty ，因此scala將在范圍內查找隱式轉換，並找到將進行類型toTestMapped 。 現在可以將test.otherProperty視為toTestMapped(test).otherProperty ，其中toTestMapped（test）將無限期地調用自身，最終您會遇到stackoverflow異常。

現在，如果刪除了隱式，則test.otherProperty將不會編譯，因為Test對象沒有val或def otherProperty並且編譯器找不到任何隱式轉換。 同樣，如果您在任一位置重命名otherProperty ，編譯器將無法找到該名稱。 但是，如果替換所有出現的otherProperty則會導致相同的問題