純粋な仮想メンバをベースにしたキャスト派生仮想オーバーライド

Question

私は、単に派生クラスメンバ関数ポインタを、基本クラスメンバ関数ポインタにキャストできない理由を理解しています（here）。

しかし、このスニペット与えられた：私がお聞きしたかった

struct base 
{ 
    virtual void foo() = 0; 
}; 

struct derived : base 
{ 
    void foo() override {}; 
}; 

struct invoker 
{ 
    typedef void(base::*target)(); 

    invoker(base* b, target t) 
    { 
     (b->*t)(); 
    } 
}; 

template<typename B, typename D> 
void (B::*cast(void (D::*method)()))() 
{ 
    return static_cast<void(B::*)()>(method); 
} 

derived d; 
invoker bad(&d, &derived::foo); //C2664 
invoker good(&d, cast<base>(&derived::foo)); 

は、コンパイラが、それは純粋仮想メソッドで理解し、そしてそれが階層間でどこかに実装されますので、基本関数のシグネチャを飾るすることが可能です（そうでなければ、タイプBのオブジェクトを構築できませんでした）？私はなぜこれを通常の関数で行うことができないのか理解していますが、純粋な仮想関数の場合にはコンパイラには実装が保証されています。（完了していない場合はクラスBに関するエラーが発生します。キャスト）。

Answer 1

&derived::fooのタイプを操作する必要はありません。代わりに&base::fooを使用することができます。

メンバー関数へのポインタは仮想性を尊重します。この呼び出し

base* pBase = new derived; 
auto pFoo = &base::foo; 
(pBase->*pFoo)(); 

は実際には、正確に、簡単なコールpBase->foo()だろうように、derived::fooを呼び出します。

Answer 2

実装されていることが保証されていても、derivedでのみ宣言された追加データメンバーを使用することがあります。考えられる解決策は、関数ポインタを使用し、最初のパラメータとしてthisを渡すことです（これはまた、virtualで実行できない理由を示しています）。

Answer 3

には、以下のダイヤモンドの階層を考えてみましょう：

struct base { 
virtual void foo() = 0; 
}; 

struct D1 : public virtual base { 
virtual void foo() override; 
}; 

struct D2 : public virtual base { 
virtual void foo() override; 
}; 

struct Derived : public virtual D1, D2 { 
virtual void foo() final; 
}; 

今*ベースにする:: * ::アップキャストが派生から許可されているシナリオを検討してください。どの関数を呼び出さなければならないか？コンパイラは、情報がキャストされてから呼び出すD1 :: foo、D2 :: foo、またはDerived :: fooのいずれかに関する情報を失います。この種のあいまいさを避けるために、そのようなアップキャストは禁止されています。