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() {}

参见