使用unique_ptr实现pImpl的Foo类无法构建std::pair的原因咨询

• 先理清楚类的核心特性：

  • Impl包含std::mutex，而mutex本身既不可拷贝也不可移动，因此Impl的拷贝、移动构造/赋值全部被编译器自动禁用。
  • 当Foo持有std::unique_ptr<Impl>时：unique_ptr仅支持移动操作、不支持拷贝，所以Foo的拷贝构造/赋值也被自动删除，只剩移动构造/赋值可用；换成std::shared_ptr<Impl>的话，shared_ptr靠引用计数实现了拷贝支持，因此Foo的拷贝构造会被编译器自动生成，变成可拷贝可移动的类型。

• 为什么unique_ptr版本构造std::pair会失败：
  std::map<int, Foo>的元素类型是std::pair<const int, Foo>，调用emplace时，编译器会尝试用你传入的参数构造这个pair。如果你传递的是左值Foo对象（比如已定义好的Foo f;），pair的构造逻辑会默认尝试用拷贝构造初始化第二个成员（左值只会匹配拷贝构造的参数），但此时Foo的拷贝构造已经被禁用，因此编译器会抛出no matching function for call to 'std::pair<int, Foo>::pair(int, Foo)'的错误。

• 换成shared_ptr能正常运行的原因：
  因为shared_ptr支持拷贝，Foo的拷贝构造是合法可用的，pair可以顺利通过拷贝初始化第二个成员，自然不会触发编译错误。

• 补充：如果想让unique_ptr版本正常工作，只需把左值Foo转为右值，让pair用移动构造初始化即可，比如调用map.emplace(1, std::move(f))。

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