NAME¶

std::integral - std::integral

Synopsis¶

Defined in header <concepts>
template < class T > (since C++20)
concept integral = std::is_integral_v<T>;

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

Example¶

// Run this code

#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;
print(true ); static_assert( std::integral<bool> );
print( 'o' ); static_assert( std::integral<char> );
print( 007 ); static_assert( std::integral<int> );
print( 2e2 ); static_assert( !std::integral<float> );
print("∫∫∫"); static_assert( !std::integral<decltype("")> );
}

Output:¶

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

See also¶

is_integral checks if a type is an integral type
(C++11) (class template)