Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14 - [38]

. Переделка кода для использования const_iterator должна быть тривиальной задачей… но не в С++98. Вот один из подходов, концептуально надежный, но все еще не совсем корректный:

typedef std::vector::iterator IterT;
std::vector::const_iterator ConstIterT;

std::vector values;

ConstlterT ci =
 std::find(static_cast(values.begin()),
           static_cast(values.end()),
           1983);

values.insert(static_cast(ci), // Может не
              1998);                  // компилироваться!

Конструкции typedef применять, конечно, необязательно, но они облегчают написание приведений. (Если вы удивляетесь, почему я использую typedef, а не следую собственному совету из раздела 3.3 и не применяю объявлений псевдонимов, то я напомню, что в этом примере демонстрируется код С++98, а объявления псевдонимов — новая возможность в С++11.)

Приведения в вызове std::find присутствуют потому, что values является неконстантным контейнером, а в С++98 нет простого способа получить константный итератор из неконстантного контейнера. Приведения не являются строго необходимыми, так как можно получить const_iterator другими способами (например, вы можете связать values с переменной, являющейся ссылкой на константный объект, а затем использовать ее в своем коде вместо values), но к какому бы способу вы ни прибегли, процесс получения const_iterator, указывающего на элементы неконстантного контейнера, включает определенное количество “кривизны”.

После того как вы получаете const_iterator, ситуация ничуть не улучшается, поскольку в С++98 местоположения для вставки (и удаления) могут указывать только неконстантные итераторы iterator. Итераторы const_iterator для этого неприменимы. Вот почему в приведенном выше коде я выполняю приведение const_iterator (который я с таким трудом получил из std::find) в iterator: передача const_iterator в функцию insert не будет компилироваться.

Честно говоря, показанный мной код может не скомпилироваться, поскольку не существует переносимого преобразования const_iterator в iterator, даже с помощью static_cast. Может не сработать даже семантическая кувалда reinterpret_cast. (Это не ограничение С++98. Это справедливо и для C++11. const_iterator просто не преобразуется в iterator — неважно, насколько простым кажется такое преобразование.) Есть несколько переносимых способов сгенерировать iterator, который указывает на то же, на что и const_iterator, но они не очевидны, не универсальны и не стоят того, чтобы рассматривать их в данной книге. Кроме того, я надеюсь, что теперь понятна моя позиция: const_iterator причиняли так много неприятностей в С++98, что редко стоили того, чтобы о них беспокоиться и их использовать. По большому счету программисты всегда использовали const не где это только возможно, а только там, где это практично, а в С++98 const_iterator особо практичным не является.

Все изменилось с появлением C++11. Теперь const_iterator легко получить и легко использовать. Функции-члены контейнера cbegin и cend возвращают const_iterator даже для неконстантных контейнеров, а функции-члены STL, которые применяют итераторы для указания позиций (например, insert и erase), в действительности используют итераторы const_iterator. Переделка кода С++98, который использовал iterator, в код с const_iterator  в С++11 воистину тривиальна:

std::vector values;          // Как и ранее
…
auto it =
 std::find(values.cbegin(),      // Используем cbegin
           values.cend(), 1983); // и cend
values.insert(it, 1998);

Теперь код, использующий const_iterator, стал действительно практичным!

Почти единственной ситуацией, в которой поддержка С++11 для const_iterator оказывается недостаточной, является ситуация, когда вы хотите написать максимально обобщенный библиотечный код. Такой код принимает во внимание то, что некоторые контейнеры и контейнерообразные структуры данных предоставляют функции begin и end (а также cbegin, cend, rbegin и т.д.) как функции, не являющиеся членами. Это происходит, например, в случае встроенных массивов или при использовании некоторых библиотек сторонних производителей с интерфейсами, состоящими только из свободных функций. Максимально обобщенный код использует функции, не являющиеся членами, а не предполагает наличие функций-членов.

Например, мы можем обобщить код, с которым только что работали, в шаблон findAndInsert следующим образом:

template
void findAndInsert(C& container,       // В container находит
                   const V& targetVal, // первое значение
                   const V& insertVal) // targetVal, затем
{                                      // вставляет insertVal
 using std::cbegin;
 using std::cend;

 auto it = std::find(cbegin(container), // Не член cbegin
                     cend(container),   // Не член cend
                     targetVal);

 container.insert(it, insertVal);
}

Этот код прекрасно работает в С++14, но, к сожалению, не в С++11. Из-за недосмотра в процессе стандартизации в С++11 добавлены не являющиеся членами функции begin и end