提升精神 X3:将数据提取到 x3::变体<...> 始终为空

Boost Spirit X3: Extracting Data into x3::variant<...> is always empty

本文关键字:gt lt 变体 X3 提取 数据 x3      更新时间:2023-10-16

我想将一些输入解析为longstd::string,如果它被引用。合理的解决方案是使用x3::variant<long, std::string>来存储数据。下面是一个示例程序:

#include <iostream>
#include <string>
#include <boost/spirit/home/x3.hpp>
#include <boost/spirit/home/x3/support/ast/variant.hpp>
namespace x3 = boost::spirit::x3;
const x3::rule<class number_tag, long> number = "number";
const auto number_def = x3::long_;
BOOST_SPIRIT_DEFINE(number);
const x3::rule<class string_tag, std::string> string = "string";
const auto string_def = x3::lexeme['"' >> *(x3::char_ - '"') >> '"'];
BOOST_SPIRIT_DEFINE(string);
using any_type = x3::variant<long, std::string>;
const x3::rule<class any_tag, any_type> any = "any";
const auto any_def = number | string;
BOOST_SPIRIT_DEFINE(any);
int main()
{
    const std::string src = "18";
    any_type result;
    auto iter = src.begin();
    bool success = x3::phrase_parse(iter, src.end(), any, x3::space, result);
    if (!success || iter != src.end())
        return 1;
    else
        std::cout << "Result: " << result << std::endl;
}

我的期望的结果是:

Result: 18

然而,实际的结果很简单:

Result:

我做错了什么?Boost版本为1.61

您不能打印这样的变体。你得把它交给访客。例如(对转换不做太多错误检查):

struct Visitor
{
  using result_type = long;
  result_type operator()(long v) const { return v; }
  result_type operator() (const std::string& v) { return std::atol(v.c_str()); }
};

应该从代码中调用,如:

    if (!success || iter != src.end()) {
        return 1;
    } else {
        Visitor v;
        std::cout << "Result: " << boost::apply_visitor(v, result) << std::endl;
    }