std::is_pointer
来自 cppreference.cn
| 定义于头文件 <type_traits> |
||
| template< class T > struct is_pointer; |
(自 C++11 起) | |
std::is_pointer 是一个 UnaryTypeTrait。
检查 T 是否为指向对象或函数的指针（包括指向 void 的指针，但不包括指向成员的指针）或其 cv 限定版本。提供成员常量 value，如果 T 是对象/函数指针类型，则该常量等于 true。否则，value 等于 false。
如果程序为 std::is_pointer 或 std::is_pointer_v 添加特化，则行为未定义。
目录 |
[编辑] 模板参数
| T | - | 要检查的类型 |
[编辑] 辅助变量模板
| template< class T > constexpr bool is_pointer_v = is_pointer<T>::value; |
(自 C++17 起) | |
继承自 std::integral_constant
成员常量
| value [静态] |
true 如果 T 是指针类型，false 否则(公共静态成员常量) |
成员函数
| operator bool |
将对象转换为 bool，返回 value (公共成员函数) |
| operator() (C++14) |
返回 value (公共成员函数) |
成员类型
| 类型 | 定义 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[编辑] 可能的实现
template<class T> struct is_pointer : std::false_type {}; template<class T> struct is_pointer<T*> : std::true_type {}; template<class T> struct is_pointer<T* const> : std::true_type {}; template<class T> struct is_pointer<T* volatile> : std::true_type {}; template<class T> struct is_pointer<T* const volatile> : std::true_type {}; |
[编辑] 示例
运行此代码
#include <type_traits> int main() { struct A { int m; void f() {} }; int A::*mem_data_ptr = &A::m; // a pointer to member data void (A::*mem_fun_ptr)() = &A::f; // a pointer to member function static_assert( ! std::is_pointer<A>::value && ! std::is_pointer_v<A> // same thing as above, but in C++17! && ! std::is_pointer<A>() // same as above, using inherited operator bool && ! std::is_pointer<A>{} // ditto && ! std::is_pointer<A>()() // same as above, using inherited operator() && ! std::is_pointer<A>{}() // ditto && std::is_pointer_v<A*> && std::is_pointer_v<A const* volatile> && ! std::is_pointer_v<A&> && ! std::is_pointer_v<decltype(mem_data_ptr)> && ! std::is_pointer_v<decltype(mem_fun_ptr)> && std::is_pointer_v<void*> && ! std::is_pointer_v<int> && std::is_pointer_v<int*> && std::is_pointer_v<int**> && ! std::is_pointer_v<int[10]> && ! std::is_pointer_v<std::nullptr_t> && std::is_pointer_v<void (*)()> ); }
[编辑] 参见
| (C++11) |
检查类型是否为指向非静态成员函数或对象的指针 (类模板) |
| (C++11) |
检查类型是否为非静态成员对象指针 (类模板) |
| (C++11) |
检查类型是否为非静态成员函数指针 (类模板) |
| (C++11) |
检查类型是否为数组类型 (类模板) |
| (C++11) |
检查类型是否为标量类型 (类模板) |
