命名空间
变体
操作

std::is_member_function_pointer

来自 cppreference.com
< cpp‎ | types
 
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
is_member_function_pointer
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(直到 C++20*)
(C++11)(C++20 中已弃用)
(C++11)
类型特征常量
元函数
(C++17)
支持的操作
关系和属性查询
类型修改
(C++11)(C++11)(C++11)
类型转换
(C++11)(C++23 中已弃用)
(C++11)(C++23 中已弃用)
(C++11)
(C++11)
(C++17)

(C++11)(直到 C++20*)(C++17)
编译时有理数运算
编译时整数序列
 
在头文件 <type_traits> 中定义
template< class T >
struct is_member_function_pointer;
(自 C++11 起)

std::is_member_function_pointer 是一个 UnaryTypeTrait.

检查 T 是否为非静态成员函数指针。提供成员常量 value,如果 T 是非静态成员函数指针类型,则其等于 true。否则,value 等于 false.

如果程序为 std::is_member_function_pointerstd::is_member_function_pointer_v 添加了专门化,则行为未定义。

内容

[编辑] 模板参数

T - 要检查的类型

[编辑] 辅助变量模板

template< class T >

constexpr bool is_member_function_pointer_v =

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

std::integral_constant 继承

成员常量

value
[静态]
如果 T 是成员函数指针类型,则为 true,否则为 false
(公有静态成员常量)

成员函数

operator bool
将对象转换为 bool,返回 value
(公有成员函数)
operator()
(C++14)
返回 value
(公有成员函数)

成员类型

类型 定义
value_type bool
type std::integral_constant<bool, 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."); 
}

[编辑] 另请参见

检查类型是否为指针类型
(类模板) [编辑]
检查类型是否为指向非静态成员对象的指针
(类模板) [编辑]
检查类型是否为指向非静态成员函数或对象的指针
(类模板) [编辑]