Verschieben Zuordnung von Vektor von nicht-beweglichen nicht-kopierbaren Objekten lässt sich nicht kompilieren

Question

Der folgende Code kompiliert nicht mit Visual Studio 2013:

#include <vector> 

struct X { 
    X() = default; 
    X(const X&) = delete; 
    X& operator=(const X&) = delete; 
    X(X&&) = delete; 
    X& operator=(X&&) = delete; 
    ~X() = default; 
}; 

void foo() 
{ 
    std::vector<X> v; 
    std::vector<X> w; 
    w = std::move(v); 
} 

Die Fehlermeldung sagt

error C2280: 'X::X(X &&)' : attempting to reference a deleted function 

Das macht Kein Sinn für mich. Sie sollten den Verschiebungskonstruktor für X nicht benötigen, um eine vector<X> zu verschieben. Ist das ein Compiler Bug, oder fehlt mir etwas? Hier

ist die komplette Fehlermeldung:

C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(600): error C2280: 'X::X(X &&)' : attempting to reference a deleted function 
    Test.cpp(9) : see declaration of 'X::X' 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(723) : see reference to function template instantiation 'void std::allocator<_Ty>::construct<_Objty,_Ty>(_Objty *,_Ty &&)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Objty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(723) : see reference to function template instantiation 'void std::allocator<_Ty>::construct<_Objty,_Ty>(_Objty *,_Ty &&)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Objty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(872) : see reference to function template instantiation 'void std::allocator_traits<_Alloc>::construct<_Ty,_Ty>(std::allocator<_Ty> &,_Objty *,_Ty &&)' being compiled 
    with 
    [ 
     _Alloc=std::allocator<X> 
    , _Ty=X 
    , _Objty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(872) : see reference to function template instantiation 'void std::allocator_traits<_Alloc>::construct<_Ty,_Ty>(std::allocator<_Ty> &,_Objty *,_Ty &&)' being compiled 
    with 
    [ 
     _Alloc=std::allocator<X> 
    , _Ty=X 
    , _Objty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory(378) : see reference to function template instantiation 'void std::_Wrap_alloc<std::allocator<_Ty>>::construct<X,X>(_Ty *,X &&)' being compiled 
    with 
    [ 
     _Ty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory(378) : see reference to function template instantiation 'void std::_Wrap_alloc<std::allocator<_Ty>>::construct<X,X>(_Ty *,X &&)' being compiled 
    with 
    [ 
     _Ty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory(416) : see reference to function template instantiation '_FwdIt std::_Uninit_copy<_InIt,_FwdIt,std::allocator<_Ty>>(_InIt,_InIt,_FwdIt,std::_Wrap_alloc<std::allocator<_Ty>> &,std::_Nonscalar_ptr_iterator_tag)' being compiled 
    with 
    [ 
     _FwdIt=X * 
    , _InIt=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    , _Ty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory(427) : see reference to function template instantiation '_FwdIt std::_Uninit_copy<_Iter,X,_Alloc>(_InIt,_InIt,_FwdIt,_Alloc &)' being compiled 
    with 
    [ 
     _FwdIt=X * 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    , _Alloc=std::_Wrap_alloc<std::allocator<X>> 
    , _InIt=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(1640) : see reference to function template instantiation '_FwdIt std::_Uninitialized_copy<_Iter,X*,std::_Wrap_alloc<std::allocator<_Ty>>>(_InIt,_InIt,_FwdIt,_Alloc &)' being compiled 
    with 
    [ 
     _FwdIt=X * 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    , _Ty=X 
    , _InIt=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    , _Alloc=std::_Wrap_alloc<std::allocator<X>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(789) : see reference to function template instantiation 'X *std::vector<X,std::allocator<_Ty>>::_Ucopy<_Iter>(_Iter,_Iter,X *)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(789) : see reference to function template instantiation 'X *std::vector<X,std::allocator<_Ty>>::_Ucopy<_Iter>(_Iter,_Iter,X *)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(766) : see reference to function template instantiation 'void std::vector<X,std::allocator<_Ty>>::_Construct<_Iter>(_Iter,_Iter,std::forward_iterator_tag)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(766) : see reference to function template instantiation 'void std::vector<X,std::allocator<_Ty>>::_Construct<_Iter>(_Iter,_Iter,std::forward_iterator_tag)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(854) : see reference to function template instantiation 'void std::vector<X,std::allocator<_Ty>>::_Construct<std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>>>(_Iter,_Iter)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(854) : see reference to function template instantiation 'void std::vector<X,std::allocator<_Ty>>::_Construct<std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>>>(_Iter,_Iter)' being compiled 
    with 
    [ 
     _Ty=X 
    , _Iter=std::move_iterator<std::_Vector_iterator<std::_Vector_val<std::_Simple_types<X>>>> 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(849) : while compiling class template member function 'void std::vector<X,std::allocator<_Ty>>::_Assign_rv(std::vector<_Ty,std::allocator<_Ty>> &&,std::false_type)' 
    with 
    [ 
     _Ty=X 
    ] 
    C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\vector(860) : see reference to function template instantiation 'void std::vector<X,std::allocator<_Ty>>::_Assign_rv(std::vector<_Ty,std::allocator<_Ty>> &&,std::false_type)' being compiled 
    with 
    [ 
     _Ty=X 
    ] 
    Test.cpp(16) : see reference to class template instantiation 'std::vector<X,std::allocator<_Ty>>' being compiled 
    with 
    [ 
     _Ty=X 
    ] 

Answer 1

Wie von dyp in den Kommentaren erwähnt, ist dies ein reported bug in C++11 *.Der Ausdruck

a = rv 

_{(wo a ist ein Container vom Typ X mit Elementtyp T und rv ist ein nicht-const rvalue vom Typ X)}
hatten die folgende Anforderung in der Tabelle 99 „Zuweiser-aware Behälter Anforderungen ":

Wenn allocator_traits<allocator_type>::propagate_on_container_move_assignment ::value false ist, T ist MoveInsellable in X und MoveAssignable. Alle vorhandenen Elemente von a sind entweder Bewegung zugeordnet oder zerstört.

allocator_traits hatte die folgende Definition von propagate_on_container_move_assignment:

typedefsiehe untenpropagate_on_container_move_assignment;

Typ:Alloc::propagate_on_container_move_assignment wenn eine solche Art existiert,
sonst false_type.

Das Problem war, dass man die entsprechende typedef in std::allocator, so propagate_on_container_move_assignment war immer false zu setzen vergessen. Dies wurde für C++ 14 gelöst, indem einfach typedef hinzugefügt wurde.

* _{Beachten Sie, dass [default.allocator] und [allocator.traits.types] tatsächlich in §20.6 in N3337, nicht §20.7 sind.}

Answer 2

Antwort für C++ 11: VS ist richtig, denn nach this Defekt Bericht, der Spezifikation der std::allocator

auf die führt nicht benötigte Anforderungen (MoveInsertable und MoveAssignable des Werttyps) auf dem Verschiebungszuweisungsoperator von Containern mit dem Standardzuordner.

Dies wurde jedoch in C++ 14 behoben. So, jetzt std::allocator nicht diesen Code macht illegal mehr und gemäß Tabelle 96 in N3797, ([20.2.1, container.requirements.general]), die Voraussetzung für das Template-Argument T von std::vector<T> =: X ist

Benötigt: T ist löschbar von X

der wahr ist und a = rv für einen Wert vom Typ aX und einen nicht-cpnst r-Wert rv vom Typ X auf die Anforderung eines

a soll auf der Wert gleich sein, die rv vor dieser Zuordnung hatte,

, so dass keine weitere Anforderung an T. Ich habe keine weiteren Anforderungen an T in [23.3.6, vector] gefunden, also sollte dies in C++ 14 der Gesetzestext sein (wie der Defektbericht suggeriert).