17 Concepts library [concepts]

17.4 Language-related concepts [concepts.lang]

17.4.7 Integral concepts [concepts.integral]

🔗
template<class T> concept Integral = is_integral_v<T>; template<class T> concept SignedIntegral = Integral<T> && is_signed_v<T>; template<class T> concept UnsignedIntegral = Integral<T> && !SignedIntegral<T>;
1
#
[ Note
:
SignedIntegral<T> can be satisfied even by types that are not signed integral types ([basic.fundamental]); for example, char.
— end note
 ]
2
#
[ Note
:
UnsignedIntegral<T> can be satisfied even by types that are not unsigned integral types ([basic.fundamental]); for example, bool.
— end note
 ]