オブジェクトインスタンス上の仮想関数をチェックする方法は特定の実装です

Question

特定のオブジェクトインスタンスの仮想関数が特定の実装のものであるかどうかを確認しようとしています。

#include <cstdio> 
using namespace std; 

class A 
{ 
public: 

    virtual void method() 
    { 
      printf("This is from A \n"); 
    } 
}; 

class B : public A 
{ 
public: 
    virtual void method() 
    { 
      printf("This is from B \n"); 
    } 
}; 

int main() 
{ 
    B b; 

    b.method(); 
    if (b.&method == &B::method) 
    { 
      printf("Horray! simple. \n"); 
    } 


    return 0; 
} 

しかし、明らかに動作しませんif (b.&method == &B::method)ライン：直感的には、次のコードセグメントのように見えます。

これがどのように機能するのかを親切にお勧めできますか？ありがとう。

Answer 1

これがどのように機能するのかを親切にお伝えできますか？この簡単な例で

、Bのインスタンスのメンバ関数ポインタは明らかにこれをテストするにはポイントが存在しないクラスBのメンバ関数のアドレスを有しています。

一般に、未知の派生クラスのインスタンスへのポインタまたは参照がある場合、そのようなテストは標準のC++で記述できませんでした。実行時に仮想呼び出しが解決する関数のアドレスを取得する方法はありません。

しかし、GCCにはextensionがあり、それを正確に行うことができます。

typedef int (*fptr)(A *); 
fptr p = (fptr)(a.*fp); 

あるいは、コンパイラはそれが使用するABIを文書化する場合は、メンバ関数ポインタからアドレスを抽出するための仕様を使用することができます。