C++模板std::is_member_function_pointer使用示例

在 C++ 中，有时我们需要判断一个类成员函数指针是否属于成员函数指针类型。这时，就可以使用 C++11 标准中的模板 std::is_member_function_pointer 来完成这一操作。

什么是std::is_member_function_pointer？

std::is_member_function_pointer是一个模板类，定义在 <type_traits> 头文件中。它用于判断其模板参数是否为成员函数指针类型。

以下是 std::is_member_function_pointer 的语法：

template<class T>
struct is_member_function_pointer;

其中，T 为要判断的类型。

std::is_member_function_pointer的使用

我们以一个简单的 C++ 类 Example 和其成员函数 do_something() 为例，来演示如何使用 std::is_member_function_pointer 来判断 do_something() 是否为成员函数指针类型。

#include <iostream>
#include <type_traits>

class Example {
public:
    void do_something() {}
};

int main() {
    typedef void (Example::*member_fn_ptr)();
    member_fn_ptr fn = &Example::do_something;

    bool is_mf_ptr = std::is_member_function_pointer<decltype(fn)>::value;
    if (is_mf_ptr) {
        std::cout << "fn is a member function pointer" << std::endl;
    } else {
        std::cout << "fn is not a member function pointer" << std::endl;
    }

    return 0;
}

在这个例子中，我们定义了一个成员函数指针 fn，并使用 std::is_member_function_pointer 来判断其类型是否为成员函数指针类型。

在编译并运行上述代码后，输出结果为：

fn is a member function pointer

这说明 fn 是一个成员函数指针。

我们也可以将模板参数直接替换为需要判断的类型，并使用 ::value 来获取判断结果：

std::cout << std::is_member_function_pointer<void(Example::*)()>::value << std::endl;  // 输出 1

这种方式可以在编译期就决定结果，用来优化代码操作。

当然，我们也可以使用 std::enable_if 和 std::is_member_function_pointer 来限制模板参数必须为一个成员函数指针类型：

template <typename T, typename = std::enable_if_t<std::is_member_function_pointer<T>::value>>
void call_func(T func_ptr) {
    // do something
}

在上述代码中，T 的实例化必须是一个成员函数指针类型，否则编译会报错。

结论

std::is_member_function_pointer 是 C++11 标准中非常有用的一个模板类，用于判断模板参数是否属于成员函数指针类型。在实际开发中，我们可以根据需要灵活使用，以提高程序的可读性和效率。