Вектор получает итерация раза больше, чем размер()

Question

У меня есть этот кусок кода:

for (std::vector<Marker>::iterator it = markers.begin(); it != markers.end(); ++it) { 
    if (it->getDots().size() < 3) { 
     markers.erase(it); 
    } 
} 

В одном из тестовых входов (приложение делает анализ изображения) я получаю Segfault. Я попытался отладить код (безрезультатно) и заметил одну вещь. При запросе gdb на p markers.size() я получаю $9 = 3. Поэтому я ожидал бы, что цикл будет повторяться три раза, но на удивление он делает это (по крайней мере) 5 раз. На пятой итерации есть segfault. Я также заметил, что это не разыменование *it (здесь it->), что вызывает ошибку. Это конкретно it->getDots(), который является простым геттером.

Я пишу на C++ очень редко, поэтому это может быть какая-то простая ошибка, но ни моя отладка, ни поисковая система не принесли никакого решения. Не могли бы вы помочь?

Я хотел бы подчеркнуть, что на разных входах (несколько разных изображений) эта функция работает правильно, поэтому мне еще сложнее проследить ошибку.

Answer 1

vector::erase аннулирует все итераторы, указывающие на элемент, стертые, и все элементы, которые следуют. Таким образом, it становится недействительным, а выражение ++it на следующей итерации цикла демонстрирует неопределенное поведение.

Лучший способ закодировать эту логику - erase-remove idiom.

Answer 2

Вам необходимо обновить it когда вы стираете:

it = markers.erase(it); 

так erase будет «перемен» vector, и ваш текущий it больше не действует (и только делать it++ если, когда вы не стереть).

Однако более распространенным способом сделать это, чтобы использовать этот тип конструкции:

markers.erase(std::remove(markers.begin(), markers.end(), number_in), markers.end()); 

Answer 3

Проблема эта линия:

markers.erase(it); 

Итератор недействительным. Но это нормально, erase возвращает действительный итератор:

auto it = markers.begin(); 
while(it != markers.end()) 
{ 
    if(it->getDots().size() < 3) { 
     it = markers.erase(it); 
    } 
    else ++it; 
}