具有可选值的解析器组合器^^

Question

我正在尝试修改Action中的DSL示例。

原来，这个代码是用来解析items ，然后account 。

  lazy val order: Parser[Order] = 
    items ~ account_spec ^^ {
      case i ~ a => Order(i, a)
    }

可以使用上面的解析器解析以下文本：

(100 IBM shares to buy at max 45) for account "A1234
------------- item -------------  ------ account ----

但是，我想在解析器中添加FOO和一个可选的not值：

  lazy val order: Parser[Order] = 
    items <~ "FOO" ~> ("not"?) ~ account_spec ^^ {
      case i ~ n ~ a => println(n); Order(i, a)
    }

FOO必须遵循account并且可选择not遵循account 。

例：

(100 IBM shares to buy at max 45) FOO not for account "A1234
---------- item ------------------ --- --- ------ account ----

但是，上面的代码给了我这个编译时错误：

[WARNING] ....\OrderDsl.scala:19: error: constructor cannot be instantiated to 
expected type;
[WARNING]  found   : ch8.trading.semantic.dsl.OrderDsl.~[a,b]
[WARNING]  required: ch8.trading.semantic.dsl.AST.Items
[WARNING]       case i ~ n ~ a => println(n); Order(i, a)
[WARNING]                  ^

如何修改case语句以支持解析可选的 “not”值？

Answer 1

a <~ "FOO" ~> b的意思是“忽略的解析器结果"FOO"和b ，并返回的结果a ”。

像这样重写你的方法：

lazy val order: Parser[Order] = 
  items ~ opt("FOO") ~ opt("not") ~ account_spec ^^ {
    case i ~ _ ~ n ~ a => println(n); Order(i, a)
  }

~>和<~常规助记符：您可以从开始到操作符或从操作符到结尾忽略，但不能忽略表达式的中间部分。