std::is_member_function_pointer

template< class T >
struct is_member_function_pointer;

std::is_member_function_pointer — это унарный типовой признак.

Проверяет, является ли T указателем на нестатическую функцию-член. Предоставляет константу-член value, которая равна true, если T является типом указателя на нестатическую функцию-член. В противном случае value равно false.

Если программа добавляет специализации для std::is_member_function_pointer или std::is_member_function_pointer_v, поведение не определено.

Параметры шаблона

Вспомогательный шаблон переменной

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

Возможная реализация

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> {};

Пример

#include <type_traits>

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

int main()
{
    // fails at compile time if A::member is a data member and not a function
    static_assert(std::is_member_function_pointer<decltype(&A::member)>::value,
                  "A::member is not a member function."); 
}

См. также