Espacios de nombres
Variantes

std::is_member_object_pointer

De cppreference.com
 
 
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)
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
 
<tbody> </tbody>
Definido en el archivo de encabezado <type_traits>
template< class T > struct is_member_object_pointer;
(desde C++11)

std::is_member_object_pointer es un UnaryTypeTrait.

Comprueba si T es un tipo puntero a objeto miembro no estático. Proporciona la constante miembro value, que es igual a true si T es un tipo puntero a objeto miembro no estático. De lo contrario, value es igual a false.

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

Parámetros de plantilla

T - Un tipo a comprobar.

Plantilla de variable auxiliar

<tbody> </tbody>
template< class T > inline constexpr bool is_member_object_pointer_v = is_member_object_pointer<T>::value;
(desde C++17)

Heredado de std::integral_constant

Constantes miembro

value
[estático]
true si T es un tipo puntero a objeto 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>

Posible implementación

template<class T>
struct is_member_object_pointer : std::integral_constant<
                                      bool,
                                      std::is_member_pointer<T>::value &&
                                      !std::is_member_function_pointer<T>::value
                                  > {};

Ejemplo

#include <iostream>
#include <type_traits>

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

Salida:

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

Véase también

Comprueba si un tipo es un tipo puntero
(plantilla de clase) [editar]
Comprueba si un tipo es un puntero a una función miembro no estática o 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]