namespace std {
template <class T, T v>
struct integral_constant {
static constexpr T value = v;
using value_type = T;
using type = integral_constant<T, v>;
constexpr operator value_type() const noexcept { return value; }
constexpr value_type operator()() const noexcept { return value; }
};
}
Шаблон класса integral_constant, шаблон псевдонима bool_constant, и связанный с ним typedef-names true_type и false_type используются в качестве базовых классов для определения интерфейса для различных признаков типа.