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

• Некоторым версиям insertи eraseпри вызове должен передаваться тип iterator. Const- и reverse-итераторы им не подходят.

• Автоматическое преобразование const-итератора в iteratorневозможно, а методика получения iteratorна основании const_iterator(совет 27) применима не всегда, да и эффективность ее не гарантируется.

• Преобразование reverse_iteratorв iteratorможет требовать дополнительной регулировки итератора. В совете 28 рассказано, когда и почему возникает такая необходимость.

Из сказанного следует однозначный вывод: если вы хотите работать с контейнерами просто и эффективно и по возможности застраховаться от нетривиальных ошибок, выбирайте iteratorвместо его const- и reverse-аналогов.

На практике выбирать обычно приходится между iteratorи const_iterator. Выбор между iteratorи reverse_iteratorчасто происходит помимо вашей воли — все зависит от того, в каком порядке должны перебираться элементы контейнера (в прямом или в обратном). А если после выбора reverse_iteratorпотребуется вызвать функцию контейнера, требующую iterator, вызовите функцию base(возможно, с предварительной регулировкой смещения — см. совет 28).

При выборе между iteratorи const_iteratorрекомендуется выбирать iteratorдаже в том случае, если можно обойтись const_iterator, а использование iteratorне обусловлено необходимостью вызова функции контейнера. В частности, немало хлопот возникает при сравнениях iteratorс const_iterator. Думаю, вы согласитесь, что следующий фрагмент выглядит вполне логично:

typedef deque IntDeque; // Определения типов

typedef IntDeque:iterator Iter; // упрощают работу

typedef IntDeque::const_iterator ConstIter; // с контейнерами STL

// и типами итераторов

iter i;

ConstIter ci;

… // i и ci указывают на элементы

// одного контейнера

if (i==ci)… // Сравнить iterator

//c const_iterator

В данном примере происходит обычное сравнение двух итераторов контейнера, подобные сравнения совершаются в STL сплошь и рядом. Просто один объект относится к типу iterator, а другой — к типу const_iterator. Проблем быть не должно — iteratorавтоматически преобразуется в const_iterator, и в сравнении участвуют два const_iterator.

Именно это и происходит в хорошо спроектированных реализациях STL, но в некоторых случаях приведенный фрагмент не компилируется. Причина заключается в том, что такие реализации объявляют operator==функцией класса const_iteratorвместо внешней функции. Впрочем, вас, вероятно, больше интересуют не корни проблемы, а ее решение, которое заключается в простом изменении порядка итераторов:

if ( c==i)… // Обходное решение для тех случаев,

// когда приведенное выше сравнение не работает

Подобные проблемы возникают не только при сравнении, но и вообще при смешанном использовании iteratorи const_iterator(или reverse_iteratorи const_reverse_iterator) в одном выражении, например, при попытке вычесть один итератор произвольного доступа из другого:

if (i-ci>=3)… // Если i находится минимум в трех позициях после ci…

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

if ( c+3<=i)… // Обходное решение на случай, если

// предыдущая команда не компилируется

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

Как было сказано в совете 26, некоторые функции контейнеров, вызываемые с параметрами-итераторами, ограничиваются типом iterator; const_iteratorим не подходит. Что же делать, если имеется const_iteratorи вы хотите вставить новый элемент в позицию контейнера, обозначенную этим итератором? Const_iteratorнеобходимо каким-то образом преобразовать в iterator, и вы должныпринять в этом активное участие, поскольку, как было показано в совете 26, автоматического преобразования const_iteratorв iterator не существует.