運行時檢查一個實例（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返回類型。