Boost Qi 使用函数编写规则

Question

我正在尝试为一种语言的多个子集定义一些 Boost::spirit::qi 解析器，代码重复最少。为此，我创建了一些基本的规则构建函数。原来的解析器工作正常，但一旦我开始使用组合函数，我的解析器似乎就不再工作了。

通用语言的形式为：

A B: C

有些语言的子集 A、B 或 C 必须是特定类型，例如 A 是 int 而 B 和 C 是浮点数。这是我用于该子语言的解析器：

using entry = boost::tuple<int, float, float>;

template <typename Iterator>
struct sublang : grammar<Iterator, entry(), ascii::space_type>
{
   sublang() : sublang::base_type(start)
   {
       start = int_ >> float_ >> ':' >> float_;
   }
   rule<Iterator, entry(), ascii::space_type> start;
};

但是由于有很多子集，我尝试创建一个函数来构建我的解析器规则：

template<typename AttrName, typename Value>
auto attribute(AttrName attrName, Value value)
{
    return attrName >> ':' >> value;
}

这样我就可以更轻松地为每个子集构建解析器而无需重复信息：

// in sublang
start = int_ >> attribute(float_, float_);

然而，这失败了，我不确定为什么。在我的 clang 测试中，解析失败了。在 g++ 中，程序似乎崩溃了。

完整的示例代码如下：http://coliru.stacked-crooked.com/a/8636f19b2e9bff8d

当前代码有什么问题？解决这个问题的正确方法是什么？我想避免在每个子语言解析器中指定属性和其他元素的语法。

Answer 1

很简单：将 auto 与 Spirit（或任何基于 Boost Proto 和 Boost Phoenix 的 EDSL）一起使用很可能是未定义的行为¹

现在，您通常可以使用

解决这个问题

BOOST_SPIRIT_AUTO
boost::proto::deep_copy
最新版本的 Boost 中的新功能（TODO 添加 link）

在这种情况下，

template<typename AttrName, typename Value>
auto attribute(AttrName attrName, Value value) {
    return boost::proto::deep_copy(attrName >> ':' >> value);
}

修复它：Live On Coliru

或者

您可以使用具有继承属性的 qi::lazy[]。

我在中的 prop_key 规则中做了非常相似的事情。

你可以看看精神宝库中的Keyword List Operator。它旨在允许更轻松地构建语法，例如：

no_constraint_person_rule %=
    kwd("name")['=' > parse_string ]
  / kwd("age")   ['=' > int_]
  / kwd("size")   ['=' > double_ > 'm']
  ;

您可以将其与 Nabialek Trick. I'd search the answers on SO for examples. (One is Grammar balancing issue)

¹ 除了完全无状态的参与者 (Eric Niebler on this) 和表达式占位符。参见示例

Assigning parsers to auto variables
undefined behaviour somewhere in boost::spirit::qi::phrase_parse
C++ Boost qi recursive rule construction
boost spirit V2 qi bug associated with optimization level

一些例子

Define parsers parameterized with sub-parsers in Boost Spirit
Generating Spirit parser expressions from a variadic list of alternative parser expressions

Boost Qi 使用函数编写规则

Boost Qi Composing rules using Functions

c++

boost

boost-spirit

boost-spirit-qi

或者