编译错误C++Spirit X3没有可行的重载=，没有用于调用move_to的匹配函数

好吧，我必须解决很多错误/怪癖。

我熨衣服的一部分是清理我通常做的不同的事情。以下是工作结果：

在Coliru上直播

#define BOOST_SPIRIT_X3_DEBUG
#include <iostream>
#include <boost/config/warning_disable.hpp>
#include <boost/spirit/home/x3.hpp>
#include <boost/spirit/home/x3/support/ast/variant.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include <boost/fusion/include/std_pair.hpp>
#include <boost/fusion/include/io.hpp>
#include <boost/container/stable_vector.hpp>    
#include <iterator>
#include <fstream>
#include <string>
#include <map>    
namespace client { 
    namespace x3 = boost::spirit::x3;
    namespace ast
    {
        using string_t = std::string;
        using double_t = double;
        using float_t = double;
        using int_t = int64_t;
        using bool_t = bool;
        struct null_t {};
        class value;
        using object_t        = std::map<std::string, value>;
        using object_member_t = object_t::value_type;
        using member_pair_t   = std::pair<object_t::key_type, object_t::mapped_type>;
        using array_t         = boost::container::stable_vector<value>;
        class value : public x3::variant<null_t, bool_t, string_t, int_t, double_t, object_t, array_t>
        {
        public:
            using value_type = value;
            using base_type::base_type;
            using base_type::operator=;
            value(null_t val = null_t{}) : base_type(val) {}
            value(char const* val)       : base_type(string_t(val)) {}
            template<typename T>
            value(T val, typename std::enable_if<std::is_floating_point<T>::value>::type) : base_type(double_t{val}) {}
            template<typename T>
            value(T val, typename std::enable_if<std::is_integral<T>::value::type>) : base_type(int_t{val}) {}
        };
    }
    namespace parser
    {
        auto const append = [](auto& ctx){ x3::_val(ctx) += x3::_attr(ctx); };
        using uchar = unsigned char;
        x3::uint_parser<uchar, 16, 4, 4> const hex4 = {};
        auto push_esc = [](auto& ctx) {
            auto& utf8 = x3::_val(ctx);
            switch (x3::_attr(ctx))
            {
                case '"' : utf8 += '"';   break;
                case '': utf8 += '';  break;
                case '/' : utf8 += '/';   break;
                case 'b' : utf8 += 'b';  break;
                case 'f' : utf8 += 'f';  break;
                case 'n' : utf8 += 'n';  break;
                case 'r' : utf8 += 'r';  break;
                case 't' : utf8 += 't';  break;
            }
        };
        auto push_utf8 = [](auto& ctx) {
            typedef std::back_insert_iterator<std::string> insert_iter;
            insert_iter out_iter(x3::_val(ctx));
            boost::utf8_output_iterator<insert_iter> utf8_iter(out_iter);
            *utf8_iter++ = x3::_attr(ctx);
        };
        auto const escape = ('u' > hex4)            [push_utf8]
                          | x3::char_(""\/bfnrt") [push_esc];
        auto const char_esc = '' > escape;
        auto const double_quoted = x3::lexeme[ 
                            '"' > *(char_esc | (x3::char_("x20x21x23-x5bx5d-x7e") [append])) > '"' 
                        ];
        auto const unicode_string 
                         = x3::rule<struct unicode_string_class, std::string> { "unicode_string" } 
                         = double_quoted;
        auto const null_value = x3::lit("null") >> x3::attr(ast::null_t{});
        x3::ascii::bool_type const bool_value = {};
        using value_type = x3::rule<struct value_class, ast::value>;
        static value_type const value = "value";
        auto const member_pair = x3::rule<struct member_pair_class, ast::member_pair_t> { "member_pair" }
                          = unicode_string >> ':' >> value;
        auto const object = x3::rule<struct object_class, ast::object_t> { "object" }
                          = x3::lit('{') >> -(member_pair % ',') >> x3::lit('}');    
        auto const array = x3::rule<struct array_class, ast::array_t> { "array" }
                         = x3::lit('[') >> -(value % ',') >> x3::lit(']');
        x3::real_parser<double, x3::strict_real_policies<double> > const double_ = {};
        x3::int_parser<int64_t> const int_                                       = {};
        auto const value_def = null_value | bool_value | object | array | unicode_string | double_ | int_ ;
        BOOST_SPIRIT_DEFINE(value)
        auto const json = x3::skip(x3::ascii::space) [ value ];
    }
}    
int main()
{
    std::string storage = R"({ "check": [ 1,2,3, null, true ], "more": { "nested" : "values" } })";
    client::ast::value o;
    return parse(storage.begin(), storage.end(), client::parser::json, o)? 0 : 255;
}

输出：

<value>
<try>{ "check": [ 1,2,3, </try>
<object>
    <try>{ "check": [ 1,2,3, </try>
    <member_pair>
    <try> "check": [ 1,2,3, n</try>
    <unicode_string>
        <try> "check": [ 1,2,3, n</try>
        <success>: [ 1,2,3, null, tru</success>
        <attributes>[c, h, e, c, k]</attributes>
    </unicode_string>
    <value>
        <try> [ 1,2,3, null, true</try>
        <object>
        <try>[ 1,2,3, null, true </try>
        <fail/>
        </object>
        <array>
        <try>[ 1,2,3, null, true </try>
        <value>
            <try> 1,2,3, null, true ]</try>
            <object>
            <try>1,2,3, null, true ],</try>
            <fail/>
            </object>
            <array>
            <try>1,2,3, null, true ],</try>
            <fail/>
            </array>
            <unicode_string>
            <try>1,2,3, null, true ],</try>
            <fail/>
            </unicode_string>
            <success>,2,3, null, true ], </success>
            <attributes>1</attributes>
        </value>
        <value>
            <try>2,3, null, true ], "</try>
            <object>
            <try>2,3, null, true ], "</try>
            <fail/>
            </object>
            <array>
            <try>2,3, null, true ], "</try>
            <fail/>
            </array>
            <unicode_string>
            <try>2,3, null, true ], "</try>
            <fail/>
            </unicode_string>
            <success>,3, null, true ], "m</success>
            <attributes>2</attributes>
        </value>
        <value>
            <try>3, null, true ], "mo</try>
            <object>
            <try>3, null, true ], "mo</try>
            <fail/>
            </object>
            <array>
            <try>3, null, true ], "mo</try>
            <fail/>
            </array>
            <unicode_string>
            <try>3, null, true ], "mo</try>
            <fail/>
            </unicode_string>
            <success>, null, true ], "mor</success>
            <attributes>3</attributes>
        </value>
        <value>
            <try> null, true ], "more</try>
            <success>, true ], "more": { </success>
            <attributes></attributes>
        </value>
        <value>
            <try> true ], "more": { "</try>
            <success> ], "more": { "neste</success>
            <attributes>1</attributes>
        </value>
        <success>, "more": { "nested"</success>
        <attributes>[1, 2, 3, , 1]</attributes>
        </array>
        <success>, "more": { "nested"</success>
        <attributes>[1, 2, 3, , 1]</attributes>
    </value>
    <success>, "more": { "nested"</success>
    <attributes>[[c, h, e, c, k], [1, 2, 3, , 1]]</attributes>
    </member_pair>
    <member_pair>
    <try> "more": { "nested" </try>
    <unicode_string>
        <try> "more": { "nested" </try>
        <success>: { "nested" : "valu</success>
        <attributes>[m, o, r, e]</attributes>
    </unicode_string>
    <value>
        <try> { "nested" : "value</try>
        <object>
        <try>{ "nested" : "values</try>
        <member_pair>
            <try> "nested" : "values"</try>
            <unicode_string>
            <try> "nested" : "values"</try>
            <success> : "values" } }</success>
            <attributes>[n, e, s, t, e, d]</attributes>
            </unicode_string>
            <value>
            <try> "values" } }</try>
            <object>
                <try>"values" } }</try>
                <fail/>
            </object>
            <array>
                <try>"values" } }</try>
                <fail/>
            </array>
            <unicode_string>
                <try>"values" } }</try>
                <success> } }</success>
                <attributes>[v, a, l, u, e, s]</attributes>
            </unicode_string>
            <success> } }</success>
            <attributes>[v, a, l, u, e, s]</attributes>
            </value>
            <success> } }</success>
            <attributes>[[n, e, s, t, e, d], [v, a, l, u, e, s]]</attributes>
        </member_pair>
        <success> }</success>
        <attributes>[[[n, e, s, t, e, d], [v, a, l, u, e, s]]]</attributes>
        </object>
        <success> }</success>
        <attributes>[[[n, e, s, t, e, d], [v, a, l, u, e, s]]]</attributes>
    </value>
    <success> }</success>
    <attributes>[[m, o, r, e], [[[n, e, s, t, e, d], [v, a, l, u, e, s]]]]</attributes>
    </member_pair>
    <success></success>
    <attributes>[[[c, h, e, c, k], [1, 2, 3, , 1]], [[m, o, r, e], [[[n, e, s, t, e, d], [v, a, l, u, e, s]]]]]</attributes>
