如何让std::map访问类的私有默认构造函数？

这个问题我之前帮不少开发者踩过坑——核心是你没抓准std::map内部实际使用的pair类型，导致友元声明无效。我给你拆解下正确的解决方案：

为什么原来的友元设置没用？ #

你可能忽略了一个关键点：std::map的value_type是std::pair<const int, Example>，而不是你声明的std::pair<int, Example>。因为map的键是不可修改的，所以实际存储的pair键类型是const int。当你调用map[key]时，内部会创建std::pair<const int, Example>的实例，而这个类型并没有被你设为友元，自然访问不到Example的私有默认构造函数。

正确的友元声明方案 #

直接把map的目标实例和对应的pair类型设为友元即可，代码示例如下：

#include <map>

class Example {
private:
    // 私有默认构造函数
    Example() = default;

    // 关键：声明正确的友元类型
    friend class std::map<int, Example>;
    friend struct std::pair<const int, Example>;

public:
    // 你的公开构造函数/业务接口
    Example(int data) : m_data(data) {}

private:
    int m_data = 0;
};

int main() {
    std::map<int, Example> my_map;
    // 现在可以正常调用operator[]创建默认构造的元素了
    my_map[1];
    return 0;
}

补充说明 #

• 如果你不想扩大友元范围，就别用template<typename K, typename V> friend struct std::pair;这种通用模板友元，它会让所有pair类型都能访问你的私有构造，不安全。
• 另一种替代思路：如果可以避免使用map::operator[]，改用emplace或insert方法，直接用你的公开构造函数创建元素，这样完全不需要暴露默认构造函数：

  // 用emplace直接构造元素，无需默认构造
  my_map.emplace(2, Example(42));
  // 或者用insert
  my_map.insert(std::make_pair(3, Example(100)));
  

这个方案在主流编译器（GCC、Clang、MSVC）上都能正常工作，完美解决你的问题～

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