为何std::map::merge的source参数不采用const引用？

你可能误解了std::map::merge的实际行为——这个函数一定会修改传入的source容器，这就是它使用非const左值引用的核心原因。

merge的设计目的是转移source容器中所有与当前容器键不冲突的元素节点所有权到当前容器，而非复制元素。操作完成后：

• 那些被成功转移的元素会从source中被移除，source的size会相应减小
• source的内部树结构会被重新调整，以剔除被转移的节点

举个简单的代码示例就能直观看到source的变化：

#include <map>
#include <iostream>

int main() {
    std::map<int, std::string> source = {{1, "apple"}, {2, "banana"}, {4, "date"}};
    std::map<int, std::string> dest = {{2, "blueberry"}, {3, "cherry"}};

    dest.merge(source);

    // 输出source剩余的元素：只剩下{1, "apple"}
    std::cout << "source after merge: ";
    for (auto& p : source) std::cout << "{" << p.first << ":" << p.second << "} ";
    std::cout << "\n";

    // 输出dest的元素：{1:"apple", 2:"blueberry", 3:"cherry", 4:"date"}
    std::cout << "dest after merge: ";
    for (auto& p : dest) std::cout << "{" << p.first << ":" << p.second << "} ";
    std::cout << "\n";
    return 0;
}

如果把参数设计成const引用，就无法完成这种节点转移操作——因为修改source的内部结构、移除元素都是const引用不允许的行为。所以当前的参数形式是完全符合函数功能的，不存在实用性不足的问题。

内容的提问来源于stack exchange，提问作者Bathsheba