std::is_pointer
来自 cppreference.com
定义在头文件 <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) |
检查类型是否为标量类型 (类模板) |