Question

此代码有效。这个问题是关于让它（看起来）更好。我已经看过有关utree s的文章，但我不确定这是最好的方法。

让我告诉你＆＃34;丑陋＆＃34;代码版本，使用construct<>

newcall =(nocaselit(L"new") > tyname)
            [_val = construct<common_node>(type_cmd_new,key_typename, construct<std::wstring>(_1))];

将规则声明为：

qi::rule<Iterator, common_node(), Skipper> newcall
qi::rule<Iterator, std::wstring()> tyname;

目标公共AST节点是：

struct common_node {
    template <typename X>
    common_node(node_type t, node_key k1, const X & m1)

第一个参数是节点类型，第二个参数是某种成员密钥，最后一个参数是作为模板参数给出的（后来存储在变体中）。

我们可以避开construct模板吗？

Answer 1

这是我always link到Boost Spirit: "Semantic actions are evil"?的经典案例：避免语义行为。

在这种情况下，我不知道你的AST到底是什么样的（什么是node_key，key_typename来自哪里等等）所以我真的不能给你看太多。

通常我会调整节点类型并声明具体节点类型的规则。如果这不起作用，我更喜欢phoenix::function<>包装器：

<强> Live On Coliru

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
namespace qi = boost::spirit::qi;

struct SomeComplicatedType {
    enum Type { None, NewCall };
    struct Key{};
    SomeComplicatedType(Type = {}, Key = {}, std::string n = "") : name(std::move(n)) { }

    std::string name;
};

static SomeComplicatedType::Key const s_default_key;

template <typename It>
struct Grammar : qi::grammar<It, SomeComplicatedType()>
{
    Grammar() : Grammar::base_type(start) {
        using namespace qi;
        start  = skip(space) [new_];
        tyname = raw[(alpha|'_') >> +(alnum|'_')];

        new_   = no_case["new"] > tyname [_val = make_new(_1)];

        BOOST_SPIRIT_DEBUG_NODES((start)(new_)(tyname))
    }
  private:
    qi::rule<It, SomeComplicatedType()> start;
    qi::rule<It, SomeComplicatedType(), qi::space_type> new_;
    qi::rule<It, std::string()> tyname;

    struct make_complicated_t {
        SomeComplicatedType::Type _type;

        SomeComplicatedType operator()(std::string const& s) const {
            return SomeComplicatedType{_type, s_default_key, s};
        }
    };
    boost::phoenix::function<make_complicated_t> make_new { make_complicated_t{SomeComplicatedType::NewCall } };
};

int main() {
    std::string const input = "new Sandwich";

    SomeComplicatedType result;
    if (parse(input.begin(), input.end(), Grammar<std::string::const_iterator>{}, result))
        std::cout << "Parsed: " << result.name << "\n";

}

打印

Parsed: Sandwich

避免在boost精神语义动作中构造模板

1 个答案: