c++ - 如何加入两个或多个 boost fusion map ？

Question

我想创建一个 associative sequence来自两个 boost::fusion::map 类型。其中一个映射中包含的类型可能存在于另一个映射中，如果是这种情况，我只想在结果序列中以具有该键的单一类型结束。也就是说，我希望 keys 在加入后是唯一的。

常规join操作似乎允许重复键，因此它似乎不是解决方案。有谁知道我怎样才能做到这一点？

// Here is what I've got:
using namespace boost::fusion;
map<
  pair<int, int>,
  pair<double, int>> Map1;

map<
  pair<bool, int>,
  pair<double, int>> Map2;

// I want to join Map1 with Map2 such that I have
static_assert(std::is_same<Map3, map<
  pair<int, int>,
  pair<double, int>,
  pair<bool, int>>>::value, "");

Answer 1

您可能必须手动消除欺骗:在完整的 c++14 设备中 Live On Coliru

auto r = 
    as_map(
        fold(
            fold(m1, m2, [](auto accum, auto elem) { return erase_key<typename decltype(elem)::first_type>(accum); }),
            m1, 
            [](auto accum, auto elem) { return insert(accum, boost::fusion::end(accum), elem); }
        )); 

这很时髦。如果您将其替换为仿函数而不是 lambda，您最终会类似于:

auto r = 
    as_map(
        fold(
            fold(m1, m2, erase_corresponding()), 
            m1, 
            insert_helper()
        ));

一个简单的实现 Live On Coliru 仍然依靠初步的 c++1y 支持:

 struct erase_corresponding {
    template<typename T, typename U> 
        auto operator()(T map, U elem) const {
            return boost::fusion::erase_key<typename U::first_type>(map);
        }
};

struct insert_helper {
    template<typename T, typename U> 
        auto operator()(T map, U elem) const {
            return boost::fusion::insert(map, boost::fusion::end(map), elem);
        }
};

但是，要使它成为所有 c++03 证明，您需要用 RESULT_OF 拼写出来(我将其作为练习留给读者)