Namespaces
Variants

std:: integral

From cppreference.net
Défini dans l'en-tête <concepts>
template < class T >
concept integral = std:: is_integral_v < T > ;
(depuis C++20)

Le concept integral < T > est satisfait si et seulement si T est un type intégral.

Exemple

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

Sortie :

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

Références

  • Norme C++23 (ISO/CEI 14882:2024) :
  • 18.4.7 Concepts arithmétiques [concepts.arithmetic]
  • Norme C++20 (ISO/CEI 14882:2020) :
  • 18.4.7 Concepts arithmétiques [concepts.arithmetic]

Voir aussi

vérifie si un type est un type entier
(modèle de classe)