scala - 到 StringOps 的隐式转换未在隐式 val 函数体内应用

Question

在下面的代码片段中(使用 scala 2.10.3)TestClass1 没有编译错误“value toInt is not a member of String”但是 TestClass2 编译良好:

trait TestTrait {
  implicit def test: (String => Int)
}

object TestClass1 extends TestTrait {
  implicit val test = (value: String) => value.toInt
}

object TestClass2 extends TestTrait {
  implicit def test = (value: String) => value.toInt
}

通过 augmentString() 的 StringOps 隐式转换，它提供了 toInt 功能，在 TestClass1 但在 TestClass2 中应用良好。谁能告诉我为什么会这样，以及如何让 test 保持 val 而不是 def？

Answer 1

我认为这是在需要推断返回类型时隐式定义的限制。您处于与定义递归方法有些相似的情况。也就是说，“开放”的隐式定义在其主体中触发隐式查找，理论上可以递归。 (至少这是我对此限制的解释)。

您可以注释类型:

object TestClass1 extends TestTrait {
  implicit val test: String => Int = value => value.toInt  // or _.toInt
}

或者删除implicit关键字——因为它是从TestTrait实现隐式方法，你不需要重新声明implicit关键词:

object TestClass1 extends TestTrait {
  val test = (value: String) => value.toInt
}