Iterator Invalidation ใน C++

ใน C++ มี container หลายอย่าง vector, list, set, map ใช้ iterator วนลูป ต้องระวังเพราะ iterator อาจ invalidated ได้ หากรูปทรงหรือขนาดเปลี่ยนแปลง ตัวอย่างต่อไปแสดงปัญหา invalidation

ตัวอย่างปัญหา

#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); // แทรกค่าใหม่ขณะวนลูป
    for (auto it = vec.begin(); it != vec.end(); it++)
        cout << (*it) << " ";
}

ผลลัพธ์

11 55 110 155 220 89 89

ในโปรแกรมนี้ขนาด vector ไม่ได้กำหนดไว้ล่วงหน้า ขณะวนลูปเพิ่มค่า ถ้า vector ไม่มีพื้นที่ จะจองบล็อกหน่วยความจำใหม่และคัดลอกทุกสมาชิก แต่ iterator ยังชี้ที่เก่า อาจเกิด invalidation

กฎสำหรับ iterator invalidation: