Все эти признаки значения , то есть все классы признаков наследуются от integral_constant и используются для доступа к некоторому численному свойству типа. Часто это простое истинное или ложное булевое значение, но в некоторых случаях может быть какое-то другое целое значение (например, при работе с выравниваниями типов или границами массива: см. выравнивание_, ранг и экстент).