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

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

Кстати, если функция-член использует ссылочный квалификатор, все перегрузки этой функции также должны использовать его. Это связано с тем, что перегрузки без этих квалификаторов могут вызываться как для объектов lvalue, так и для объектов rvalue. Такие перегрузки будут конкурировать с перегрузками, имеющими ссылочные квалификаторы, так что все вызовы функции будут неоднозначными.

• Объявляйте перекрывающие функции как override.

• Ссылочные квалификаторы функции-члена позволяют по-разному рассматривать lvalue- и rvalue-объекты ( *this).

Итераторы const_iteratorпредставляют собой STL-эквивалент указателя на const. Они указывают на значения, которые не могут быть изменены. Стандартная практика применения constтам, где это только возможно, требует применения const_iteratorвезде, где нужен итератор, но не требуется изменять то, на что этот итератор указывает.

Это верно как для С++98, так и для C++11, но в С++98 поддержка const_iteratorносит половинчатый характер. Такие итераторы не так легко создавать, а если у вас уже имеется такой итератор, его использование весьма ограничено. Предположим, например, что вы хотите выполнить в std::vectorпоиск первого встречающегося значения 1983 (год, когда название языка программирования “С с классами” сменилось на С++), а затем вставить в это место значение 1998 (год принятия первого ISO-стандарта С++). Если в векторе нет значения 1983, вставка выполняется в конец вектора. При использовании итераторов iterator в С++98 сделать описанное просто:

std::vector values;

std::vector::iterator it =

std::find(values.begin(), values.end(), 1983);

values.insert(it, 1998);

Но iterator— в данном случае не совсем верный выбор, поскольку этот код не изменяет объект, на который указывает iterator. Переделка кода для использования 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особо практичным не является.