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

К сожалению, результат std::type_info::nameненадежен. Например, в данном случае тип, который все три компилятора приписывают param, является неверным. Кроме того, он по сути обязан быть неверным, так как спецификация std::type_info::nameразрешает, чтобы тип рассматривался как если бы он был передан в шаблонную функцию по значению. Как поясняется в разделе 1.1, это означает, что если тип является ссылкой, его “ссылочность” игнорируется, а если тип после удаления ссылочности оказывается const(или volatile), то соответствующие модификаторы также игнорируются. Вот почему информация о типе param— который на самом деле представляет собой const Widget* const&— выводится как const Widget*. Сначала удаляется ссылочность, а затем у получившегося указателя удаляется константность.

Не менее печально, что информация о типе, выводимая редакторами IDE, также ненадежна — или как минимум ненадежно полезна. Для этого же примера мой редактор IDE сообщает о типе Ткак (я не придумываю!):

const

std::_Simple_types

std::allocator >::_Alloc>::value_type>::value_type *

Тот же редактор IDE показывает, что тип param следующий:

const std::_Simple_types<...>::value_type *const &

Это выглядит менее страшно, чем тип Т, но троеточие в средине типа сбивает с толку, пока вы не поймете, что это редактор IDE попытался сказать “Я опускаю все, что является частью типа T”. Ваша среда разработки, быть может, работает лучше моей — если вы достаточно везучий.

Если вы склонны полагаться на библиотеки больше, чем на удачу, то будете рады узнать, что там, где std::type_info::nameи IDE могут ошибаться, библиотека Boost TypeIndex (часто именуемая как Boost.TypeIndex ) приведет к успеху. Эта библиотека не является частью стандарта С++, но точно так же частью стандарта не являются ни IDE, ни шаблоны наподобие рассмотренного выше TD. Кроме того, тот факт, что библиотеки Boost (доступные по адресу boost.org) являются кроссплатформенными, с открытым исходным кодом и с лицензией, разработанной так, чтобы быть приемлемой даже для самых параноидальных юристов, означает, что код с применением библиотек Boost переносим практически так же хорошо, как и код, основанный на стандартной библиотеке.

Вот как наша функция fможет выдать точную информацию о типах с использованием Boost.TypeIndex:

#include

template

void f(const T& param) {

using std::cout;

using boost::typeindex::type_id_with_cvr;

// Вывод информации о Т

cout << "Т = "

<< type_id_with_cvr().pretty_name()

<< '\n';

// Вывод информации о типе param

cout << "param = "

<< type_id_with_cvr().pretty_name()

<< '\n';

}

Как это работает? Шаблон функции boost::typeindex::type_id_with_cvrполучает аргумент типа (тип, о котором мы хотим получить информацию) и не удаляет const, volatileили квалификатор ссылки (о чем и говорит “ with_cvr” в имени шаблона). Результатом является объект boost::typeindex::type_index, функция-член pretty_nameкоторого дает std::stringс удобочитаемым представлением типа.

При такой реализации fобратимся вновь к вызову, который давал нам неверную информацию о типе paramпри использовании typeid:

std::vector createVec(); // Фабричная функция

const auto vw = createVec(); // Инициализация vw с помощью

// фабричной функции

if (!vw.empty()) {

f(&vw[0]); // Вызов f

}

После компиляции с помощью компиляторов GNU и Clang Boost.TypeIndex дает следующий (точный) результат:

Т = Widget const*

param = Widget const* const&

Применение компилятора Microsoft дает по сути то же самое:

Т = class Widget const *

param = class Widget const * const &

Такое единообразие — это хорошо, но важно помнить, что редакторы IDE, сообщения об ошибках компилятора и библиотеки наподобие Boost.TypeIndex являются всего лишь инструментами, которые можно использовать для выяснения того, какие типы выводит ваш компилятор. Это может быть полезно, но не может заменить понимания информации о выводе типов, приведенной в разделах 1.1–1.3.

• Выводимые типы часто можно просмотреть с помощью редакторов IDE, сообщений об ошибках компиляции и с использованием библиотеки Boost.TypeIndex.

• Результаты, которые выдают некоторые инструменты, могут оказаться как неточными, так и бесполезными, так что понимание правил вывода типов в С++ является совершенно необходимым.

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