scala - 隐式转换适用于符号但不适用于字符串

Question

我正在为一些基于正式语法的东西开发 DSL。我希望能够说出类似 'start produces "a"andThen 'b andThen "c" 的内容，其中符号和字符串代表语法的不同组成部分。我看到这样的代码有问题:

class ImplicitTest {

  trait GrammarPart
  case class Nonterminal(name: Symbol) extends GrammarPart
  case class Terminal(value: String) extends GrammarPart


  case class Wrapper(production: Seq[GrammarPart]) {
    def andThen(next: Wrapper) =
      Wrapper(production ++ next.production)
  }

  implicit def symbolToWrapper(symbol: scala.Symbol) =
    Wrapper(Seq(Nonterminal(symbol)))

  implicit def stringToWrapper(s: String) =
    Wrapper(Seq(Terminal(s)))
}

object StringGrammar extends ImplicitTest {
  "x" andThen "y" // this causes a compiler error: "value andThen is not a member of String"
}

object SymbolGrammar extends ImplicitTest {
  'x andThen "y" // this is fine
}

我的隐式转换似乎对符号工作正常，但是当我尝试将字符串隐式转换为 Wrapper 时，出现编译器错误:“value andThen is not a member of String” .为什么？

Answer 1

由于 Function 上定义的 andThen 方法，编译器变得困惑。这是一个最小的例子:

class Foo {
  def andThen(x: Foo) = ???
  implicit def string2foo(s: String): Foo = new Foo

  "foo" andThen "bar"
}

这无法编译并出现与您的示例相同的错误。尝试将 andThen 重命名为任何其他名称(例如 andThen2)并查看是否可以编译以说服自己这就是问题所在。

这是正在发生的事情。编译器知道如何通过现有的隐式将 String 转换为 Int => Char:

val f: Int => Char = "foobar"
val g = "foobar" andThen { c => s"character is '$c'" }
g(4) //"character is 'b'"

由于 Function 已经有一个 andThen 方法，这会导致编译器出错。当然，一个完美的编译器可以在这里选择正确的转换，也许它应该根据规范(我没有仔细研究)。但是，您也可以通过提示来帮助它。在您的示例中，您可以尝试:

object StringGrammar extends ImplicitTest {
  ("x" : Wrapper) andThen "y"
}

您也可以只使用不同的方法名称。

验证这是错误的另一种方法是排除隐式 wrapString，它将 String 转换为 WrappedString ，它实现了 PartialFunction，从而暴露了导致冲突的有问题的 andThen 方法:

//unimport wrapString but import all other Predefs, in order to isolate the problem
import Predef.{wrapString => _, _} 
class Foo {
  def andThen(x: Foo) = ???
  implicit def string2foo(s: String): Foo = new Foo

  "foo" andThen "bar"
}

请注意，此技术在 REPL 中不起作用:Predef 取消导入必须在文件中并且是第一次导入。但是上面的代码用 scalac 编译，例如。

当隐含函数没有按预期工作时，有时查看 Predef 中的隐含函数会很有用。对于冲突。