C++中能否传递结构不可变但值可修改的std::map？

当你把std::map声明为const时，它的元素会被视为完全不可修改——因为std::map的元素本质是std::pair<const K, V>，当整个map被标记为const后，这个pair会变成const std::pair<const K, V>，不仅键无法修改，值也会被限定为const，所以你无法获取值的非const引用进行修改。而指针类型的map之所以能修改内容，是因为const保护的是指针本身，而非指针指向的对象。

要实现传递非指针类型map，仅允许修改值但不允许修改map结构（增删元素、修改键），可以参考以下几种方法：

方法一：自定义包装类（编译期强制约束） #

创建一个适配器类，包装原始的std::map，只暴露修改值的接口，隐藏所有会改变map结构的方法（比如insert、erase）。这样既能保证值可修改，又能从编译层面阻止对map结构的修改：

#include <map>
#include <string>

template <typename Key, typename Value>
class MutableValueMapWrapper {
public:
    explicit MutableValueMapWrapper(std::map<Key, Value>& target_map) 
        : m_map(target_map) {}

    // 获取可修改的值引用
    Value& at(const Key& key) {
        return m_map.at(key);
    }

    // 提供迭代器，仅允许访问const键和可修改的值
    class Iterator {
    public:
        using BaseIter = typename std::map<Key, Value>::iterator;
        Iterator(BaseIter iter) : m_iter(iter) {}

        const Key& key() const { return m_iter->first; }
        Value& value() { return m_iter->second; }

        Iterator& operator++() { ++m_iter; return *this; }
        bool operator!=(const Iterator& other) const { 
            return m_iter != other.m_iter; 
        }
    private:
        BaseIter m_iter;
    };

    Iterator begin() { return Iterator(m_map.begin()); }
    Iterator end() { return Iterator(m_map.end()); }

private:
    // 隐藏所有修改map结构的方法，不对外暴露
    std::map<Key, Value>& m_map;
};

// 使用示例
void EditValue(MutableValueMapWrapper<std::string, std::string> wrapper) {
    std::string& value = wrapper.at("mykey");
    value.append("suffix"); // 正常编译，可修改值

    // wrapper.insert({"new_key", "test"}); // 无此方法，编译报错
}

int main() {
    std::map<std::string, std::string> my_map = {{"mykey", "hello"}};
    EditValue(MutableValueMapWrapper(my_map));
    return 0;
}

方法二：传递非const引用+代码约定（依赖自觉） #

如果你不需要编译层面的强制约束，也可以直接传递std::map的非const引用，但通过团队代码约定，要求函数仅修改值、不修改map的结构。这种方式简单但依赖程序员自觉，无法阻止误操作。

void EditValue(std::map<std::string, std::string>& m) {
    std::string& value = m.at("mykey");
    value.append("suffix"); // 正常修改值
    // 约定：不调用m.insert()、m.erase()等修改结构的方法
}

方法三：C++20+ 范围视图（简化写法） #

如果你使用C++20或更高版本，可以利用范围库创建一个仅包含可修改值的视图，不过这种方式依然需要配合代码约定，因为原始map的引用仍然可能被误用：

#include <map>
#include <string>
#include <ranges>

void EditValue(std::map<std::string, std::string>& m) {
    // 创建值的可修改视图
    auto values_view = m | std::views::values;
    // 遍历或访问值进行修改
    for (auto& val : values_view) {
        val.append("suffix");
    }
}

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