boost :: recursive_variant接受地图，但拒绝unordered_map

Question

您能否解释一下此构造为何起作用：

typedef boost::make_recursive_variant<
    boost::blank,
    std::string,
    std::vector< std::string >,
    std::vector< int32_t >,
    std::vector< int64_t >,
    std::vector< double >,
    std::vector< std::complex<double> >,
    std::map< std::string, boost::recursive_variant_ > 
>::type Variant; 

而且这不是：

typedef boost::make_recursive_variant<
    boost::blank,
    std::string,
    std::vector< std::string >,
    std::vector< int32_t >,
    std::vector< int64_t >,
    std::vector< double >,
    std::vector< std::complex<double> >,
    std::unordered_map< std::string, boost::recursive_variant_ > 
>::type Variant;

不幸的是，我无法理解错误消息。 它说了一些关于

  static int initialize(void* dest, param_T operand)
                        ^
/usr/include/boost/variant/detail/initializer.hpp:104:24: note:   no known conversion for argument 2 from ‘const std::unordered_map<std::__cxx11::basic_string<char>, boost::variant<boost::detail::variant::recursive_flag<boost::blank>,

//Skipped 

to ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::l_item<mpl_::long_<8l>,

Ubuntu 16.04，gcc 5.4.0 20160609，提升1.58。

Answer 1

该问题似乎与您的特定设置有关。 我无法使用以下所有配置进行复制。

此外，全面的抽样测试包括

Variant v = std::unordered_map<std::string, Variant> { {"hello", Variant{"world"} } };

内部主要所有也编译顺利。

具有libstdc ++的GCC

• GCC 7.x Boost 1.66.0 https://wandbox.org/permlink/pEqPOdtZFtd3pIKb
• GCC 7.x Boost 1.65.1 https://wandbox.org/permlink/ZCeRE4Ok1wVLJMrg
• GCC 7.x Boost 1.64.0 https://wandbox.org/permlink/KM4KlXbqqDOk829c
• GCC 7.x Boost 1.63.0 https://wandbox.org/permlink/LakB9AnvAY7Zh8wz
• GCC 7.x Boost 1.62.0 https://wandbox.org/permlink/xTY3rzWk2HsapOQc

---

• GCC 6.3 Boost 1.66.0 https://wandbox.org/permlink/iUOEo6b9RljS5pj0
• GCC 6.3 Boost 1.65.1 https://wandbox.org/permlink/rvC2DB0GABIl1Eq4
• GCC 6.3 Boost 1.64.0 https://wandbox.org/permlink/ajWNGG7Y9z0ybUzt
• GCC 6.3 Boost 1.63.0 https://wandbox.org/permlink/THNJK285RFlmIZey
• GCC 6.3 Boost 1.62.0 https://wandbox.org/permlink/0vQO2yf05YLVa0lc
• GCC 6.3 Boost 1.61.0 https://wandbox.org/permlink/VrwT1aD3Dze5QtmF

---

• GCC 5.1 Boost 1.66.0 https://wandbox.org/permlink/yqCyAuTAa4U8Fph6
• GCC 5.1 Boost 1.65.1 https://wandbox.org/permlink/s7RI9yciT1RGFiqv
• GCC 5.1 Boost 1.64.0 https://wandbox.org/permlink/7cidc9ADIeeN17ao
• GCC 5.1 Boost 1.63.0 https://wandbox.org/permlink/K7lAM3yXH23770Nn
• GCC 5.1 Boost 1.62.0 https://wandbox.org/permlink/d7VaN7s4HQkvonWK
• GCC 5.1 Boost 1.61.0 https://wandbox.org/permlink/kw6Mfng0YBdqMVbQ

---

• GCC 4.9.3 Boost 1.64.0 https://wandbox.org/permlink/1TVIVrbmzIldA5Jo
• GCC 4.9.3 Boost 1.58.0 https://wandbox.org/permlink/V9KDTy2QIlAzMQR1
• GCC 4.9.3 Boost 1.54.0 https://wandbox.org/permlink/zwxbzcM3ZLiBc5Pw

用libc ++编写的Clang

• Clang 5.0 / libc ++ Boost 1.66.0 https://wandbox.org/permlink/w9jj9CXmNuKtEjhA
• Clang 5.0 / libc ++ Boost 1.61.0 https://wandbox.org/permlink/mHarudjtmIIVzpEV
• Clang 5.0 / libc ++ Boost 1.55.0 https://wandbox.org/permlink/KJWQO7URcqHeIbJh

---

• Clang 4.0 / libc ++ Boost 1.66.0 https://wandbox.org/permlink/dNmVYXY1hPpldlET
• Clang 4.0 / libc ++ Boost 1.58.0 https://wandbox.org/permlink/JUnp3cNVlVhsgPKK
• Clang 4.0 / libc ++ Boost 1.54.0 https://wandbox.org/permlink/xg40Jux9X6YhiXvI

---

• 铛3.5.0 / libc ++ Boost 1.64.0 https://wandbox.org/permlink/6ZABbXUM4TCvEbI8
• 铛3.5.0 / libc ++ Boost 1.58.0 https://wandbox.org/permlink/1W67kQ7HJlNkmrdJ
• 铛3.5.0 / libc ++ Boost 1.54.0 https://wandbox.org/permlink/Td1zS6IWMkZx3bxt
• 铛3.5.0 / libc ++ Boost 1.48.0 https://wandbox.org/permlink/l4BxmjplVUkdGA2e

Answer 2

哈。 您随便提起SWIG的评论使我眼前闪闪发光。

在涉及boost::[make_recursive_]variant任何事情上，我都不相信SWIG。 现在您已经提到了，对我来说99％的清楚是SWIG无法理解所涉及的包装器类型。 谜团已揭开。

好处是， 如果可以使用boost::unordered_map ， 则不需要它。 这是因为由于实现细节， std::unordered_map可能要求在（浅）实例化时完成映射类型： 如何在值类型为其所在类的情况下拥有unordered_map？ 。

生活在Coliru

#include <boost/variant.hpp>
#include <complex>
#include <string>
#include <vector>
#include <boost/unordered_map.hpp>

using boost::unordered_map;

struct Variant : boost::variant<
                            boost::blank,
                            std::string,
                            std::vector< std::string >,
                            std::vector< int32_t >,
                            std::vector< int64_t >,
                            std::vector< double >,
                            std::vector< std::complex<double> >,
                            unordered_map< std::string, Variant >
                         > 
{
    using base_type = boost::variant<
            boost::blank,
            std::string,
            std::vector< std::string >,
            std::vector< int32_t >,
            std::vector< int64_t >,
            std::vector< double >,
            std::vector< std::complex<double> >,
            unordered_map< std::string, Variant >
         >;

    using base_type::base_type;
    using base_type::operator=;
};

int main() {
    Variant v = unordered_map<std::string, Variant> { {"hello", Variant{"world"} } };
}

之所以起作用，是因为该映射是基于节点的容器：它已经使映射类型的分配与其物理布局脱钩，这是您需要递归类型包装器的主要原因。

另请参见此处，以了解更多详细说明的情况： 使用带有boost变量的声明进行递归