Czy można bezpiecznie używać emplace_back z kontenerem unique_ptrs?

Question

Rozważmy następujący:

std::vector<std::unique_ptr<int>> ptrsToInts; 
ptrsToInts.emplace_back(new int); 

Jeżeli występuje przesunięcie w wektorze, a które nie (rzucanie std::bad_alloc), jestem „bezpieczne” lub będzie przeciekać się int?

C++ 11 23.3.6.5 [vector.modifiers]/1 mówi:

razie zgłaszany jest wyjątek inny sposób niż przez konstruktora kopii przesunąć konstruktor operatorowi przeniesienia lub przejść operatora Przyporządkowanie T lub przez dowolną operację InputIterator nie ma żadnych efektów.

co wydaje się wskazywać, że jest to potencjalny problem. Oznacza to, że jeśli istnieją "brak efektów", to nigdy nie skonstruowano żadnego unique_ptr, a zatem zachowanie destruktora polegałoby na delete, że wskaźnik nie wystąpiłby. (Co może oznaczać, że należy zablokować emplace_back dla pojemników unique_ptr s)

Answer 1

Jeśli wymagana jest realokacja i nie uda się, to tak, twój obiekt nigdy nie wszedł do pojemnika i dlatego zostanie utracony.

Należy jednak zauważyć, że jest to czysty błąd użytkownika. emplace_back nie powinno być "zakazane" dla kontenerów o numerze unique_ptr, ponieważ istnieją całkowicie bezpieczne sposoby na zrobienie tego (np. reserve ing przestrzeni wcześniej, więc wiesz, że zawsze będzie tam). Możesz także przekazać cały kod unique_ptr s, ponieważ jest on całkowicie zdolny do użycia konstruktora ruchu.

Naprawdę, twoja wina polega na tym, że nie prawidłowo zawijasz obiektu nie będącego RAII (int*) w obiekcie RAII przed punktem, w którym możesz zgłaszać wyjątki.