Bạn có thể sử dụng `std :: remove_if` trên vùng chứa` std :: unique_ptr` không?

Question

Được cung cấp std::vector<std::unique_ptr<SomeType> >, việc sử dụng remove_if có hợp pháp không? Nói cách khác, với mã này:

std::vector<std::unique_ptr<SomeType> > v; 
// fill v, all entries point to a valid instance of SomeType... 
v.erase(std::remove_if(v.begin(), v.end(), someCondition), v.end()); 

, tôi đảm bảo sau khi erase rằng tất cả các con trỏ vẫn ở v là hợp lệ. Tôi biết rằng việc triển khai trực quan std::remove_if và được cung cấp tất cả các triển khai mà tôi đã xem, chúng sẽ là. Tôi muốn biết nếu có bất cứ điều gì trong tiêu chuẩn mà đảm bảo nó; tức là std::remove_if không được phép sao chép bất kỳ mục nhập hợp lệ nào mà không sao chép bản sao vào vị trí cuối cùng .

(Tôi, tất nhiên, giả rằng tình trạng này không sao chép Nếu điều kiện có một chữ ký như:.

struct Condition 
{ 
    bool operator()(std::unique_ptr<SomeType> ptr) const; 
}; 

, thì tất nhiên, tất cả các con trỏ sẽ không hợp lệ sau remove_if.)

Answer 1

25.3.8 trong N3290 nói về loại bỏ chức năng:

Yêu cầu: Các loại * đầu tiên phải đáp ứng các yêu cầu MoveAssignable (Bảng 22).

và

Lưu ý: mỗi phần tử trong khoảng [ret, họ), nơi ret là trở giá trị, có một trạng thái fi ed hợp lệ nhưng unspeci, bởi vì các thuật toán có thể loại bỏ các yếu tố bằng cách trao đổi có hoặc di chuyển từ các yếu tố đã là ban đầu trong phạm vi đó.

Điều này có nghĩa là tùy thuộc vào toán tử vị ngữ của bạn. Vì vị từ của bạn không tạo bản sao nên các phần tử sẽ không được sao chép.

Answer 2

Cũng giống như erase() và resize(), remove_if() sẽ di chuyển yếu tố (có thể thông qua trao đổi), vì vậy các yếu tố chứa không cần phải được copyable. Không có gì đặc biệt về unique_ptr, nó chỉ là một loại di chuyển khác.

Khi bạn chỉ ra, biến vị ngữ dĩ nhiên nên lấy các phần tử bằng tham chiếu const. Một lần nữa, cũng giống như đối với bất kỳ loại di chuyển nào.