std：：unordered_map<T，std：：unique_ptr<U>>可复制吗？海湾合作委员会错误？

g++ --version产生：

g++.exe (x86_64-posix-seh-rev0, Built by MinGW-W64 project) 4.9.1
Copyright (C) 2014 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

程序：

#include <memory>
#include <type_traits>
#include <unordered_map>
static_assert(!std::is_copy_constructible<std::unordered_map<int,std::unique_ptr<int>>>::value,"Copyable");
int main () {   }

编译结果：

.unorderedmapcopyable.cpp:5:1: error: static assertion failed: Copyable
 static_assert(!std::is_copy_constructible<std::unordered_map<int,std::unique_ptr<int>>>::value,"Copyable");
 ^

相关标准：

关于容器可复制

为了使语句X u(a)和X u=a有效，对于某些容器类型X，它包含类型T，其中a是类型为X的值：

要求：T CopyInsertable X

§23.2.1 [容器.要求.一般]

我对此的理解是：如果T(在我们的例子中std::pair<const int,std::unique_ptr<int>>(没有CopyInsertable到X(在我们的例子中std::unordered_map<int,std::unique_ptr<int>>(，那么X u(a)和X u=a的格式不正确。

CopyInsertable

T CopyInsertable X意味着，除了T被MoveInsertable到X中之外，以下表达式的格式良好：

allocator_traits<A>::construct(m, p, v)

其计算导致以下后置条件成立：v的值保持不变，等效于 *p 。

我对此的理解是：std::pair<const int,std::unique_ptr<int>>不是CopyInsertable，因为std::unique_ptr<int>是不可复制的：

从此子句 [...] 中指定的unique_ptr模板实例化的类型的每个对象U既不CopyConstructible也不CopyAssignable。

§20.8.1 [唯一.PTR]

并且由于 std::pair<const int,std::unique_ptr<int>> 的复制构造函数是默认的：

pair(const pair&) = default;

§20.3.2 [对]

并且由于std::pair<const int,std::unique_ptr<int>>有一个类型 std::unique_ptr<int> 的成员：

template <class T1, class T2> struct pair {

[...]

T2 second;

§20.3.2 [对]

并且由于当不是CopyConstructible类型的所有成员时，默认的复制构造函数将被删除：

类X的默认复制/移动构造函数定义为已删除，如果 X 具有：

[...]

• 类类型M(或其数组(的非静态数据成员，无法复制/移动，因为应用于M相应构造函数的重载分辨率会导致 [...]

§12.8 [类副本]

在std::is_copy_constructible

对于可引用的类型T，结果与is_constructible<T,const T&>::value相同， 否则false.

§20.10.4.3 [元.一元.道具]

我对此的理解/解读：std::is_copy_constructible<std::unordered_map<int,std::unique_ptr<int>>与std::is_constructible<std::unordered_map<int,std::unique_ptr<int>,std::unordered_map<int,std::unique_ptr<int> &>相同。

在std::is_constructible

给定以下函数原型：

template <class T> add_rvalue_reference_t<T> create() noexcept;

模板

专用化is_constructible<T, Args...>的谓词条件应满足，当且仅当以下变量定义对于某些发明的变量t格式良好时：

T t(create<Args>()...);

§20.10.4.3 [元.一元.道具]

我对此的理解是：std::is_constructible<std::unordered_map<int,std::unique_ptr<int>>,std::unordered_map<int,std::unique_ptr<int> &>应该是std::false_type的，而不是std::true_type的，因为X u(a)不是很好的。

我的问题

是否应该接受上述代码？ 这是一个GCC/libstdc++错误，还是标准中缺少某些内容？

我目前无法访问 Clang 或 MSVC++，否则我会对它们进行测试。