Boost Qi使用函数编写规则

Question

我正试图为一种语言的多个子集定义一些Boost::spirit::qi解析器，并尽可能减少代码重复。为此，我创建了一些基本的规则构建函数。最初的解析器工作得很好，但是一旦我开始使用组合函数，我的解析器似乎就不再工作了。

一般语言的形式是：

A B: C

语言中有一些子集，其中< code>A 、< code>B或< code>C必须是特定的类型，例如< code>A是int，而< code>B和< code>C是floats。以下是我为该子语言使用的解析器:

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

非常简单：在Spirit（或任何基于Boost Proto和Boost Phoenix的EDSL）上使用＜code＞auto＜/code＞很可能是未定义的行为

现在，你通常可以用

• BOOST_SPIRIT_AUTO
• boost:：proto:：deep_copy
• 最新版本的Boost中提供的新功能（TODO添加链接）

在这种情况下，

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

修复它：住在科利鲁

> < li>

您可以将< code>qi::lazy[]与继承的属性一起使用。

在使用C和BOOST读取JSON文件时，我在＜code＞prop_key

您可以查看Spirit Repository中的关键字列表运算符。它旨在允许更轻松地构建语法，例如：

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

这可能与Nabialek技巧相结合。我会在SO上搜索答案以获取示例。（一个是语法平衡问题）

¹ 除了完全无状态的演员（埃里克·尼布勒对此）和表达式占位符。例如，参见

• 将解析器分配给自动变量
• 未定义的行为在提升：：精神：：qi：:p hrase_parse
• C 提升气递归规则构建
• 提升精神V2 qi与优化级别相关的bug

一些例子

• 在Boost勇气中定义使用子解析器参数化的解析器
• 从备选解析器表达式的可变参数列表生成勇气解析器表达式