あいまいな継承：

Question

私はこれよりもはるかに複雑なクラス構造を持っていますが、その本質にまで問題を沸騰、これは私のシナリオを説明します。私は2つのクラス、& Bを持って、その純粋仮想基底クラスを実装その共通の祖先を、そして純粋仮想ベースで一般的な方法で充填& B.最後に、テンプレートクラスをCOM-断定第3クラスC：

struct I { 
    virtual void r()=0; 
}; 

struct A : I {}; 
struct B : I {}; 

struct C : A, B { 
    void q(){ 
    r();    // the problem is here. 
    } 
}; 

struct D : C { 
    virtual void r(){ 
    } 
}; 

C* c = new D; 
c->q(); 

私の問題は、私ができる、ありますr ::を呼び出すためにC :: qを得る方法はありません。

void C::q(){ 
    r(); // is ambiguous 
    A::r(); // is pure virtual 
    B::r(); // also is pure virtual 
    D::r(); // C doesn't know about D 
    ((D*)this)->r(); // is dubious and requires C to know about D. 
} 

正しい仮想メソッドが呼び出されるように、Cからr（）メソッドを呼び出すにはどうすればよいですか？

---

申し訳ありませんが、ここでは仮想継承を使用できないことを明確にする必要があります。どちらも、すべてが解決するために十分に（）Rへの呼び出しを明確に見える

struct C : A, B { 
    virtual void r()=0; 
    ... 

OR

struct C : A, B { 
    using A::r; 
    ... 

：私は2つの解決策を発見しました。

はCで

Answer 1

再宣言方法Rと純粋仮想：

struct C : A, B { 
    void q(){ 
    r();    // the problem is here. 
    } 

    virtual void r()=0; 
}; 

Answer 2

階層の一部が従うようにコンパイラに教える：

struct C : A, B { 
    void q(){ 
    A * p = this; 
    p->r();    // recent GCC compiles this 
    } 
}; 

Answer 3

てみ仮想継承

struct A : virtual I {}; 
struct B : virtual I {}; 

Answer 4

それは曖昧ですコンパイラは、r()がコールするもの、Aから来るもの、またはone com

static_cast<A*>(this)->r(); 

または

static_cast<B*>(this)->r(); 

しかし、私はこれのどれもあなたが探している答えではないと思います：B.

からINGの簡単な方法は、書くことです。あなたは、私がvirtualを通じてインタフェースを継承して、状況をクリーンアップ：

今

struct A : virtual I {}; 
struct B : virtual I {}; 

、あなたが期待どおりに

void C::q() { r(); } 

を呼び出すことができます。 単純なの説明は、仮想を使用することによって、クラスCはインターフェイスIの1つだけ "コピー"を取得し、2つではありません。これにより、コードが曖昧になります。

Answer 5

子構造体にr（）をオーバーロードしていないので、まだ純粋な仮想です。実装がない。