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不是String的成员”。为什么呢？

Answer 1

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

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

  "foo" andThen "bar"
}

无法使用与示例相同的错误进行编译。尝试将andThen重命名为其他任何内容（例如andThen2）并查看此编译是为了说服自己这是问题所在。

这里发生了什么。编译器知道如何通过现有的implicits将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 {1}}导致冲突的方法：

//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编译。

当implicits没有按预期工作时，查看Predef中有关冲突的含义有时会很有用。

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

1 个答案: