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

// собой данные-член!

};

Как видите, MyAllocList::typeне является типом. Если Widgetинстанцирован с Wine, MyAllocList::typeв шаблоне Widgetпредставляет собой данные-член, а не тип. Ссылается ли MyAllocList::typeна тип в шаблоне Widget, зависит от того, чем является T, а потому компиляторы требуют, чтобы вы точно указывали, что это тип, предваряя его ключевым словом typename.

Если вы занимаетесь метапрограммированием с использованием шаблонов (template metaprogramming — ТМР), то вы, скорее всего, сталкивались с необходимостью получать параметры типов шаблонов и создавать из них новые типы. Например, для некоторого заданного типа Tвы можете захотеть удалить квалификатор constили квалификатор ссылки, содержащийся в T, например преобразовать const std::string&в std::string. Вы можете также захотеть добавить constк типу или преобразовать его в lvalue-ссылку, например, превращая Widgetв const Widget или в Widget&. (Если вы еще не занимались ТМР, это плохо, потому что, если вы действительно хотите быть эффективным программистом на С++, вы должны быть знакомы как минимум с основами этого аспекта С++. Вы можете увидеть примеры ТМР в действии, включая различные преобразования типов, о которых я упоминал, в разделах 5.1 и 5.5.)

С++11 дает вам инструменты для такого рода преобразований в виде свойств типов (type traits), набора шаблонов в заголовочном файле . В нем вы найдете десятки свойств типов; не все из них выполняют преобразования типов, но те, которые это делают, предлагают предсказуемый интерфейс. Для заданного типа T, к которому вы хотели бы применить преобразование, результирующий тип имеет вид std::преобразование::type, например:

std::remove_const::type // Дает T из const T

std::remove_reference::type // Дает T из T& и T&&

std::add_lvalue_reference::type // Дает T& из T

Комментарии просто резюмируют, что делают эти преобразования, так что не принимайте их слишком буквально. Перед тем как использовать их в своем проекте, я настоятельно советую ознакомиться с их точной спецификацией.

В любом случае я не стремлюсь обеспечить вас учебником по свойствам типов. Вместо этого я прошу вас обратить внимание на то, что каждое преобразование завершается “ ::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.