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

Question

如何判断基类(B)class的指针是否(多态性)覆盖了基类class的某个虚函数?

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 return

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

runtime-check whether an instance (Base*) override a parent function (Base::f())

c++

virtual-functions

c++14