Espacios de nombres
Variantes
Acciones

std::is_member_pointer

De cppreference.com
< cpp‎ | types
 
 
Biblioteca de metaprogramación
Rasgos de tipo
Categorías de tipo
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
is_member_pointer
(C++11)
Propiedades de tipos
(C++11)
(C++11)
(C++14)
(C++11)(en desuso en C++26)
(C++11)(hasta C++20*)
(C++11)(en desuso en C++20)
(C++11)
Constantes de rasgos de tipo
Metafunciones
(C++17)
Operaciones admitidas
Relaciones y consultas de propiedades
Modificaciones de tipos
(C++11)(C++11)(C++11)
Transformaciones de tipos
(C++11)(en desuso en C++23)
(C++11)(en desuso en C++23)
(C++11)
(C++11)(hasta C++20*)(C++17)

(C++11)
(C++17)
Aritm��tica racional en tiempo de compilación
Secuencias de enteros en tiempo de compilación
 
Definido en el archivo de encabezado <type_traits>
template< class T >
struct is_member_pointer;
(desde C++11)

std::is_member_pointer es un UnaryTypeTrait.

Si T es un puntero a un objeto miembro no estático o un puntero a una función miembro no estática, proporciona la constante miembro value equal true. Para cualquier otro tipo, value es false.

El comportamiento de un programa que añade especializaciones para is_member_pointer o is_member_pointer_v (desde C++17) no está definido.

Contenido

[editar] Parámetros de plantilla

T - Un tipo a comprobar.

[editar] Plantilla de variable auxiliar

template< class T >
inline constexpr bool is_member_pointer_v = is_member_pointer<T>::value;
(desde C++17)

Heredado de std::integral_constant

Constantes miembro

value
[estático]
true si T es un tipo puntero a miembro, de lo contrario false.
(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>

[editar] Posible implementación

template< class T >
struct is_member_pointer_helper         : std::false_type {};
 
template< class T, class U >
struct is_member_pointer_helper<T U::*> : std::true_type {};
 
template< class T >
struct is_member_pointer : 
    is_member_pointer_helper<typename std::remove_cv<T>::type> {};

[editar] Ejemplo

#include <iostream>
#include <type_traits>
 
int main() {
    class cls {};
    std::cout << (std::is_member_pointer<int(cls::*)>::value
                     ? "T es un puntero a miembro"
                     : "T no es un puntero a miembro") << '\n';
    std::cout << (std::is_member_pointer<int>::value
                     ? "T es un puntero a miembro"
                     : "T no es un puntero a miembro") << '\n';
}

Salida:

T es un puntero a miembro
T no es un puntero a miembro

[editar] Véase también

Comprueba si un tipo es un tipo puntero
(plantilla de clase) [editar]
Comprueba si un tipo es un puntero a un objeto miembro no estático
(plantilla de clase) [editar]
Comprueba si un tipo es un puntero a una función miembro no estática
(plantilla de clase) [editar]