◐ Shell
clean mode source ↗

std::is_member_function_pointer - cppreference.com

De cppreference.com

template< class T > struct is_member_function_pointer;

(desde C++11)

std::is_member_function_pointer es un UnaryTypeTrait.

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

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

Parámetros de plantilla

Plantilla de variable auxiliar

template< class T > inline constexpr bool is_member_function_pointer_v = is_member_function_pointer<T>::value;

(desde C++17)

Heredado de std::integral_constant

Constantes miembro

true si T es un tipo puntero a función miembro no estática, de lo contrario false.
(constante miembro pública estática)

Funciones miembro

Convierte el objeto a bool, devuelve value.
(función miembro pública)
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_function_pointer_helper : std::false_type {};

template< class T, class U>
struct is_member_function_pointer_helper<T U::*> : std::is_function<T> {};

template< class T >
struct is_member_function_pointer 
  : is_member_function_pointer_helper< typename std::remove_cv<T>::type > {};

Example

#include <type_traits>

class A {
public:
    void miembro() { }
};

int main()
{
    // falla en tiempo de compilación si A::member es un dato miembro y no una función
    static_assert(std::is_member_function_pointer<decltype(&A::member)>::value,
                  "A::miembro no es una función 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 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 o a un objeto miembro no estático.
(plantilla de clase) [editar]