Namespaces
Variants

std:: integral

From cppreference.net
C++
Concepts library
Exposition-only concepts
 (C++20)
Определено в заголовке <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]

Смотрите также

(C++11)
проверяет, является ли тип целочисленным типом
(шаблон класса)