c++ - 运行时检查实例 (Base*) 是否覆盖父函数 (Base::f())

Question

如何判断基类(B)的指针是否(多态)重写了基类的某个虚函数？

class B{
    public: int aField=0;
    virtual void f(){};
};
class C : public B{
    public: virtual void f(){aField=5;};
};
class D: public B{};

int main() {
    B b;
    C c;
    D d;
    std::vector<B*> bs;
    bs.push_back(&b);
    bs.push_back(&c);
    bs.push_back(&d);
    for(int n=0;n<3;n++){
        //std::cout<<(bs[n]->f)==B::f<<std::endl;
        //should print "true false true"
    }
}

我试图比较函数指针 bs[n]->f 和 B::f 的地址，但它是不可编译的。

Demo

我觉得这个问题可能重复了，但我找不到(抱歉)。

Answer 1

GCC has an extension这允许您获取虚拟成员函数的地址。

可以这样使用:

#include <vector>
#include <iostream>

class B{
    public: int aField=0;
    virtual void f(){};
};
class C : public B{
    public: virtual void f(){aField=5;};
};
class D: public B{};

int main() {
    B b;
    C c;
    D d;
    std::vector<B*> bs;
    bs.push_back(&b);
    bs.push_back(&c);
    bs.push_back(&d);
    for(int n=0;n<3;n++){
        // This might need to be: (void*) B{}.*&B::f == (void*) (...)
        std::cout << ((void*) &B::f == (void*)(bs[n]->*&B::f)) << '\n';
    }
}

^Demo

您可能会发现 this QA变得有趣。

当然，这是非标准行为。如果您希望在标准 C++ 中有类似的行为，您实际上可能正在寻找纯虚函数:

class B{
    public: int aField=0;
    virtual void f() = 0;
};

否则，您必须有一些其他机制来进行通信，例如 f() 上的 bool 返回类型。