Có an toàn khi sử dụng emplace_back với một thùng chứa unique_ptrs không?

Question

xem xét như sau:

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

Nếu phân bổ lại xảy ra trong vector, và thất bại (ném std::bad_alloc), tôi "an toàn" hay tôi sẽ bị rò rỉ một int?

C++ 11 23.3.6.5 [vector.modifiers]/1 nói:

Nếu một ngoại lệ được ném khác hơn là bởi các nhà xây dựng sao chép, di chuyển nhà xây dựng, nhà điều hành chuyển nhượng, hoặc di chuyển điều hành giao T hoặc bởi bất kỳ hoạt động nào InputIterator không có hiệu ứng.

có vẻ như đây là vấn đề tiềm năng. Tức là, nếu có "không có hiệu ứng", thì không có unique_ptr nào được xây dựng, và do đó hành vi hủy diệt sẽ dựa vào delete con trỏ đó sẽ không xảy ra. (Có thể chỉ ra rằng emplace_back nên bị cấm đối với các thùng chứa unique_ptr s)

Answer 1

Nếu tái phân bổ là cần thiết và không thành công, thì có, đối tượng của bạn không bao giờ đi vào vùng chứa và do đó sẽ bị mất.

Tuy nhiên, cần lưu ý rằng đây là lỗi người dùng thuần túy. emplace_back không nên "cấm" đối với các thùng chứa unique_ptr, bởi vì có cách hoàn toàn an toàn để thực hiện việc này (chẳng hạn như reserve nhập không gian trước đó, vì vậy bạn biết nó sẽ luôn ở đó). Ngoài ra, bạn có thể vượt qua toàn bộ unique_ptr s, vì nó hoàn toàn có khả năng sử dụng một hàm tạo di chuyển. Vì vậy, thực sự, đó là lỗi của bạn vì không đúng cách gói đối tượng không RAII của bạn (int*) trong một đối tượng RAII trước khi bạn có thể ném ngoại lệ.