std:: is_integral

std::is_integral は UnaryTypeTrait です。

T が 整数型 かどうかをチェックします。メンバ定数 value を提供し、 T が型 bool 、 char 、 char8_t (C++20以降) 、 char16_t 、 char32_t 、 wchar_t 、 short 、 int 、 long 、 long long 、または実装定義の拡張整数型（符号付き、符号なし、およびcv修飾された変種を含む）である場合、 value は true に等しくなります。それ以外の場合、 value は false に等しくなります。

プログラムが std::is_integral または std::is_integral_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

実装例

// 注: この実装はC++20の機能を使用しています
template<class T>
struct is_integral : std::bool_constant<
    requires (T t, T* p, void (*f)(T)) // T* パラメータは参照型を除外します
    {
        reinterpret_cast<T>(t); // クラス型を除外
        f(0); // 列挙型を除外
        p + t; // まだ除外されていないが整数型ではないすべての型を除外
    }> {};

例

#include <type_traits>
static_assert
(
    std::is_integral_v<float> == false &&
    std::is_integral_v<int*> == false &&
    std::is_integral_v<int> == true &&
    std::is_integral_v<const int> == true &&
    std::is_integral_v<bool> == true &&
    std::is_integral_v<char> == true
);
class A {};
static_assert(std::is_integral_v<A> == false);
struct B { int x:4; };
static_assert(std::is_integral_v<B> == false);
using BF = decltype(B::x); // bit-field's type
static_assert(std::is_integral_v<BF> == true);
enum E : int {};
static_assert(std::is_integral_v<E> == false);
template <class T>
constexpr T same(T i)
{
    static_assert(std::is_integral<T>::value, "Integral required.");
    return i;
}
static_assert(same('"') == 042);
int main() {}

関連項目