Espacios de nombres
Variantes
Acciones

std::is_member_function_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) 
is_member_function_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
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)

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_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_pointero is_member_function_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 >

inlineconstexprbool is_member_function_pointer_v =

    is_member_function_pointer<T>::value;
(desde C++17)

Heredado de std::integral_constant

Constantes miembro

value
[estático]
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

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_typebool
typestd::integral_constant<bool, value>

[editar]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<typenamestd::remove_cv<T>::type>{};

[editar]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.");}


[editar]Véase también

(C++11)
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]
close