std::is_object
来自cppreference.com
在标头 <type_traits> 定义 | ||
template<class T > struct is_object; | (C++11 起) | |
std::is_object 是一元类型特征(UnaryTypeTrait) 。
如果 T 为对象类型（即除了函数、引用或 void 类型外的任何可有 cv 限定的类型），那么提供的成员常量 value 等于 true。对于其它任何类型，value 等于 false。
如果程序添加了 std::is_object 或 std::is_object_v 的特化，那么行为未定义。
目录 |
[编辑]模板形参
| T | - | 要检查的类型 |
[编辑]辅助变量模板
template<class T > constexprbool is_object_v = is_object<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> |
[编辑]可能的实现
template<class T>struct is_object :std::integral_constant<bool, std::is_scalar<T>::value||std::is_array<T>::value||std::is_union<T>::value||std::is_class<T>::value>{}; |
[编辑]示例
运行此代码
#include <iomanip>#include <iostream>#include <type_traits> #define IS_OBJECT(...) \ std::cout << std::boolalpha << std::left << std::setw(9) << #__VA_ARGS__ \ << (std::is_object_v<__VA_ARGS__> ? " 是对象\n" \ : " 不是对象\n") int main(){class cls {}; IS_OBJECT(void); IS_OBJECT(int); IS_OBJECT(int&); IS_OBJECT(int*); IS_OBJECT(int*&); IS_OBJECT(cls); IS_OBJECT(cls&); IS_OBJECT(cls*); IS_OBJECT(int()); IS_OBJECT(int(*)()); IS_OBJECT(int(&)());}
输出：
void 不是对象 int 是对象 int& 不是对象 int* 是对象 int*& 不是对象 cls 是对象 cls& 不是对象 cls* 是对象 int() 不是对象 int(*)() 是对象 int(&)() 不是对象
[编辑]参阅
(C++11) | 检查类型是否为标量类型 (类模板) |
(C++11) | 检查类型是否为数组类型 (类模板) |
(C++11) | 检查类型是否为联合体类型 (类模板) |
(C++11) | 检查类型是否为非联合类类型 (类模板) |
