Trình lặp của bản đồ STL có thể vượt quá giới hạn thông qua việc gia tăng không?

Question

Đối với các thùng chứa liên kết, toán tử ++ có thể gửi một trình lặp qua cuối bộ sưu tập không?

Ví dụ:

map<UINT32, UINT32> new_map; 
new_map[0] = 0; 
new_map[1] = 1; 

map<UINT32, UINT32> new_iter = new_map.begin(); 

++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 

Vào cuối này, không new_iter == new_map.end(), hoặc dùng nó kết thúc trong các bí ẩn lớn?

Lưu ý: Tôi biết điều này là sai lầm và không phải là cách để làm việc. Tôi đang làm việc xung quanh một số mã công ty WTF.

Answer 1

Nếu bạn tăng trình kết thúc vòng lặp, kết quả là hành vi không xác định. Vì vậy, nó có thể vẫn còn kết thúc, hoặc đi ra khỏi kết thúc, hoặc gửi email cho bà của bạn một liên kết để goatse.

Xem thêm: What if I increment an iterator by 2 when it points onto the last element of a vector?

Answer 2

Điều kiện tiên quyết trên operator ++ cho một iterator về phía trước là iterator là dereferenceable. Điều này ngụ ý rằng nó không thể vượt qua cuối bản đồ, vì vậy mã của bạn cho hành vi không xác định. Điều này được mô tả trong phần 24.1.3 của tiêu chuẩn C++.

Answer 3

Như những người khác đã chỉ ra, tăng trình lặp kết thúc gây ra hành vi không xác định, tuy nhiên nó đáng chú ý rằng Visual Studio 2008 sẽ ném một xác nhận gỡ lỗi tại thời gian chạy (do checked iterators) của nó nếu bạn làm điều này.