Чтение онлайн

При вызове передаются два параметра,

и . Параметр относится к типу , который представляет собой определение типа для. Для компилятора это означает, что при вызове соответствует типу . Однако относится к типу , который представляет собой определение типа для . Из этого следует, что соответствует типу . никак не может соответствовать двум типам одновременно, поэтому вызов завершается неудачей и каким-нибудь запутанным сообщением об ошибке, из которого можно (или нельзя) понять, что компилятор не смог определить тип .

Чтобы вызов нормально компилировался, необходимо ликвидировать неоднозначность. Для этого проще всего явно задать параметр-тип, используемый

, и избавить компилятор от необходимости определять его самостоятельно:

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

и получить , соответствующий заданному , но до настоящего момента совершенно не рассматривался вопрос, представляющий большой практический интерес: насколько эффективна данная методика? Ответ прост: она эффективна настолько, насколько это позволяют итераторы. Для итераторов произвольного доступа, поддерживаемых контейнерами , , и т. д., эта операция выполняется с постоянным временем. Для двусторонних итераторов (к этой категории относятся итераторы других стандартных контейнеров, а также некоторых реализаций хэшированных контейнеров — см. совет 25) эта операция выполняется с линейным временем.

Поскольку получение

, эквивалентного , может потребовать линейного времени, и поскольку это вообще невозможно сделать при недоступности контейнера, к которому относится , проанализируйте архитектурные решения, вследствие которых возникла необходимость получения по . Результат такого анализа станет дополнительным доводом в пользу совета 26, рекомендующего отдавать предпочтение перед – и – итераторами.

При вызове функции

для итератора будет получен «соответствующий» , однако из сказанного совершенно не ясно, что же при этом происходит. В качестве примера рассмотрим следующий фрагмент, который заносит в вектор числа 1–5, устанавливает на элемент 3 и инициализирует функцией :

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

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

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

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

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

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

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

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

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