std :: vector :: push_back non-copyable obiekt daje błąd kompilatora

Question

pojawiają się błędy kompilacji na g++ (GCC) 4.7.2 ale nie na MSVC-2012 podczas próby std::vector::push_back niebędącego copyable (prywatny konstruktora kopia), ale ruchomego obiektu. Dla mnie mój przykład wygląda identycznie jak wiele innych przykładów na SO i gdzie indziej. Komunikat o błędzie sprawia, że ​​wygląda na to, że struktura nie jest "bezpośrednia, możliwa do skonstruowania" - nie wiem, co to znaczy, dlatego nie mam wątpliwości co do tego, dlaczego obiekt musi być "możliwy do bezpośredniej konstrukcji", aby można go było odepchnąć.

#include <vector> 
#include <memory> 

struct MyStruct 
{ 

    MyStruct(std::unique_ptr<int> p); 
    MyStruct(MyStruct&& other); 
    MyStruct& operator=(MyStruct&& other); 

    std::unique_ptr<int> mP; 

private: 
      // Non-copyable 
    MyStruct(const MyStruct&); 
    MyStruct& operator=(const MyStruct& other); 
}; 

int main() 
{ 

    MyStruct s(std::unique_ptr<int>(new int(5))); 
    std::vector<MyStruct> v; 

    auto other = std::move(s);  // Test it is moveable 
    v.push_back(std::move(other)); // Fails to compile 

    return 0; 
} 

Daje błędom

/usr/lib/gcc/x86_64-redhat-linux/4.7.2/../../../../include/c++/4.7.2/type_traits: In instantiation of ‘struct std::__is_direct_constructible_impl<MyStruct, const MyStruct&>’: 
... snip ... 
/usr/lib/gcc/x86_64-redhat-linux/4.7.2/../../../../include/c++/4.7.2/bits/stl_vector.h:900:9: required from ‘void std::vector<_Tp, _Alloc>::push_back(std::vector<_Tp, _Alloc>::value_type&&) [with _Tp = MyStruct; _Alloc = std::allocator<MyStruct>; std::vector<_Tp, _Alloc>::value_type = MyStruct]’ 
main.cpp:27:33: required from here 
main.cpp:16:5: error: ‘MyStruct::MyStruct(const MyStruct&)’ is private 

Proste obejście z różnych odpowiedzi:

• Zastosowanie MyStruct(const MyStruct&) = delete; zamiast private ctor włamywanie
• Dziedziczy boost::noncopyable (lub innej klasy z prywatnym ctor)

Answer 1

Niepowodzenie to spowodowane ograniczeniem G ++ 4.7, który nie wdrożyć DR 1170, który został zmieniony bardzo późno w C++ 11 procesie normalizacji powiedzieć, że kontrola dostępu powinny być wykonane jako część szablonu odliczenia argumentów .

Podstawową przyczyną jest to, że libstdc ruszy ++ 's vector elementy, jeżeli zapewniona jest operacja ruch, aby nie rzucać (czyli jest zadeklarowana noexcept lub throw()), w przeciwnym razie, jeśli typ jest copyable elementy zostaną skopiowane, w przeciwnym razie, jeśli typ nie jest możliwe do skopiowania, ale ma operację przenoszenia z możliwością rzucania, a następnie zostanie przeniesiony (a jeśli zostanie zgłoszony wyjątek, wyniki nie zostaną określone). Jest to realizowane za pomocą sprawdzania cech typu is_nothrow_move_constructible i is_copy_constructible. W twoim przypadku typ nie jest ruchomy, a cecha is_copy_constructible jest zaznaczona. Twój typ ma konstruktor kopiowania, ale nie jest dostępny, więc cecha is_copy_constructible powoduje błąd kompilacji w G ++ 4.7, ponieważ sprawdzanie dostępu nie odbywa się podczas dedukcji argumentu szablonu.

Jeśli dokonać konstruktora poruszać i przemieszczać operator przypisania noexcept wówczas typ zostanie przeniesiony i nie musi być copyable, więc is_copy_constructible cecha, że ​​nie nie jest używany, a kod kompiluje OK.

Ewentualnie, (jak również stwierdzono w komentarzach), jeśli usuniesz konstruktora kopiowania, wówczas właściwość is_copy_constructible uzyskuje właściwy wynik.

Inną alternatywą jest użycie coś jak boost::noncopyable które pośrednio sprawia konstruktora kopii usuniętej więc cecha is_copy_constructible działa prawidłowo (a także współpracuje ze starszymi kompilatorów jak MSVC, które nie obsługują funkcji skasowanych prawidłowo). Nie wiem, co masz na myśli mówiąc, że nie można znaleźć błędu, czy MSVC nie pokazuje pełnego kontekstu błędu kompilatora?

Wnioski: Stosowanie unique_ptr gdzie właściwe, ale nie robią klas wyraźnie ruchome

Nie zgadzam się z tym wnioskiem, jest zbyt ekstremalne. Zamiast tego spraw, aby lekcje były nieruchome, gdy tylko jest to możliwe. Jeśli to możliwe, użyj usuniętych funkcji, aby utworzyć typ niekopiowalny zamiast prywatnych + niezaimplementowanych funkcji, może używając makra do przenoszenia do starszych kompilatorów, np.

#if __cplusplus >= 201103L 
#define NONCOPYABLE(TYPE) \ 
    TYPE(const TYPE&) = delete; TYPE& operator=(const TYPE&) = delete 
#else 
// must be used in private access region 
#define NONCOPYABLE(TYPE) \ 
    TYPE(const TYPE&); TYPE& operator=(const TYPE&) 
#endif 

struct MyStruct 
{ 
... 
private: 
    NONCOPYABLE(MyStruct); 
};