Home Original page

std::integral - cppreference.com

From cppreference.com

template< class T > concept integral = std::is_integral_v<T>;

 (since C++20)

The concept integral<T> is satisfied if and only if T is an integral type.

Example

#include <concepts>
#include <iostream>
 
void print(std::integral auto i)
{
    std::cout << "Integral: " << i << '\n';
}
 
void print(auto x)
{
    std::cout << "Non-integral: " << x << '\n';
}
 
int main()
{
    std::cout << std::boolalpha;

    static_assert(std::integral<bool>);
    print(true);

    static_assert(std::integral<char>);
    print('o');

    static_assert(std::integral<int>);
    print(007);

    static_assert( ! std::integral<double> );
    print(2e2);

    static_assert( ! std::integral<decltype("")> );
    print("∫∫∫");
}

Output: 

Integral: true
Integral: o
Integral: 7
Non-integral: 200
Non-integral: ∫∫∫

References

  • C++23 standard (ISO/IEC 14882:2024):
  • 18.4.7 Arithmetic concepts [concepts.arithmetic]
  • C++20 standard (ISO/IEC 14882:2020):
  • 18.4.7 Arithmetic concepts [concepts.arithmetic]

See also