C++指向虚函数的指针

Question

如果你有这样的结构

struct A {
    void func();
};

和像这样的参考

A& a;

你可以func像这样得到一个指向它的方法的指针:

someMethod(&A::func);

现在,如果该方法是虚拟的并且您不知道它在运行时是什么,该怎么办？为什么你不能得到像这样的指针？

someMethod(&a.func);

是否有可能获得指向该方法的指针？

Answer 1

指向成员的指针考虑了他们指向的功能的虚拟性.例如:

#include <iostream>
struct Base
{
    virtual void f() { std::cout << "Base::f()" << std::endl; }
};

struct Derived:Base
{
    virtual void f() { std::cout << "Derived::f()" << std::endl; }
};


void SomeMethod(Base& object, void (Base::*ptr)())
{
    (object.*ptr)();    
}


int main()
{
    Base b;
    Derived d;
    Base* p = &b;
    SomeMethod(*p, &Base::f); //calls Base::f()
    p = &d;
    SomeMethod(*p, &Base::f); //calls Derived::f()    
}

输出:

Base::f()
Derived::f()

Answer 2

调用函数指针的方法是提供其对象的实例指针.这将解决所有虚拟问题:

struct A { void func(); };

int main()
{
  typedef void (A::*mf)();

  A x; // irrelevant if A is derived or if func is virtual

  mf f = &A::func;   // pointer-to-member-function
  A* p = &x;         // pointer-to-instance

  (p->*f)();           // invoke via pointer
  (x.*f)();            // invoke directly
}

好的,有趣的语法挑战问题:假设我有这个.

struct Basil { virtual void foo(); virtual ~Basil(); };
struct Derrek : public Basil { virtual void foo(); };

现在,如果我有Derrek * p或者Basil * p,我可以Basil通过调用该成员p->Basil::foo().如果给我一个,我怎么能这样做void(Derrek::*q)() = &Derrek::foo呢？

答:无法做到.q单独的PMF 不知道它是否指向虚函数,更不用说哪一个,并且它不能用于在运行时查找基类函数.[感谢Steve和Luc!]