C++中的std :: is_member_pointer

在C++中，我们可以使用std :: is_member_pointer模板来检查是否为成员指针。该模板可以用于编译时类型检查，可以避免在运行时出现错误。

语法

以下是std :: is_member_pointer模板的通用语法：

template <class T>
struct is_member_pointer;

参数

模板参数T是要检查的类型。

返回值

如果T是成员指针，则std :: is_member_pointer返回true，否则返回false。

示例

下面是使用std :: is_member_pointer模板的一个示例：

#include <iostream>
#include <type_traits>
 
class MyClass {
  public:
    int a;
    char b;
    double c;
 
    int add(int x, int y) { return x + y; }
    static void print() { std::cout << "Hello World" << std::endl; }
};
 
int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_member_pointer<decltype(&MyClass::a)>::value << std::endl;
    std::cout << std::is_member_pointer<decltype(&MyClass::add)>::value << std::endl;
    std::cout << std::is_member_pointer<decltype(&MyClass::print)>::value << std::endl;
    return 0;
}

输出:

true
true
true

在上面的示例中，我们使用std :: is_member_pointer模板来检查MyClass类中的某些成员是否为成员指针。在这里，我们通过使用decltype提取成员地址（用&运算符），并将其作为参数传递给std :: is_member_pointer模板。由于我们传递的是成员指针，因此模板返回true。

此外，我们可以通过在decltype中使用括号引用以及成员指针运算符重新组合成员指针类型，以进行更复杂的检查。例如，我们可以使用&MyClass :: print获取静态成员函数的地址，并通过std :: is_member_pointer检查该地址是否为成员指针。