解析標識符，但在BOOST精神

Question

我有一個包含SPIRIT語法不包括保留字：

small %= char_("a-z"); 
large %= char_("A-Z"); 
digit %= char_("0-9"); 
symbol %= char_("!#$%&*+./<=>?@\\^|~:") | char_('-'); 
special %= char_("(),;[]`{}"); 
graphic %= small | large | symbol | digit | special | char_('"') | char_('\''); 

dashes %= lit("--")>>*lit("-"); 

varsym %= ((symbol-lit(':'))>>*symbol)-reservedop-dashes; 
reservedop %= string("..") | string(":") | string("::") | string("=") | string("\\") | string("|") | string("<-") | string("->") | string("@") | string("~") | string("=>"); 

精神並不需要一個單獨的詞法和語法分析器（見What are the Benefits of Using a Lexer?），我已經通過定義遵循這一做法前六條規則爲qi::rule<Iterator, char()>，後三條規則爲qi::rule<Iterator, std::string()>。請注意，這些規則因此沒有空白字符。

此外，請注意，我試圖解析的東西爲varsym，而不是reservedop。我只使用reservedop來排除varsym規則中的內容。

雖然在varsym中保留字的排除不起作用。 ==應該是有效的varsym，但忽略它，因爲它以=開頭，這是reservedop。

回答另一個問題時建議使用定義諸如

reservedop_ %= reservedop >> !symbol 

，然後東西。不過，我不確定這是否有效，而且它看起來不太優雅。

在BOOST精神中做到這一點的正確方法是什麼？

Answer 1

在我看來，你正在混淆lexing和解析階段。

他排除了varsym中的保留字不起作用。 ==應該是一個有效的varsym，但它被忽略，因爲它以= which是一個reservedop開頭。

多大意義的代碼顯示這種說法不化妝，因爲你永遠不告訴你如何使用規則：

rule1 = varsym | reservedop; // would parse "==" as varsym 
rule2 = reservedop | varsym; // would parse "==" as reservedop 

看

• 齊::圖， qi :: alpha，qi :: alnum，qi :: lower，qi :: upper等

  • http://www.boost.org/doc/libs/1_52_0/libs/spirit/doc/html/spirit/qi/reference/char/char_class.html

• 關鍵字和不同的解析器靈庫：

  • http://www.boost.org/doc/libs/1_52_0/libs/spirit/repository/doc/html/index.html

如果你想從「常規定義的標記工作EXPR寬恕請求作爲你的代碼似乎在暗示，看看使用精神與基於萊克斯 - 分詞器：

• http://www.boost.org/doc/libs/1_52_0/libs/spirit/doc/html/spirit/lex.html