추상 기본 클래스의 모호한 상속 :

Question

나는 이보다 훨씬 복잡한 클래스 구조를 가지고 있지만 본질적으로 문제를 끓여 내 시나리오를 설명합니다. 순수한 가상 기본 클래스를 구현하는 두 클래스 인 A & B가 있습니다. 공유하는 다음 공통 조상, 그리고 마지막으로 & B를 할 수있는 COM-단정 세 번째 클래스 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; 
    ... 

또는

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

: 나는 두 가지 해결책을 발견했다.

는 C에서

Answer 1

재 선언 방법 연구 등 순수 가상 :

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에서 오는 호출 B.

에서 쉬운 방법을 보내고은 작성하는 것입니다 :

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

또는

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

그러나 나는이 중 어느 것도 당신이 찾고있는 답이 없다고 생각합니다. 당신은 인터페이스를 virtual를 통해 I를 상속하여 상황을 정리 : 사용자가 예상하는대로

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

지금, 당신은

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

를 호출 할 수 있습니다. 간단한에 대한 설명은 가상을 사용함으로써 클래스 C가 인터페이스 I의 두 개가 아닌 "복사"하나만 가져옵니다. 이렇게하면 코드가 불분명 해집니다.

Answer 5

자식 구조체에 r()을 오버로드하지 않았으므로 여전히 순수 가상입니다. 즉 구현이 없습니다.