std:: is_arithmetic

std::is_arithmetic は UnaryTypeTrait です。

T が算術型（すなわち、整数型または浮動小数点型）またはその cv-qualified 版である場合、メンバー定数 value を true に設定します。それ以外の型の場合、 value は false となります。

プログラムが std::is_arithmetic または std::is_arithmetic_v (C++17以降) に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

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

注記

算術型は、組み込み型のうち 算術演算子 ( + , - , * , / ) が定義されている（通常の算術変換と組み合わせて定義されている場合もある）型を指します。

すべての算術型に対して、 std::numeric_limits の特殊化が提供されています。

実装例

template<class T>
struct is_arithmetic : std::integral_constant<bool,
                                              std::is_integral<T>::value ||
                                              std::is_floating_point<T>::value> {};

例

#include <atomic>
#include <cstddef>
#include <type_traits>
class A {};
enum class B : int { e };
static_assert(
    std::is_arithmetic_v<bool>            == true  and
    std::is_arithmetic_v<char>            == true  and
    std::is_arithmetic_v<char const>      == true  and
    std::is_arithmetic_v<int>             == true  and
    std::is_arithmetic_v<int const>       == true  and
    std::is_arithmetic_v<float>           == true  and
    std::is_arithmetic_v<float const>     == true  and
    std::is_arithmetic_v<std::size_t>     == true  and
    std::is_arithmetic_v<char&>           == false and
    std::is_arithmetic_v<char*>           == false and
    std::is_arithmetic_v<int&>            == false and
    std::is_arithmetic_v<int*>            == false and
    std::is_arithmetic_v<float&>          == false and
    std::is_arithmetic_v<float*>          == false and
    std::is_arithmetic_v<A>               == false and
    std::is_arithmetic_v<B>               == false and
    std::is_arithmetic_v<decltype(B::e)>  == false and
    std::is_arithmetic_v<std::byte>       == false and
    std::is_arithmetic_v<std::atomic_int> == false
);
int main() {}

関連項目