Question

当我在以下规则中删除x3 :: eps时，第一次部分匹配的字符串结果仍然在第二次匹配中，从而产生一个包含重复内容的字符串。

如果我在中间添加另一个案例，我仍然只能获得1个副本而不是2个。

为什么我需要使用x3 :: eps，或者，在评估规则和合成属性时我有什么误解？
我应该使用lookahead吗？

#include <boost/config/warning_disable.hpp>
#include <boost/spirit/home/x3.hpp>
#include <boost/spirit/include/qi_char_class.hpp>
#include <boost/fusion/include/adapt_struct.hpp>

#include <iostream>
#include <string>
#include <vector>

namespace x3 = boost::spirit::x3;
namespace ascii = x3::ascii;

struct AstChannel {
    std::string label;
    bool complement;
};

x3::rule<class AstLabel, std::string> const astLabel = "astLabel";
auto const astLabel_def = ascii::lower >> *(ascii::alnum);
BOOST_SPIRIT_DEFINE(astLabel)

x3::rule<class AstChannel, AstChannel> const astChannel = "astChannel";
auto const astChannel_def = astLabel >> '!' >> x3::attr(true)
                          | astLabel >> x3::eps >> x3::attr(false) ;
BOOST_SPIRIT_DEFINE(astChannel) 

BOOST_FUSION_ADAPT_STRUCT(
    AstChannel,
    (std::string, label)
    (bool, complement)
)

int main() {
    std::string str("hello");
    auto iter = str.begin();
    auto end = str.end();
    AstChannel channel;
    bool r = phrase_parse(iter, end, astChannel, ascii::space, channel);
    if (r) {
        std::cout << channel.label << ',' << channel.complement << std::endl;
    }
    return 0;
}

Answer 1

真正的答案是：强制容器属性的原子属性传播（例如使用x3::hold或语义操作）。

更好的答案是：使用x3::matches：

<强> Live On Coliru

#include <boost/spirit/home/x3.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include <iostream>
using namespace std::string_literals;

struct AstChannel {
    std::string label;
    bool complement;
};

BOOST_FUSION_ADAPT_STRUCT(AstChannel, label, complement)

namespace Grammar {
    namespace x3 = boost::spirit::x3;
    namespace ascii = x3::ascii;

    auto const label   = x3::rule<struct labelRule, std::string> {"label" }
                       = x3::lexeme[ascii::lower >> *(ascii::alnum)];

    auto const channel = label >> x3::matches['!'];

    auto const entry   = x3::skip(ascii::space) [ channel ];
}

int main() {
    auto const str = "hello"s;

    AstChannel channel;
    if (parse(str.begin(), str.end(), Grammar::entry, channel)) {
        std::cout << channel.label << ',' << std::boolalpha << channel.complement << "\n";
    }
}

打印

hello,false

替代

1 个答案: