Что такое type traits и для чего они нужны?

Type traits — шаблонные метафункции из <type_traits>, дающие информацию о типах на этапе компиляции. Возвращают ::value (bool) и ::type (для трансформаций).

static_assert(std::is_integral_v<int>);          // true
static_assert(std::is_pointer_v<int*>);          // true

using T = std::remove_const_t<const int>;        // T = int
using R = std::add_pointer_t<int>;               // R = int*

template<typename T>
void f(T x) {
    if constexpr (std::is_arithmetic_v<T>) {
        // ветка только для чисел
    }
}

Категории: первичные (is_integral, is_class, is_pointer), составные (is_arithmetic, is_object), свойства (is_const, is_empty, is_final), отношения (is_same, is_base_of, is_convertible), модификации (remove_cv, add_pointer).