После выполнения этого фрагмента ситуация выглядит примерно так:

На рисунке видно характерное смещение

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

Как упоминалось в совете 26, некоторые функции контейнеров принимают в качестве параметров-итераторов только

. Поэтому если вы, допустим, захотите вставить новый элемент в позицию, определяемую итератором , сделать это напрямую не удастся; функция контейнера не принимает . Аналогичная проблема возникает при удалении элемента, определяемого итератором . Функции erase не соглашаются на и принимают только . Чтобы выполнить удаление или вставку, необходимо преобразовать в при помощи , а затем воспользоваться iterator для выполнения нужной операции.

Допустим, потребовалось вставить в

новый элемент в позиции, определяемой итератором . Для определенности будем считать, что вставляется число 99. Учитывая, что  на предыдущем рисунке используется для перебора справа налево, а новый элемент вставляется перед позицией итератора, определяющего позицию вставки, можно ожидать, что число 99 окажется перед числом 3 в обратном порядке перебора. Таким образом, после вставки вектор будет выглядеть так:

Конечно, мы не можем использовать 

для обозначения позиции вставки, поскольку это не . Вместо этого необходимо использовать . Как упоминалось выше, когда указывает на элемент 3, (то есть ) указывает на элемент 4. Именно на эту позицию должен указывать итератор , чтобы вставленный элемент оказался в той позиции, в которой он бы находился, если бы для вставки можно было использовать итератор . Заключение:

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

типа , выполните вставку в позицию . По отношению к операции вставки и эквивалентны, но в действительности представляет собой , соответствующий .

Рассмотрим операцию удаления элемента. Вернемся к взаимосвязи между

и исходным вектором (по состоянию на момент, предшествующий вставке значения 99):

Для удаления элемента, на который указывает итератор

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

• чтобы эмулировать удаление в позиции, заданной итератором

типа , выполните удаление в позиции, предшествующей . По отношению к операции удаления и не эквивалентны, a не является объектом , соответствующим .

Однако к коду стоит присмотреться повнимательнее, поскольку вас ждет сюрприз:

Решение выглядит вполне нормально. Выражение

правильно определяет элемент, предшествующий удаляемому. Более того, приведенный фрагмент будет нормально работать для всех стандартных контейнеров, за исключением и . Наверное, он бы мог работать и для этих контейнеров, но во многих реализациях и он не будет компилироваться. В таких реализациях типы (и ) реализованы в виде встроенных указателей, поэтому результатом вызова является указатель. В соответствии с требованиями как C, так и C++ указатели, возвращаемые функциями, не могут модифицироваться, поэтому на таких платформах STL выражения типа не компилируются. Чтобы удалить элемент в позиции, заданной итератором , и при этом сохранить переносимость, необходимо избегать модификации возвращаемого значения . Впрочем, это несложно. Если мы не можем уменьшить результат вызова , значит, нужно увеличить и после этого вызвать !