Чтобы понять смысл происходящего, необходимо запомнить следующее: Алгоритм remove «по настоящему» ничего не удаляет, потому что не может. На всякий случай повторю: …потому что не может!

Алгоритм

не знает, из какого контейнера он должен удалять элементы, а без этого он не может вызвать функцию «настоящего» удаления.

Итак, теперь вы знаете, чего алгоритм

сделать не может и по каким причинам. Остается понять, что же он все-таки делает.

В общих чертах

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

В рассмотренном выше примере вектор

перед вызовом выглядел следующим образом:

Предположим, возвращаемое значение

сохраняется в новом итераторе с именем :

После вызова вектор

принимает следующий вид:

Вопросительными знаками отмечены значения элементов, «концептуально» удаленных из

, но продолжающих благополучно существовать.

Раз «оставшиеся» элементы v находятся между

и , было бы логично предположить, что «удаленные» элементы будут находиться между и . Но это не так! Присутствие «удаленных» элементов в v вообще не гарантировано. Алгоритм не изменяет порядок элементов в интервале так, чтобы «удаленные» элементы сгруппировались в конце — он перемещает «остающиеся» элементы в начало. Хотя в Стандарте такое требование отсутствует, элементы за новым логическим концом интервала обычно сохраняют свои старые значения. Во всех известных мне реализациях после вызова вектор выглядит так:

Как видите, два значения «99», ранее существовавших в

, исчезли, а одно осталось. В общем случае после вызова элементы, удаленные из интервала, могут остаться в нем, а могут исчезнуть. Многие программисты находят это странным, но почему? Вы просите убрать некоторые элементы, алгоритм выполняет вашу просьбу. Вы же не просили разместить удаленные значения в особом месте для последующего использования… Так в чем проблема? (Чтобы предотвратить потерю значений, вместо remove лучше воспользоваться алгоритмом , описанным в совете 31.)

На первый взгляд поведение remove выглядит довольно странно, но оно является прямым следствием принципа работы алгоритма. Во внутренней реализации

перебирает содержимое интервала и перезаписывает «удаляемые» значения «сохраняемыми». Перезапись реализуется посредством присваивания.

Алгоритм

можно рассматривать как разновидность уплотнения, при этом удаляемые значения играют роль «пустот», заполняемых в процессе уплотнения. Опишем, что происходит с вектором v из нашего примера.

1. Алгоритм

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

2. Алгоритм определяет, что элемент

подлежит удалению, запоминает этот факт и переходит к . Фактически рассматривается как «дыра», подлежащая заполнению.

3. Значение

необходимо сохранить, поэтому алгоритм присваивает элементу , запоминает, что подлежит перезаписи, и переходит к . Если продолжить аналогию с уплотнением, элемент «заполняется» значением , а на месте образуется новая «дыра».

4. Элемент

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

5. Элемент

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

6. Аналогичным образом анализируются элементы

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

7. Алгоритм возвращает итератор для элемента, следующего за последним «оставшимся». В данном примере это элемент

.

Перемещения элементов в векторе

выглядят следующим образом:

Как объясняется в совете 33, факт перезаписи некоторых удаляемых значений имеет важные последствия в том случае, если эти значения являются указателями. Но в контексте данного совета достаточно понимать, что

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