Vô hiệu hóa Iterator (Iterator Invalidation) trong C++

Trong C++, có các container như vector, list, set, map... Để duyệt, ta dùng iterator. Cần cẩn thận khi dùng iterator. Khi duyệt container, đôi khi iterator bị vô hiệu hóa. Nếu hình dạng, kích thước thay đổi, có thể gặp vấn đề này. Ví dụ sau minh họa vấn đề vô hiệu hóa.

Ví dụ Code

#include <iostream>
#include <vector>
using namespace std;

int main() {
  vector<int> vec{11, 55, 110, 155, 220};
  for (auto it = vec.begin(); it != vec.end(); it++)
    if ((*it) == 110)
      vec.push_back(89); // chèn giá trị mới khi đang duyệt vector
  for (auto it = vec.begin(); it != vec.end(); it++)
    cout << (*it) << " ";
}

Kết quả

11 55 110 155 220 89 89

Chương trình này có thể cho kết quả khác nhau. Vector chưa định nghĩa kích thước trước. Khởi tạo một số giá trị. Khi duyệt, ta thêm một giá trị. Nếu vector hết chỗ, nó cấp phát khối bộ nhớ mới tại runtime, sao chép tất cả phần tử. Nhưng iterator vẫn trỏ địa chỉ cũ. Điều này gây vô hiệu hóa.

Xem một số quy tắc về vô hiệu hóa iterator: