Question

如何确定base（@include foundation-xy-grid-classes;）类的指针是否（多态性）覆盖基类的某个虚函数？

我尝试将函数指针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进行比较，但它是无法编译的。

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;
};

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

runtime-check一个实例（Base *）是否覆盖父函数（Base :: f（））

1 个答案: