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

В любом случае я не стремлюсь обеспечить вас учебником по свойствам типов. Вместо этого я прошу вас обратить внимание на то, что каждое преобразование завершается “::type”. Если вы применяете их к параметру типа в шаблоне (что практически всегда является их применением в реальном коде), то вы также должны предварять каждое их применение ключевым словом typename. Причина обоих этих синтаксических требований заключается в том, что свойства типов в C++11 реализованы как вложенные typedef внутри шаблонных структур struct. Да, это так — они реализованы с помощью технологии, о которой я говорю, что она уступает шаблонам псевдонимов!

Тому есть исторические причины, но здесь мы их опустим (честное слово, это слишком скучно), поскольку Комитет по стандартизации с опозданием признал, что шаблоны псевдонимов оказываются лучшим способом реализации, и соответствующие шаблоны включены в С++14 для всех преобразований типов C++11. Псевдонимы имеют общий вид: для каждого преобразования C++11 std::преобразование::type имеется соответствующий шаблон псевдонима С++ 14 с именем std::преобразование_t. Вот примеры, поясняющие, что я имею в виду:

std::remove_const::type         // C++11: const T -> T
std::remove_const_t             // Эквивалент в С++14
std::remove_reference::type     // C++11: T&/Т&& -> T
std::remove_reference_t         // Эквивалент в С++14
std::add_lvalue_reference::type // C++11: T -> T&
std::add_lvalue_reference_t     // Эквивалент в С++14

Конструкции С++11 остаются в силе в С++14, но я не знаю, зачем вам может захотеться их использовать. Даже если у вас нет компилятора С++ 14, написание таких шаблонов псевдонимов самостоятельно — детская игра. Требуются только языковые возможности С++11, и даже ребенок сможет написать такие шаблоны. Если у вас есть доступ к электронной копии стандарта С++14, то все становится еще проще — вы можете просто скопировать необходимый код оттуда и вставить в свою программу. Вот вам для начала:

template
using remove_const_t = typename remove_const::type;

template
using remove_reference_t = typename remove_reference::type;

template
using add_lvalue_reference_t =
typename add_lvalue_reference::type;

Судите сами — что может быть проще?

Следует запомнить

• В отличие от объявлений псевдонимов, typedef не поддерживает шаблонизацию.

• Шаблоны псевдонимов не требуют суффикса “::type”, а в шаблонах — префикса typename, часто требуемого при обращении к typedef.

• С++14 предлагает шаблоны псевдонимов для всех преобразований свойств типов C++11.

3.4. Предпочитайте перечисления с областью видимости перечислениям без таковой

В качестве общего правила объявление имени в фигурных скобках ограничивает видимость этого имени областью видимости, определяемой этими скобками. Но не так обстоит дело с перечислениями в С++98. Имена в таких перечислениях принадлежат области видимости, содержащей enum, а это означает, что ничто иное в этой области видимости не должно иметь такое же имя:

enum Color {black, white, red}; // black, white, red находятся
                                // в той же области видимости,
                                // что и Color
auto white = false;             // Ошибка! white уже объяв-
                                // лено в этой области видимости

Тот факт, что эти имена перечисления “вытекают” в область видимости, содержащую определение их enum, приводит к официальному термину для данной разновидности перечислений: без области видимости (unscoped). Их новый аналог в С++11, перечисления с областью видимости (scoped enum), не допускает такой утечки имен:

enum class Color
 { black, white, red }; // black, white, red принадлежат
                        // области видимости Color
auto white = false;     // OK, других white нет

Color с = white;        // Ошибка! Нет имени перечисления
                        // "white" в этой области видимости

Color с = Color::white; // OK

auto с = Color::white;  // OK (и соответствует совету
                        // из раздела 2.1)

Поскольку enum с областью видимости объявляются с помощью ключевого слова class, о них иногда говорят как о классах перечислений.

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

enum Color {black, white, red}; // Перечисление без
                                // области видимости
std::vector        // Функция, возвращающая
primeFactors(std::size_t x);    // простые делители x

Color с = red;
…
if (с < 14.5) {                 // Сравнение Color и double (!)
 auto factors =                 // Вычисление простых делителей