<type_traits>

类模板
<type_traits>

std::is_object

template <class T> struct is_object;
是否为对象类型

标识 T 是否为对象类型的特性类。对象类型是指具有存储的类型,包括除函数、引用和void.

它继承自 integral_constant,并根据T是对象类型,无论其 const 和/或 volative 限定如何。

这是一个复合类型特征,其行为与以下代码相同:
1
2
3
template<class T>
struct is_object : std::integral_constant < bool,
         !is_function<T>::value && !is_void<T>::value && !is_reference<T>::value> {};

模板参数

T
一个类型。

成员类型

继承自 integral_constant
成员类型定义
value_typebool
类型true_type 或 false_type

成员常量

继承自 integral_constant
成员常量定义
truefalse

成员函数

继承自 integral_constant

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// is_object example
#include <iostream>
#include <type_traits>

class A {};

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_object:" << std::endl;
  std::cout << "int: " << std::is_object<int>::value << std::endl;
  std::cout << "A: " << std::is_object<A>::value << std::endl;
  std::cout << "A&: " << std::is_object<A&>::value << std::endl;
  std::cout << "A*: " << std::is_object<A*>::value << std::endl;
  std::cout << "int(int): " << std::is_object<int(int)>::value << std::endl;
  std::cout << "int(*)(int): " << std::is_object<int(*)(int)>::value << std::endl;
  return 0;
}

输出
is_object:
int: true
A: true
A&: false
A*: true
int(int): false
int(*)(int): true


另见