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

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

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

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

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

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

cpp

Многие тайп-трейты имеют v-версии (value-версии) для более удобного доступа к полю value:

cpp

Тайп-трейты часто используются с:

• SFINAE (Substitution Failure Is Not An Error) для условного включения или исключения перегрузок функций или специализаций шаблонов на основе свойств типов.
• if constexpr (в C++17 и выше) для метапрограммирования во время компиляции.
• static_assert для проверки свойств типов на этапе компиляции.
• Реализациями стандартной библиотеки, например, в алгоритмах или контейнерах, для оптимизации или выбора правильной реализации в зависимости от свойств типов элементов.