我试图定义一个解析器,其中规则没有完全预先定义,即它们包含一个可变部分。这与Spirit Qi没有问题,但由于X3的静态特性,我无法实现它。我尝试了 with directive ,遗憾的是没有记录,但到目前为止没有运气。到目前为止,我发现的唯一例子是lambda表达式。
我构建了一个简单的例子来演示这个问题:解析分隔符作为参数给出的整数。
#include <boost/spirit/home/x3.hpp>
#include <iostream>
namespace x3 = boost::spirit::x3;
namespace parsing {
x3::rule<struct parser> parser {"parser"};
//struct separator {};
char separator(',');
//auto parser_def = x3::int_ % x3::lit(x3::get<separator>(/* context */)); // candidate function template not viable: requires single argument 'context'
auto parser_def = x3::int_ % x3::lit(separator);
BOOST_SPIRIT_DEFINE(parser)
}
void parse(const std::string &data, const char separator) {
using namespace std;
//auto parser = x3::with<parsing::separator>(ref(separator)) [parsing::parser] >> x3::eoi;
auto parser = parsing::parser >> x3::eoi;
if (x3::parse(data.begin(), data.end(), parser))
cout << "Parse succeeded\n";
else
cout << "Parse failed\n";
}
int main() {
parse("1 2 3", ' ');
parse("1,2,3", ',');
parse("1;2;3", ';');
}
我注释掉了我尝试使用 with directive 的部分。
目前X3可以使用吗?有人曾经这样做过吗?
答案 0 :(得分:1)
在看了一些更多的X3帖子之后,我对这个答案感到开明:https://stackoverflow.com/a/38303379/7110782
了解x3 :: _ pass让我得到了这个解决方案:
#include <boost/spirit/home/x3.hpp>
#include <iostream>
namespace x3 = boost::spirit::x3;
namespace parsing {
x3::rule<struct parser> parser {"parser"};
struct separator {};
// only the separator which is currently in the context is allowed (passes)
auto isSeparator = [](auto& ctx){ x3::_pass(ctx) = x3::_attr(ctx) == x3::get<separator>(ctx); };
// at first match any char and then check whether it is the separator
auto parser_def = x3::int_ % x3::char_[isSeparator];
BOOST_SPIRIT_DEFINE(parser)
}
void parse(const std::string &data, const char separator) {
using namespace std;
auto parser = x3::with<parsing::separator>(ref(separator)) [parsing::parser] >> x3::eoi;
if (x3::parse(data.begin(), data.end(), parser))
cout << "Parse succeeded\n";
else
cout << "Parse failed\n";
}
int main() {
// succeed
parse("1 2 3", ' ');
parse("1,2,3", ',');
parse("1;2;3", ';');
// fail
parse("1,2,3", ' ');
parse("1;2;3", ',');
}
在接下来的步骤中还有待测试的是设置多个参数的可能性(可能通过级联x3 :: with&lt;&gt;)。
修改强>
是的,通过级联x3 :: with&lt;&gt;设置多个参数似乎工作。 例如:
auto parser = x3::with<parsing::separator>(ref(separator))[x3::with<parsing::separator2>(ref(separator2))[parsing::parser]] >> x3::eoi;
答案 1 :(得分:0)
一个更简单的解决方案,您可以使用一个函数来获取字符并返回类型为x3::rule<struct parser>
的解析器值。
auto getParser(char sep)
{
return x3::int_ % x3::lit(sep);
}
完整代码(Godbolt:https://godbolt.org/z/ENxCTF)
#include <boost/spirit/home/x3.hpp>
#include <iostream>
namespace x3 = boost::spirit::x3;
namespace parsing {
x3::rule<struct parser> parser {"parser"};
//struct separator {};
char separator(',');
//auto parser_def = x3::int_ % x3::lit(x3::get<separator>(/* context */)); // candidate function template not viable: requires single argument 'context'
auto parser_def = x3::int_ % x3::lit(separator);
BOOST_SPIRIT_DEFINE(parser)
auto getParser(char sep)
{
return x3::int_ % x3::lit(sep);
}
}
void parse(const std::string &data, const char separator) {
using namespace std;
//auto parser = x3::with<parsing::separator>(ref(separator)) [parsing::parser] >> x3::eoi;
auto parser = parsing::getParser(separator) >> x3::eoi;
if (x3::parse(data.begin(), data.end(), parser))
cout << "Parse succeeded\n";
else
cout << "Parse failed\n";
}
int main() {
parse("1 2 3", ' ');
parse("1,2,3", ',');
parse("1;2;3", ';');
}