在非融合适应结构上提升 Spirit 语义动作

Question

如果我有一个简单的结构，比如：

struct huh { char xxx; };  

在不使用 Boost Fusion 适应结构的情况下，我想找到一个更简单的代理来操作 Spirit 规则的语义操作中的成员变量。现在这当然行不通了：

_val.xxx = _1

但我想比与 phoenix 绑定更更干净：

bind(&huh::xxx, _val) =  _1 

这是一个在 clang 和 g++ 上编译的简单图片的工作示例：

#define BOOST_SPIRIT_USE_PHOENIX_V3 1
#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/phoenix/bind/bind_member_variable.hpp>

struct huh { char xxx; };

int main() {
    namespace qi = boost::spirit::qi;
    namespace ascii = boost::spirit::ascii;
    namespace phx   = boost::phoenix;

    qi::rule<std::string::const_iterator, huh(), ascii::space_type> start;

    start =  qi::char_[
        phx::bind(&huh::xxx, qi::_val) =  qi::_1 
    ];

    return 0;
}

有什么想法吗？

Answer 1

使用 fusion 绑定正是使其“比使用 phoenix 绑定更更干净”的粘合剂。

所以，这就是你的解决方案。或者，考虑您的表达式模板，也许：

auto _xxx = phx::bind(&huh::xxx, _val);

所以你可以写：

start =  char_[ _xxx = _1 ];

或者，使用函数或自定义点：

• boost spirit semantic action parameters

自定义点

添加特征

namespace boost { namespace spirit { namespace traits {

    template <> struct assign_to_attribute_from_value<huh, char, void> {
        static void call(char c, huh& attr) { attr.xxx = c; }
    };

} } }

你现在可以简单地写

qi::rule<std::string::const_iterator, huh(), ascii::space_type> start;

start = qi::char_;

Live On Coliru

#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/spirit/include/qi.hpp>

struct huh { char xxx; };

namespace boost { namespace spirit { namespace traits {

    template <> struct assign_to_attribute_from_value<huh, char, void> {
        static void call(char c, huh& attr) { attr.xxx = c; }
    };

} } }

int main() {
    namespace qi    = boost::spirit::qi;
    namespace ascii = boost::spirit::ascii;

    qi::rule<std::string::const_iterator, huh(), ascii::space_type> start;

    start = qi::char_;
}