</object>
<success></success>
<attributes>[[[c, h, e, c, k], [1, 2, 3, , 1]], [[m, o, r, e], [[[n, e, s, t, e, d], [v, a, l, u, e, s]]]]]</attributes>
</value>

一些注意事项：

1. 分配失败的原因是解析程序规则value导致的对象类型为value，而不是object_t。。。

2. object_member_t是具有std::stringconstfirst_type的对。哎呀。这两者都不能分配。所以，制作你自己的配对类型并使用它：

   using member_pair_t   = std::pair<object_t::key_type, object_t::mapped_type>;
   

3. 如果不合格，我的g++5似乎很难对_attr和_val进行ADL查找。我不确定这是编译器的问题，还是什么。我刚用了x3::_attr和x3::_val

4. 规则def中有一堆缺失的parens，这使得规则很难阅读/检查。添加

5. unicode_string被证明是损坏的（见下文）

6. int_parser<int64_t>从未使用过（？哈）。使用它：）

7. 数字分析无法正常工作。与此同时，它看起来过于复杂。我建议使用double_ | int_，其中double_使用严格的策略：

   x3::real_parser<double, x3::strict_real_policies<double> > const double_ = {};
   

风格问题：

1. 不要让你的来电者负责选择船长。毕竟，如果使用x3::char_("+8")作为队长，事情要么会崩溃，要么会失败为JSON？我建议一个顶级规则来介绍船长：

   auto const json = x3::skip(x3::ascii::space) [ value ];
   

2. 测试驱动程序的噪音可以小得多：

   std::string storage = R"({ "check": [ 1,2,3, null, true ], "more": { "nested" : "values" } })";
   client::ast::value o;
   bool r = parse(storage.begin(), storage.end(), client::parser::json, o);
   

3. 我删除了未"最终"使用的规则（在这个简单的代码示例中，任何未递归使用的规则：value）的嘈杂_class_type/def舞蹈

4. 使用BOOST_SPIRIT_X3_DEBUG查看发生了什么：）（这让我发现了x3::char_("x20x21x23-x5bx5dx7e")中的错误，看到了缺失的破折号吗？）