Visual Studio 2012 是否正确执行此操作？标准::移动

Question

我最近尝试回答的一个问题似乎是 vs2012 的 c++11 支持中的错误。

具体来说，尽管只有 std::move 用于插入映射，但它无法使用不可复制构造的 value_type 编译 std::map。要么选择了错误的插入重载，要么编译器没有考虑替代方案。

基本上，我不知道下面的代码：

#include <iostream>
#include <memory>
#include <utility>
#include <type_traits>

class Foo {
};

using namespace std;

int main() {
    cout << is_constructible<pair<const int,unique_ptr<Foo> >, pair<const int,unique_ptr<Foo> >& >::value << '\n';
    cout << is_constructible<pair<const int,unique_ptr<Foo> >, pair<const int,unique_ptr<Foo> >&& >::value << '\n';
}

给出输出 01。

Answer 1

Visual Studio 输出（see it live）：

1
1

这显然是错误的，gcc 和 clang 都给出了预期的结果。此错误和您看到的原始问题可能与这两个已接受的错误报告有关。 is_constructible 的错误结果实际上可能与original bug 无关：

• std::is_*constructible::value == true for abstract classes.
• VC11: map and unordered_map operater[] requires mapped_type to be CopyConstructible or MoveConstructible b