Hành vi xóa `kết thúc()` của một `std :: list` là gì?

Question

Tôi cần phải xóa một phần tử khỏi một số std::list sau khi tìm thấy nó với std::find. Hành vi gọi std::list::erase với số end() của danh sách là gì? trường hợp của tôi là một cái gì đó như thế này:

std::list<T> mylist; 
T value; 
std::list::iterator it = std::find(mylist.begin(), mylist.end(), value); 
std::list::iterator next = mylist.erase(it); 

cplusplus.com nói:

Nếu vị trí (hoặc phạm vi) là hợp lệ, chức năng không bao giờ ném (đảm bảo không ném) trường hợp ngoại lệ. Nếu không, nó gây ra hành vi không xác định.

nhưng những gì tôi không biết là liệu end() được coi là hợp lệ ở đó hay không.

Answer 1

Trang web đó sử dụng cụm từ mơ hồ (và có thể cho là không chính xác) "hợp lệ", nhưng đặc tả thư viện (C++ 11 23.2.3) sử dụng thuật ngữ cụ thể hơn "dereferenceable" - nghĩa là trình lặp phải tham chiếu đến một đối tượng. Trình lặp cuối cùng không thể bỏ qua, vì vậy việc xóa nó cho hành vi không xác định.

Answer 2

Nó không phải là. Đang cố gắng xóa end() kết quả trong hành vi không xác định.

Answer 3

end() Trả về một trình vòng lặp tham chiếu tới trình lặp vòng lặp trong suốt trong vùng chứa danh sách và không phải là đối tượng cuối cùng trong danh sách.

Bằng cách xóa/xóa kết thúc, bạn đang xóa bên ngoài phạm vi danh sách của mình. code của bạn nên là:

std::list<T> mylist; 
T value; 
std::list::iterator it = std::find(mylist.begin(), mylist.end(), value); 
If(it!=mylist.end()) 
    std::list::iterator next = mylist.erase(it); 

Ngoài ra nếu find() thất bại trong việc tìm một giá trị trong danh sách của bạn nó sẽ trả lại lặp kết thúc, nó là cơ bản nói với bạn rằng giá trị mà bạn đang tìm kiếm nằm ngoài danh sách của bạn (không có trong danh sách của bạn)