如何合并两个 mpl 地图生成新地图？

Question

但是我修改了下面的代码，似乎有一点我遗漏了。它不会编译。我有两个地图 int -> int。我想生成第三个 int -> int 映射，其中包含来自两个原件的所有键值对。 (VS2013) 有人吗？

#include <boost/mpl/map.hpp>
#include <boost/mpl/pair.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/at.hpp>
#include <boost/mpl/copy.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/has_key.hpp>

typedef boost::mpl::map <
    boost::mpl::pair < boost::mpl::int_<7>, boost::mpl::int_<59>  >
>::type Original1;

typedef boost::mpl::map <
    boost::mpl::pair < boost::mpl::int_<11>, boost::mpl::int_<61>  >
>::type Original2;

typedef boost::mpl::copy <
    Original1,
    boost::mpl::back_inserter < Original2 >
>::type Merged;

BOOST_MPL_ASSERT((boost::mpl::has_key<Merged, 7>));

int _tmain(int argc, _TCHAR* argv[])
{

    const int i = boost::mpl::at<Merged, boost::mpl::int_<7> >::type::value;

    return 0;
}

Answer 1

您的代码有两个问题。简单的在这里：

BOOST_MPL_ASSERT((boost::mpl::has_key<Merged, 7>));

键是类型，7不是类型。您要检查密钥 mpl::int_<7>.

第二个在这里：

typedef boost::mpl::copy <
    Original1,
    boost::mpl::back_inserter < Original2 > // <==
>::type Merged;

mpl::back_inserter 是 std::back_inserter, which creates an OutputIterator which outputs via push_back(). Similarly, back_inserter requires a "Back Extensible Sequence" because it uses mpl::push_back. mpl::map isn't a Back Extensible Sequence. If you look at its reference 的元编程等价物，没有 push_back，只有 insert。所以你需要这样做：

using Merged =
    mpl::copy<
        Original1,
        mpl::inserter<Original2, mpl::insert<mpl::_1, mpl::_2>> // <==
    >::type;

我不太明白mpl::quote在做什么，但它似乎坏了（呃，实际上，mpl::insert需要3个参数，而mpl::quote3不允许默认最后的参数）。如果你写：

template <template <class... > class F>
struct quote {
    template <class... Args>
    struct apply {
        using type = typename F<Args...>::type;
    };
};

那么你可以这样写：

mpl::inserter<Original2, quote<mpl::insert>>

如何合并两个 mpl 地图生成新地图？

How do I merge two mpl maps producing a new map?

c++

boost-mpl

template-meta-programming

c++11