추상 기본 클래스 퍼즐

Question

는 :

class MyData 
{ 
    int foo; 
}; 

class AbstraktA 
{ 
public: 
    virtual void A() = 0; 
}; 

class AbstraktB : public AbstraktA 
{ 
public: 
    virtual void B() = 0; 
}; 

template<class T> 
class ImplA : public AbstraktA 
{ 
public: 
    void A(){ cout << "ImplA A()"; }  
}; 

class ImplB : public ImplA<MyData>, public AbstraktB 
{ 
public: 
    void B(){ cout << "ImplB B()"; } 
}; 

void TestAbstrakt() 
{ 
    AbstraktB *b = (AbstraktB *) new ImplB; 
    b->A(); 
    b->B(); 
}; 

위의 코드의 문제는 컴파일러가 AbstraktA :: A() 정의되지 불평 것입니다.

인터페이스 A는 여러 개체에서 공유됩니다. 그러나 A의 구현은 템플릿 인수에 따라 달라집니다. 인터페이스 B는 외부 세계에서 볼 수 있으며 abstrakt가되어야합니다.

내가이하고 싶은 이유는 내가이 같은 오브젝트 C를 정의 할 수 있습니다 것입니다 : 이 템플릿 A.에 대해 다른 데이터 유형을 사용하여 C의 구현을 정의 추상의 A. 에서 상속 인터페이스 C를 정의

나는 분명히 희망한다. 이 작업을 수행 할 수있는 방법이 있습니까? 아니면 디자인을 재고해야합니까?

Answer 1

AbstracktA에서 두 가지 상속 경로가 있으며, AbstraktA :: A() 중 하나에서만 구현하므로 컴파일러가 불평합니다.

AbstraktA 기본 개체가 하나만 있도록 (AbstraktA 앞에 virtual 추가) 두 경우 모두 실제로 AbstraktA에서 상속하는 것이 좋습니다.

Answer 2

가상 소멸자를 기본 클래스에 추가하는 것을 잊어 버렸습니다. 이것은 내가 믿는 런타임 malloc 오류로 이어진다. 디버그 모드에서

AbstraktB *b = new ImplB; 
b->A(); 
b->B(); 
delete b; 

은 삭제 문에, GCC는 나를 제공 : 의 malloc을 : *** 오류 객체 0x60e2c4을 위해 : 포인터 해제되지는

I가 기본 클래스를 변경하여이 문제를 해결

할당되지 않은 :

class AbstraktA 
{ 
public: 
    virtual ~AbstraktA(){}; 
    virtual void A() = 0; 
}; 

class AbstraktB : virtual public AbstraktA 
{ 
public: 
    virtual ~AbstraktB(){}; 
    virtual void B() = 0; 
};