std::integral

Определён в заголовочном файле `<concepts>`
template< class T > concept integral = std::is_integral_v<T>;		(начиная с C++20)

Концепция integral<T> удовлетворяется тогда и только тогда, когда T является целочисленным типом.

Пример

#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("∫∫∫");
}

Вывод:

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

Ссылки

Стандарт C++23 (ISO/IEC 14882:2024):

18.4.7 Арифметические концепции [concepts.arithmetic]

Стандарт C++20 (ISO/IEC 14882:2020):

18.4.7 Арифметические концепции [concepts.arithmetic]

См. также

is_integral (C++11)	проверяет, является ли тип целочисленным (шаблон класса)
is_integral_type (C++26)	проверяет, является ли отражённый тип целочисленным (функция)
is_integer [статический]	определяет целочисленные типы (общедоступная статическая константа-член `std::numeric_limits<T>`)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/concepts/integral