Что такое тайп-трейты?

Тайп-трейты (type traits) — это классовые шаблоны, используемые для получения информации о свойствах типов во время компиляции. Они позволяют писать более гибкий и общий код, адаптирующийся в зависимости от характеристик используемых типов.

Примеры информации, которую можно получить с помощью тайп-трейтов:

• Является ли тип арифметическим, integral (целочисленным), плавающей точки?
• Является ли тип указателем, ссылкой, функцией?
• Является ли тип константным, volatile?
• Можно ли применить к типу операции побитового копирования или перемещения?
• Размер типа, выравнивание.

Тайп-трейты обычно находятся в заголовке <type_traits>. Результат проверки свойства типа выражается через статическое поле value булевого типа или через тип type (часто std::true_type или std::false_type).

Пример использования std::is_integral:

cpp