c++ - 提振 spirit ，为什么需要 as<> 指令？ (又名帮助我理解属性兼容性规则)

Question

此代码按预期编译和工作；像“{a;b}”这样的输入被解析并存储在自定义类中

#include <vector>
#include <string>
#include <iostream>
#include <boost/spirit/include/qi.hpp>

namespace t {
    using std::vector;
    using std::string;
    namespace qi = boost::spirit::qi;

    struct Block {
        Block() = default;
        Block(vector<string> const& s) : value(s) {}
        vector<string> value;
    };

    template <typename Iterator, typename Skipper=qi::space_type>
    struct G1 : qi::grammar<Iterator, Block(), Skipper> {

        template <typename T>
        using rule = qi::rule<Iterator, T, Skipper>;

        rule<Block()> start;
        G1() : G1::base_type(start, "G1") {
            start = qi::as<vector<string>>()[
                qi::lit('{')
                >> *(+(qi::char_ - ';') >> ';')
                >> '}'
            ];
        }
    };

    Block parse(string const input) {
        G1<string::const_iterator> g;
        Block result;
        phrase_parse(begin(input), end(input), g, qi::standard::space, result);
        return result;
    }
};

int main() {
    using namespace std;
    auto r = t::parse("{a;b;}");
    for (auto& s : r.value) {
        cout << s << endl;
    }
}

我不明白的是为什么需要 as<> 指令；从文档中我可以推断出，原始解析器的合成属性应该已经是一个字符串 vector 。

我读过 this article关于属性传播和属性兼容性，但我错过了大局；当(不)使用 as 指令时会发生什么？

Answer 1

否则

*(+(qi::char_ - ';') >> ';')

只会暴露一个 std::vector<char> (每个 kleene-+ 都会附加到同一个属性中)。根据经验，kleene-operators 总是直接推回引用的属性，这也意味着它期望该属性是容器类型(boost::spirit::traits::container_value<> 特征用于检测重复解析器表达式的属性应该转换什么到)。

在这种情况下，您可能会发现与 qi::as_string 的 fusion 适应更优雅: Live On Coliru

struct Block {
    vector<string> value;
};

BOOST_FUSION_ADAPT_STRUCT(t::Block,(std::vector<std::string>,value))
// ...

start = 
    qi::lit('{')
    >> *qi::as_string [ +(qi::char_ - ';') >> ';' ]
    >> '}'
;

有了这个，小心

• Spirit Qi attribute propagation issue with single-member struct (限制/错误)
• 另请参阅:Detecting the parameter types in a Spirit semantic action