std:: is_pointer
|
Definido en el encabezado
<type_traits>
|
||
|
template
<
class
T
>
struct is_pointer ; |
(desde C++11) | |
std::is_pointer
es un
UnaryTypeTrait
.
Comprueba si
T
es un
puntero a objeto o función
(incluyendo puntero a
void
, pero excluyendo puntero a miembro) o una versión calificada cv del mismo. Proporciona la constante miembro
value
que es igual a
true
, si
T
es un tipo puntero a objeto/función. De lo contrario,
value
es igual a
false
.
Si el programa añade especializaciones para
std::is_pointer
o
std::is_pointer_v
, el comportamiento es indefinido.
Contenidos |
Parámetros de plantilla
| T | - | un tipo a verificar |
Plantilla de variable auxiliar
|
template
<
class
T
>
constexpr bool is_pointer_v = is_pointer < T > :: value ; |
(desde C++17) | |
Heredado de std:: integral_constant
Constantes miembro
|
value
[static]
|
true
si
T
es un tipo puntero,
false
en caso contrario
(constante miembro pública estática) |
Funciones miembro
|
operator bool
|
convierte el objeto a
bool
, devuelve
value
(función miembro pública) |
|
operator()
(C++14)
|
devuelve
value
(función miembro pública) |
Tipos miembro
| Tipo | Definición |
value_type
|
bool |
type
|
std:: integral_constant < bool , value > |
Implementación posible
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 {}; |
Ejemplo
#include <type_traits> int main() { struct A { int m; void f() {} }; int A::*mem_data_ptr = &A::m; // un puntero a dato miembro void (A::*mem_fun_ptr)() = &A::f; // un puntero a función miembro static_assert( ! std::is_pointer<A>::value && ! std::is_pointer_v<A> // lo mismo que arriba, pero en C++17! && ! std::is_pointer<A>() // igual que arriba, usando el operador bool heredado && ! std::is_pointer<A>{} // ídem && ! std::is_pointer<A>()() // igual que arriba, usando el operador() heredado && ! std::is_pointer<A>{}() // ídem && 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 (*)()> ); }
Véase también
|
(C++11)
|
comprueba si un tipo es un puntero a miembro no estático de función u objeto
(plantilla de clase) |
|
(C++11)
|
comprueba si un tipo es un puntero a miembro objeto no estático
(plantilla de clase) |
|
(C++11)
|
comprueba si un tipo es un puntero a miembro función no estático
(plantilla de clase) |
|
(C++11)
|
comprueba si un tipo es un tipo array
(plantilla de clase) |
|
(C++11)
|
comprueba si un tipo es un tipo escalar
(plantilla de clase) |