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

template // Только объявление TD;

class TD;

Попытки инстанцировать этот шаблон приведут к сообщению об ошибке, поскольку инстанцируемый шаблон отсутствует. Чтобы увидеть типы xи y, просто попробуйте инстанцировать TD с их типами:

TD xType; // Сообщение об ошибке будет

TD yType; // содержать типы x и y

Я использую имена переменных вида variableNameType, чтобы проще найти интересующую меня информацию в сообщении об ошибке. Мой компилятор для приведенного выше кода сообщает, в частности, следующее (я выделил интересующую меня информацию о типах):

error: aggregate 'TD< int> xType' has incomplete type and

cannot be defined

error: aggregate 'TD< const int *> yType' has incomplete type

and cannot be defined

Другой компилятор выдает ту же информацию, но в несколько ином виде:

error: 'xType' uses undefined class 'TD< int>'

error: 'yType' uses undefined class 'TD< const int *>'

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

Подход с использованием функции вывода для отображения сведений о типе может быть использован только во время выполнения программы, зато он предоставляет полный контроль над форматированием вывода. Вопрос в том, чтобы создать подходящее для вывода текстовое представление информации. “Без проблем, — скажете вы. — Нам на помощь придут typeidи std::type_info::name”. В наших поисках информации о выведенных для xи yтипах можно написать следующий код:

std::cout << typeid(x).name()<< '\n'; // Выведенные типы

std::cout << typeid(y).name()<< '\n'; // для x и y

Этот подход основан на том факте, что вызов typeidдля такого объекта, как xили y, дает объект std: :type_info, а он имеет функцию-член name, которая дает С-строку (т.е. const char*), представляющую имя типа.

Не гарантируется, что вызов std::type_info::nameвернет что-то разумное, но его реализации изо всех сил пытаются быть полезными. Уровень этой полезности варьируется от компилятора к компилятору. Компиляторы GNU и Clang, например, сообщают, что тип x — это “ i” а тип y— “ PKi”. Эти результаты имеют смысл, если вы будете знать, что “ i” у данных компиляторов означает “ int”, а “ PK” — “указатель на константу”.

(Оба компилятора поддерживают инструмент c++filt, который расшифровывает эти имена.) Компилятор Microsoft генерирует менее зашифрованный вывод: “ int” для xи “i nt const *”для y.

Поскольку это корректные результаты для типов xи y, вы можете подумать, что задача получения информации о типах решена, но не делайте скоропалительных выводов. Рассмотрим более сложный пример:

template // Шаблонная функция,

void f(const T& param); // вызываемая далее

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

const auto vw = createVec(); // Инициализация vw возвратом

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

if (!vw.empty()) {

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

}

Этот код, включающий пользовательский тип ( Widget), контейнер STL ( std::vector) и переменную auto ( vw), является более представительным и интересным примером. Было бы неплохо узнать, какие типы выводятся для параметра типа шаблона Ти для параметра param функции f.

Воспользоваться typeidв этой задаче достаточно просто. Надо всего лишь добавить немного кода в функцию f для вывода интересующих нас типов:

template

void f(const T& param) {

using std::cout;

// Вывод в поток cout типа T:

cout << "Т = " << typeid(T).name()<< '\n';

// Вывод в поток cout типа param:

cout << "param = " << typeid(param).name()<< '\n';

}

Выполнимые файлы, полученные с помощью компиляторов GNU и Clang, дают следующий результат:

Т = PK6Widget

param = PK6Widget

Мы уже знаем, что в этих компиляторах PKозначает указатель на константу, так что вся загадка — в цифре 6. Это просто количество символов в следующем за ней имени класса ( Widget). Таким образом, данные компиляторы сообщают нам, что и Т, и paramимеют один и тот же тип — const Widget*. Компилятор Microsoft согласен:

Т = class Widget const *

param = class Widget const *

Три независимых компилятора дают одну и ту же информацию, что свидетельствует о том, что эта информация является точной. Но давайте посмотрим более внимательно. В шаблоне fобъявленным типом param является тип const Т&. В таком случае не кажется ли вам странным, что и Т, и paramимеют один и тот же тип? Если тип Т, например, представляет собой int, то типом paramдолжен быть const int&— совершенно другой тип.