用源码提升精神解析答案

【问题标题】：boost spirit parse with the source用源码提升精神解析
【发布时间】：2013-10-02 18:48:50
【问题描述】：

我希望能够解析一个数字，存储它的原始源并跟踪它在源中的位置，并将其保存在结构本身中。

这是我目前所拥有的：

#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/spirit/include/phoenix_object.hpp>
#include <boost/spirit/home/support/iterators/line_pos_iterator.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include <boost/fusion/include/io.hpp>

#include <iostream>
#include <iomanip>
#include <ios>
#include <string>
#include <complex>

#include <boost/spirit/include/phoenix_fusion.hpp>
#include <boost/spirit/include/phoenix_stl.hpp>

struct Position
{
    Position()
        : line(-1)
    {
    }

    size_t line;
};

struct Number : public Position
{
    Number()
        : Position()
        , value(-1)
        , source()
    {
    }

    unsigned    value;
    std::string source;
};

using namespace boost::spirit;

BOOST_FUSION_ADAPT_STRUCT(Number,
                            (unsigned,    value)
                            (std::string, source)
                            (size_t,      line)
                          );

template <typename Iterator>
struct source_hex : qi::grammar<Iterator, Number()>
{
    source_hex() : source_hex::base_type(start)
    {
        using qi::eps;
        using qi::hex;
        using qi::lit;
        using qi::raw;
        using qi::_val;
        using qi::_1;
        using ascii::char_;

        namespace phx = boost::phoenix;
        using phx::at_c;
        using phx::begin;
        using phx::end;
        using phx::construct;

        start = raw[   (lit("0x") | lit("0X"))
                     >> hex [at_c<0>(_val) = _1]
                   ][at_c<2>(_val) = get_line(begin(_1))]
                    [at_c<1>(_val) = construct<std::string>(begin(_1), end(_1))]

        ;
    }

    qi::rule<Iterator, Number()> start;
};

测试代码是：

typedef line_pos_iterator<std::string::const_iterator> Iterator;
source_hex<Iterator> g;
Iterator iter(str.begin());
Iterator end(str.end());

Number number;
bool r = parse(iter, end, g, number);
if (r && iter == end) {
    std::cout << number.line << ": 0x" << std::setw(8) << std::setfill('0') << std::hex << number.value << " // " << number.source << "\n";
} else
    std::cout << "Parsing failed\n";

我没有得到的是为什么迭代器在线：

[at_c<2>(_val) = get_line(begin(_1))]

不是 line_pos_iterator 即使这是我用于解析器的那个。我将不胜感激解释以及如何解决问题的想法 - 以任何方式。

【问题讨论】：

显然我所做的是完全关闭 - 因为 get_line 在语法的构建过程中被调用
您需要将get_line 称为“惰性”函子（凤凰演员）。有关使用它的示例（Inifile 解析器），请参见 this answer

标签： c++ boost boost-spirit boost-spirit-qi

【解决方案1】：

看看

#include <boost/spirit/repository/include/qi_iter_pos.hpp>

这定义了一个解析器，它直接将位置公开为一个属性。让我在几分钟后添加一个示例。

编辑我发现在不“假设”事物和改变数据类型布局的情况下很难将iter_pos 塞进你的样本中。我非常赞成这一点（我会一直努力失去语义动作。）。不过时间有限。

这里有一个小帮手可以用来解决您的问题：

struct get_line_f
{
    template <typename> struct result { typedef size_t type; };
    template <typename It> size_t operator()(It const& pos_iter) const
    {
        return get_line(pos_iter);
    }
};

^ 多态演员，这样使用：

    start = raw[ qi::no_case["0x"] >> hex [at_c<0>(_val) = _1] ]
               [ 
                   at_c<1>(_val) = construct<std::string>(begin(_1), end(_1)),
                   at_c<2>(_val) = get_line_(begin(_1)) 
               ]
    ;

    // with

boost::phoenix::function<get_line_f> get_line_;

注意我改变了一些小点。

带有输出的完整运行演示：Live On Coliru

【讨论】：