gpt4 book ai didi

c++ - 使用语义操作解析以逗号分隔的范围和数字列表

转载 作者:塔克拉玛干 更新时间:2023-11-03 00:38:30 25 4
gpt4 key购买 nike

使用 Boost.Spirit X3 , 我想将逗号分隔的范围列表和单个数字(例如 1-4、6、7、9-12)解析为单个 std::vector<int> .这是我想出的:

namespace ast {
struct range
{
int first_, last_;
};

using expr = std::vector<int>;
}

namespace parser {
template<typename T>
auto as_rule = [](auto p) { return x3::rule<struct _, T>{} = x3::as_parser(p); };

auto const push = [](auto& ctx) {
x3::_val(ctx).push_back(x3::_attr(ctx));
};

auto const expand = [](auto& ctx) {
for (auto i = x3::_attr(ctx).first_; i <= x3::_attr(ctx).last_; ++i)
x3::_val(ctx).push_back(i);
};

auto const number = x3::uint_;
auto const range = as_rule<ast::range> (number >> '-' >> number );
auto const expr = as_rule<ast::expr> ( -(range [expand] | number [push] ) % ',' );
}

给定输入

    "1,2,3,4,6,7,9,10,11,12",   // individually enumerated
"1-4,6-7,9-12", // short-hand: using three ranges

这被成功解析为( Live On Coliru ):

OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 
OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,

问题:我想我理解应用语义操作 expandrange部分是必要的,但为什么我还必须应用语义操作 pushnumber部分?没有它(即使用 ( -(range [expand] | number) % ',') 的普通 expr 规则,单个数字不会传播到 AST( Live On Coliru )):

OK! Parsed: 
OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,

奖励问题:我什至需要语义 Action 来做到这一点吗? Spirit X3 文档似乎让他们望而却步。

最佳答案

这个语义 Action 抑制自动属性传播的常见问题解答。假设是语义操作将代之以处理它。

一般有两种做法:

  • 要么使用 operator%=而不是 operator=将定义分配给规则

  • 或使用 rule<> 的第三个(可选)模板参数模板,可以指定为 true强制自动传播语义。


简化示例

在这里,我主要通过删除范围规则本身内的语义操作来简化。现在,我们可以删除 ast::range完全键入。不再需要 fusion 适应。

相反,我们使用 numer>>'-'>>number 的“自然”合成属性这是一个整数的 fusion 序列(在本例中为 fusion::deque<int, int>)。

现在,要让它工作,剩下的就是确保 | 的分支产生兼容的类型。一个简单的repeat(1)[]解决这个问题。

Live On Coliru

#include <boost/spirit/home/x3.hpp>
#include <iostream>

namespace x3 = boost::spirit::x3;

namespace ast {
using expr = std::vector<int>;

struct printer {
std::ostream& out;

auto operator()(expr const& e) const {
std::copy(std::begin(e), std::end(e), std::ostream_iterator<expr::value_type>(out, ", "));;
}
};
}

namespace parser {
auto const expand = [](auto& ctx) {
using boost::fusion::at_c;

for (auto i = at_c<0>(_attr(ctx)); i <= at_c<1>(_attr(ctx)); ++i)
x3::_val(ctx).push_back(i);
};

auto const number = x3::uint_;
auto const range = x3::rule<struct _r, ast::expr> {} = (number >> '-' >> number) [expand];
auto const expr = x3::rule<struct _e, ast::expr> {} = -(range | x3::repeat(1)[number] ) % ',';
}

template<class Phrase, class Grammar, class Skipper, class AST, class Printer>
auto test(Phrase const& phrase, Grammar const& grammar, Skipper const& skipper, AST& data, Printer const& print)
{
auto first = phrase.begin();
auto last = phrase.end();
auto& out = print.out;

auto const ok = phrase_parse(first, last, grammar, skipper, data);
if (ok) {
out << "OK! Parsed: "; print(data); out << "\n";
} else {
out << "Parse failed:\n";
out << "\t on input: " << phrase << "\n";
}
if (first != last)
out << "\t Remaining unparsed: '" << std::string(first, last) << '\n';
}

int main() {
std::string numeric_tests[] =
{
"1,2,3,4,6,7,9,10,11,12", // individually enumerated
"1-4,6-7,9-12", // short-hand: using three ranges
};

for (auto const& t : numeric_tests) {
ast::expr numeric_data;
test(t, parser::expr, x3::space, numeric_data, ast::printer{std::cout});
}
}

打印:

OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 
OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,

关于c++ - 使用语义操作解析以逗号分隔的范围和数字列表,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34599506/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com