template <class T, T val>
struct integral_constant
{
   typedef integral_constant<T, val>  type;
   typedef T                          value_type;
   static const T value = val;
   constexpr operator T()const;
};
typedef integral_constant<bool, true>  true_type;
typedef integral_constant<bool, false> false_type;

Шаблон класса integral_constant является общим базовым классом для всех типов, основанных на значениях. Для удобства предусмотрены два типаdef true_type и false_type: большинство ценностных признаков являются булевыми свойствами и поэтому наследуются от одного из них.