Скотт Мейерс - Эффективное использование STL

Проблема решается просто: необходимо позаботиться о том, чтобы итератор переводился на следующий элемент с перед вызовом erase. Это проще всего сделать постфиксным увеличением i при вызове:

АссоцКонтейнер с;

for( АссоцКонтейнер< int>::iterator i=c.begin();// Третья часть заголовка

i!=c.end(); // цикла for пуста; i теперь

/* пусто */) { // изменяется внутри цикла

if (badValue(*i)) c.erase(i++);// Для удаляемых элементов

else ++i; // передать erase текущее

} // значение i и увеличить i.

// Для остающихся элементов

// просто увеличить i

Новый вариант вызова eraseработает, поскольку выражение i++равно старому значению i, но у него имеется побочный эффект — приращение i. Таким образом, мы передаем старое (не увеличенное) значение iи увеличиваем iперед вызовом erase. Именно это нам и требовалось. Хотя это решение выглядит просто, лишь немногие программисты предложат его с первой попытки.

Пора сделать следующий шаг. Помимо простого удаления всех элементов, для которых badValueвозвращает true, мы также хотим регистрировать каждую операцию удаления в журнале.

Для ассоциативных контейнеров задача решается очень просто, поскольку она требует лишь тривиальной модификации созданного цикла:

ofstream logFile;// Файл журнала

АссоцКонтейнер с;

…

for( АссоцКонтейнер ::iterator i=c.begin();// Заголовок цикла остается

i!=c.end();) { // без изменений

if(badValue(*i)) {

logFile<<"Erasing "<<*i<<'\n';// Вывод в журнал

c.erase(i++);// Удаление

} else ++i;

}

На этот раз хлопоты возникают с vector, stringи deque. Использовать идиому erase/removeне удается, поскольку eraseили remove_ifнельзя заставить вывести данные в журнал. Более того, вариант с циклом for, только что продемонстрированный для ассоциативных контейнеров, тоже не подходит, поскольку для контейнеров vector, stringи dequeон приведет к непредсказуемым последствиям. Вспомните, что для этих контейнеров в результате вызова eraseстановятся недействительными все итераторы, указывающие на удаляемый элемент. Кроме того, недействительными становятся все итераторы после удаляемого элемента, в нашем примере — все итераторы после i. Конструкции вида i++, ++iи т. д. невозможны, поскольку ни один из полученных итераторов не будет действительным.

Следовательно, с vector, stringи dequeнужно действовать иначе. Мы должны воспользоваться возвращаемым значением erase, которое содержит именно то, что нам требуется — действительный итератор, который указывает на элемент, следующий за удаленным. Иначе говоря, программа выглядит примерно так:

for( ПослКонтейнер ::iterator = cbegin(); i != cend(); ) {

if (badValue(*i)) {

logFile<<"Erasing "<<*i<<'\n';

i=c.erase()); // Сохраняем действительный итератор i,

} // для чего ему присваивается значение,

else ++i; // возвращаемое функцией erase

}

Такое решение превосходно работает, но только для стандартных последовательных контейнеров. По весьма сомнительным причинам (совет 5) функция eraseдля стандартных ассоциативных контейнеров возвращает void. В этом случае приходится использовать методику с постфиксным приращением итератора, переданного erase. Кстати говоря, подобные различия между последовательными и ассоциативными контейнерами — один из примеров того, почему контейнерно-независимый код обычно считается нежелательным (совет 2).

Какое из этих решений лучше подойдет для контейнера list? Оказывается, в отношении перебора и удаления listможет интерпретироваться как vector/string/dequeили как ассоциативный контейнер — годятся оба способа. Обычно выбирается первый вариант, поскольку list, как и vector/string/deque, принадлежит к числу последовательных контейнеров. С точки зрения опытного программиста STL программа, в которой перебор и удаление из listпроизводятся по правилам ассоциативных контейнеров, выглядит странно.

Подводя итог всему, о чем рассказывалось в этом совете, мы приходим к следующим заключениям.

Удаление всех объектов с заданным значением:

• контейнеры vector, stringи deque: используйте идиому erase/remove;

• контейнер list: используйте list::remove;