为什么std :: map emplace需要在gcc上使用复制构造函数？

Question

以下代码可以在Visual Studio的Visual C ++ 19.0编译器上很好地编译，但是gcc 5.4.0抱怨复制构造函数是私有的。

#include <map>

class CMyClass
{
public:
  CMyClass(int) {};
private:
  CMyClass(const CMyClass&); // I want to avoid copy construction
};

int main()
{
  std::map<int, CMyClass> mymap;
  mymap.emplace(0, 0);

  return 0;
}

错误信息：

‘CMyClass::CMyClass(const CMyClass&)’ is private

是不是避免副本正是emplace是？ 我想念什么吗？

Answer 1

这在发布的C ++ 11中无效。

C ++ 11标准描述了带有两个参数的两个pair构造函数：

pair(const T1& x, const T2& y);
template<class U, class V> pair(U&& x, V&& y);

如果第一个被选中，您将因为明显的原因而注定失败。

如果“ V不能隐式转换为second_type ”，则第二个重载不参与重载解析。 在这里， V是int ， second_type是CMyClass 。 可以将int隐式转换为CMyClass吗？ 否，因为声明CMyClass x = some_int; 格式不正确，例如在C ++ 11中，该声明从名义上从some_int构造了一个CMyClass临时some_int ，然后将其移动到x中，但不能移动CMyClass 。

GCC添加的额外过载-允许-具有相似的约束。

---

C ++ 17实质上修改了对pair构造函数的约束，这具有允许您的代码正常工作的副作用。 实施人员将此视为追溯缺陷修复，这就是GCC 6接受您的代码的原因。

Answer 2

GCC 5.4.0仅在启用相关的重载时检查类型是否可转换：

  // DR 811.
  template<class _U1, class = typename
       enable_if<is_convertible<_U1, _T1>::value>::type>
constexpr pair(_U1&& __x, const _T2& __y)
: first(std::forward<_U1>(__x)), second(__y) { }

而GCC的最新版本会检查其是否可移动构造：

288       template<typename _U1, typename
289            enable_if<_PCCP::template
290                _MoveCopyPair<true, _U1, _T2>(),
291                          bool>::type=true>
292        constexpr pair(_U1&& __x, const _T2& __y)
293        : first(std::forward<_U1>(__x)), second(__y) { }

特别是_PCCP是_PCC<true, _T1, _T2>的别名。 _PCC是包含以下功能的特征类：

138       template <bool __implicit, typename _U1, typename _U2>
139       static constexpr bool _MoveCopyPair()
140       {
141     using __do_converts = __and_<is_convertible<_U1&&, _T1>,
142                   is_convertible<const _U2&, _T2>>;
143     using __converts = typename conditional<__implicit,
144                        __do_converts,
145                        __not_<__do_converts>>::type;
146     return __and_<is_constructible<_T1, _U1&&>,
147               is_constructible<_T2, const _U2&&>,
148               __converts
149               >::value;
150       }