如何在 STL 中合并两个映射并应用函数来解决冲突？

Question

我已经阅读了Merge two STL 地图问题，虽然它很接近，但我一直在寻找类似here 描述的功能。

简而言之，我想将两个 std::map 实例 （具有相同的键和值类型） 合并为一个，但需要注意的是，如果对象两个地图中都存在。

是否有现有的boost、range-v3 或std 函数可以做到这一点？如果没有，实现它的最佳方法是什么？

示例代码：

double mergePredicate(double lhs, double rhs)
{
    return lhs + rhs;
}

int main()
{
    std::map<int, double> mapA = { {0, 1.0}, {1, 2.0} };
    std::map<int, double> mapB = { {1, 1.5}, {2, 2.5} };

    // Merge maps in some way...
    merge(mapA, mapB, mergePredicate);

    // result: mapA == { {0, 1.0}, {1, 3.5}, {2, 2.5} }
    for (const auto& p : mapA) {
        std::cout << p.first << " " << p.second << std::endl;
    }
}

Answer 1

对于这种特殊情况，因为operator[]会在不存在的情况下创建一个键，所以您可以使用简单的循环将两个值相加：

for (const auto& pair : mapB) {
    mapA[pair.first] += pair.second;
}

当你想使用一个函数时，可以在不存在键的情况下使用默认初始化的值：

for (const auto& pair : mapB) {
    mapA[pair.first] = mergePredicate(mapA[pair.first], pair.second);
}

Answer 2

我不知道任何现有的函数可以做到这一点，但你可以利用std::map的merge函数（live example）：

template<typename K, typename V, typename F>
void mergeWithConflicts(std::map<K, V>& base, std::map<K, V> toMerge, F combine) {
    base.merge(toMerge);

    // All that's left in toMerge is conflicting keys
    for (const auto& [k, v] : toMerge) { 
        base[k] = combine(base[k], toMerge[k]);
    }
}

作为奖励，merge 的实现与您可以手动执行的操作相比相当有效，除非您使用extract 之类的方法重新实现它。它不是复制或移动元素，而是调整内部指针以将节点从一个映射移动到另一个映射。但是，这意味着它会修改另一个地图。如建议的那样，该参数是按值获取的，因此如果不再需要另一个地图，则可以将其移入，否则可以复制。

Answer 3

我不知道任何现有的功能，但您可以从类似于 std::merge 实现的东西中推出自己的功能以具有线性复杂性：

template<class Map, class Merger>
void merge(Map& dest, const Map& source, Merger merger)
{
    auto it1 = dest.begin();
    auto it2 = source.begin();
    auto&& comp = dest.value_comp();

    for (; it1 != dest.end() && it2 != source.end(); ) {
        if (comp(*it1, *it2)) {
            ++it1;
        } else if (comp(*it2, *it1)) {
            dest.insert(it1, *it2); // with hint to have correct complexity
            ++it2;
        } else { // equivalent
            it1->second = merger(it1->second, it2->second);
            ++it1;
            ++it2;
        }
    }
    dest.insert(it2, source.end());
}

Demo