c++ - 什么是指向成员的非重载指针和指向成员的重载指针？

Question

我正在阅读 Bjarne Stroustrup 的 C++ 编程语言。我在模板部分遇到了声明。

模板参数可以是常量表达式（§C.5）、具有外部链接的对象或函数的地址（§9.2）或指向成员的非重载指针（§15.5）。

什么是指向成员的非重载指针？有人可以举个例子吗？

Answer 1

未重载的指向成员的指针正如其名称所述——指向尚未重载超类的成员的指针。这是我刚刚汇总的一个示例，说明了什么可行，什么不可行：

#include <iostream>

class Foo {
public:
    virtual void printN() { std::cout << 42; }
};

class Bar : public Foo {
public:
    void printN() { std::cout << 31; }
};

template <typename T, typename C>
class SomeTemplate {
public:
    void PrintData(T d) { C c; (c.*d)(); }
};

int main() {
    SomeTemplate<void (Foo::*) (), Foo> t; // Compiles - '42'
    t.PrintData(&Foo::printN);

    SomeTemplate<void (Bar::*) (), Bar> t; // Compiles - '31'
    t.PrintData(&Bar::printN);

    SomeTemplate<void (Foo::*) (), Bar> t; // Won't compile, can't convert overloaded pointers
    t.PrintData(&Foo::printN);
    return 0;
}

在 PrintData 中，创建了一个类的实例，并在类的实例化版本上取消引用传递的成员指针，从而调用它的底层函数。

模板使这种方法更加灵活，但是我还没有找到在真实情况下使用这样的代码的理由——如果有人能找到我希望得到启发的代码..