std::is_scalar

在标头 `<type_traits>` 定义
`template< class T > struct is_scalar;`		(C++11 起)

std::is_scalar 是一元类型特征 (UnaryTypeTrait) 。

如果 T 是标量类型，那么提供的成员常量 value 等于 true。对于其它任何类型，value 等于 false。

如果程序添加了 std::is_scalar 或 std::is_scalar_v 的特化，那么行为未定义。

模板形参

T

-

要检查的类型

辅助变量模板

`template< class T > constexpr bool is_scalar_v = is_scalar<T>::value;`		(C++17 起)

继承自 std::integral_constant

成员常量

value

[静态]

如果 T 是标量类型那么是 true，否则是 false
(公开静态成员常量)

成员函数

operator bool	将对象转换到 `bool`，返回 `value` (公开成员函数)
operator() (C++14)	返回 `value` (公开成员函数)

成员类型

类型	定义
`value_type`	`bool`
`type`	`std::integral_constant<bool, value>`

注解

C++ 内存模型中的每个独立内存位置，包括语言特性所用的隐藏内存位置（如虚表指针），都拥有标量类型（或为相邻的非零长位域序列）。表达式求值中的副作用顺序、线程间同步和依赖顺序全部都基于标量对象定义。

可能的实现

template<class T>
struct is_scalar : std::integral_constant<bool, std::is_arithmetic<T>::value
                                             || std::is_enum<T>::value
                                             || std::is_pointer<T>::value
                                             || std::is_member_pointer<T>::value
                                             || std::is_null_pointer<T>::value>
{};

示例

运行此代码

#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <utility>

template<typename Head, typename... Tail>
void are_scalars(Head&& head, Tail&&... tail)
{
    using T = std::decay_t<decltype(head)>;
    
    std::cout << typeid(T).name() << " "
              << (std::is_scalar_v<T> ? "" : "不")
              << "是标量类型\n";
    
    if constexpr (sizeof... (Tail))
    {
        are_scalars(std::forward<decltype(tail)>(tail)...);
    }
}

int main()
{
    struct S { int m; } s;
    int S::* mp = &S::m;
    enum class E { e };
    
    are_scalars(42, 3.14, E::e, "str", mp, nullptr, s);
}

可能的输出：

int 是标量类型
double 是标量类型
main::E 是标量类型
char const* 是标量类型
int main::S::* 是标量类型
nullptr 是标量类型
main::S 不是标量类型

参阅

is_arithmetic (C++11)	检查类型是否为算术类型 (类模板)
is_enum (C++11)	检查类型是否为枚举类型 (类模板)
is_pointer (C++11)	检查类型是否为指针类型 (类模板)
is_member_pointer (C++11)	检查类型是否为指向非静态成员函数或对象的指针类型 (类模板)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库