假设我有一个结构体，我想用灵气解析成，它的定义如下：

struct data_
{
    bool export;
    std::wstring name;

    data_() : export(false) {}
};

另外，假设该结构已适应融合，如下所示：

BOOST_FUSION_ADAPT_STRUCT(
    data_,
    (bool, export)
    (std::wstring, name)
)

相关规则是：

qi::rule<Iterator, data_(), skipper<Iterator> > rule_data;

rule_data = -lexeme["SpecialText" >> !(alnum | '_')] [ boost::phoenix::at_c<0> = true ] // If this string is found, , set "export" to true
            > lexeme["Name" >> !(alnum | '_')] // this is supposed to go into the "name" member

到目前为止，编译得很好。然而，“名字”现在还是空的！

所以本质上，我问：鉴于“SpecialText”在“Name”之前，我如何正确合成“export”的布尔属性，而不是字符串？

EDIT在我对此绞尽脑汁之后，我随机偶然发现了“matches[]”解析器，它似乎可以满足我的要求。

尽管如此，问题仍然以一般形式存在，例如，如果我想返回某个字符串或其他数据类型而不是布尔值。 本质上，如何通过语义操作设置结构体属性的特定成员。

如何设置结构体成员。

选项1 （phx::bind)

给定一个结构体S

struct S
{
    int         field1;
    std::string field2;
    int         target_field;
    bool        field3;
};

您可以分配给一个字段（例如target_field）像这样：

rule<It, S()> p = int_ [ phx::bind(&S::target_field, _val) = _1 ];

现在，您可以使bind更具可读性，通过执行以下操作：

auto target_field_ = phx::bind(&S::target_field, _val);

p = int_ [ target_field_ = _1 ];

概念证明：住在科利鲁 http://coliru.stacked-crooked.com/a/26e44f9449145141

#include "boost/spirit/include/qi.hpp"
#include "boost/spirit/include/phoenix.hpp"

namespace qi  = boost::spirit::qi;
namespace phx = boost::phoenix;
typedef std::string::const_iterator It;

struct S
{
    int         field1;
    std::string field2;
    int         target_field;
    bool        field3;
};

int main()
{
    const std::string input("42");
    It f(begin(input)), l(end(input));

    S instance;

    using namespace qi;
    rule<It, S()> p = int_ [ phx::bind(&S::target_field, _val) = _1 ];

    // or, alternatively:
    auto target_field_ = phx::bind(&S::target_field, _val);
    p = int_ [ target_field_ = _1 ];

    if (parse(f, l, p, instance))
        std::cout << "Parsed: " << instance.target_field;
}

选项 2（融合序列）

您可以使用以下方法将结构视为融合序列适应:

#include "boost/fusion/adapted/struct.hpp"

BOOST_FUSION_ADAPT_STRUCT(S, (int, field1)(std::string, field2)(int, target_field)(bool, field3))

现在你可以使用凤凰了lazy在语义动作中对这些序列起作用：

rule<It, S()> p = int_ [ phx::at_c<2>(_val) = _1 ];

我不喜欢这种风格（因为它将一个富有表现力的结构“降级”为……某种元组），但它可能会派上用场。住在科利鲁 http://coliru.stacked-crooked.com/a/eaa27e9cb23e0136