Для простых типов наподобие >int информация из IDE в общем случае вполне точна. Однако, как вы вскоре увидите, когда приходится иметь дело с более сложными типами, информация, выводимая IDE, может оказаться не особенно полезной.
Диагностика компилятора
Эффективный способ заставить компилятор показать выведенный тип — использовать данный тип так, чтобы это привело к проблемам компиляции. Сообщение об ошибке практически обязательно будет содержать тип, который к ней привел.
Предположим, например, что мы хотели бы узнать типы, выведенные для >x и >y из предыдущего примера. Сначала мы объявляем шаблон класса, но не определяем его. Чего- то такого вполне хватит:
>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 для такого объекта, как
