Выполняет ли Visual Studio 2012 это правильно? std :: move

Question

Вопрос, который я недавно пытался ответить, представлял собой ошибку в поддержке C++ 11 vs2012.

В частности, ему не удалось скомпилировать std :: map с помощью неконвертируемого значения value_type, несмотря на то, что для вставки в карту используется только std :: move. Выбрана либо неправильная перегрузка вставки, либо компилятор не рассматривает альтернативу.

В принципе, я wan't знать, если следующий код:

#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