Spirit.X3 : 使用列表解析器的 push_back_container 特征

Question

我有一个 class 具有 public ctor 和一些 add() 方法：

class object
{
    object() {}
    template <typename>
    void add(T&& val) { // some adding here}
}

我面临的主要问题是如何采用 spirit.x3 列表解析器来使用 object::add() 方法而不是 std::vector<>::push_back ？

我很容易就能通过简单的方式实现我需要的

x3::int_ % ','

解析器（live demo）使用以下代码：

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

namespace x3 = boost::spirit::x3;

namespace parse_to_object
{
    struct object
    {
        using value_type = int;

        object() { std::cout << "object::object() - invoked" << std::endl; }
        void add(value_type val) { _data.push_back(val); }

        std::vector<value_type> _data;
    };

    const x3::rule<struct Test, object> r_ints("r_ints");
    const auto r_ints_def = x3::int_  % ',';
    BOOST_SPIRIT_DEFINE(r_ints);
}

namespace boost { namespace spirit { namespace x3 { namespace traits {        
template<>
struct push_back_container<parse_to_object::object>
{
    template<typename T>
    static bool call(parse_to_object::object& obj, T&& val)
    {
        obj.add(std::move(val));
        return true;
    }
};
}}}}

int main()
{
    const std::string text("1,2,3,4");

    auto begin = std::begin(text);
    const auto end = std::end(text);

    parse_to_object::object result;
    const auto ok = x3::phrase_parse(begin, end, parse_to_object::r_ints,    x3::space, result);

    std::cout << "ok = " << std::boolalpha << (ok && begin == end) << std::endl;
    std::copy(result._data.begin(), result._data.end(), std::ostream_iterator<int>(std::cout, " "));
    return 0;
}

但不幸的是，当我尝试更复杂的示例时

'{' >> x3::int_ >> ':' >> x3::int_ >> '}') % ','

我收到编译错误 (live demo) :

/opt/wandbox/boost-1.67.0/clang-head/include/boost/spirit/home/x3/support/traits/container_traits.hpp:102:45: error: no type named 'iterator' in 'parse_to_object::object' : mpl::identity {};

有人可以协助 spirit.x3 traits 并举例说明如何放弃使用自定义 class 而不是 std::vector<> 用于列表解析器吗？

Answer 1

最后还是少了一个include:

#include <boost/fusion/adapted/std_pair.hpp>

std::pair默认不适配。

Side note: std::move should be std::forward<T> with "universal references" (or perfect forwarding)

Live On Coliru

#define BOOST_SPIRIT_X3_DEBUG

#include <boost/fusion/adapted/std_pair.hpp>
#include <boost/spirit/home/x3.hpp>
#include <iostream>
#include <vector>

namespace x3 = boost::spirit::x3;

namespace parse_to_object
{
    struct object
    {
        using value_type = std::pair<int,int>;

        object() { std::cout << "object::object() - invoked" << std::endl; }
        void add(value_type val) { _data.push_back(std::move(val)); }

        std::vector<std::pair<int,int>> _data;
    };

    const x3::rule<struct Test, object> r_ints("r_ints");
    const auto r_ints_def = ('{' >> x3::int_ >> ':' >> x3::int_ >> '}') % ',';
    BOOST_SPIRIT_DEFINE(r_ints)
}

namespace boost { namespace spirit { namespace x3 { namespace traits {

    template<> struct push_back_container<parse_to_object::object>
    {
        template<typename T>
        static bool call(parse_to_object::object& obj, T&& val)
        {
            obj.add(std::forward<T>(val));
            return true;
        }
    };

}}}}

int main()
{
    const std::string text("{1:2},{3:4}");

    auto begin = std::begin(text), end = std::end(text);

    parse_to_object::object result;
    auto ok = phrase_parse(begin, end, parse_to_object::r_ints >> x3::eoi, x3::space, result);

    std::cout << "ok = " << std::boolalpha << ok << "\n";
    for (auto& p : result._data)
        std::cout << "{" << p.first << ", " << p.second << "} ";
    std::cout << "\n";
}

版画

object::object() - invoked
<r_ints>
  <try>{1:2},{3:4}</try>
  <success></success>
  <attributes></attributes>
</r_ints>
ok = true
{1, 2} {3, 4}

Spirit.X3 : 使用列表解析器的 push_back_container 特征

Spirit.X3 : using push_back_container traits with list parser

boost

boost-spirit

boost-spirit-x3