템플릿 상속을 사용하여 조부모 생성자 호출

Question

다중 상속 및 가상 상속을 방지하기 위해 템플릿 상속을 사용하도록 선택했습니다. 내 목표는 다양한 자식 (4 또는 5 세대 또는 제어 할 수없는 상속)을 파생시키는 것과 관계없이 공통 함수 호출을 만드는 것입니다.

은 내 솔루션도록 템플릿 상속을 삽입한다 :

template <typename BASE> 
class common_call : public BASE { 
public: 
    void foo() { /*implementation independent of base*/ } 
}; 

class child1 : public common_call <base1> {}; 
class child2 : public common_call <base2> {}; 

이베이스의 생성자를 호출하는 문제가있다. Base1과 Base2 클래스 (저에게 쓰여지지 않은 클래스)는 초기화 목록에서 호출해야하는 생성자가 다릅니다. common_call 템플릿은 이러한 생성자에 대해 아무 것도 모릅니다. 그러나 자식 클래스는 현재 자신이 직접 상속하는대로 수행합니다. 내가베이스 가능한 경우의 각 유형에 대한 부분 템플릿 특수화을 피하기 위해 노력하고있어

class child3 : public common_call<base3>{ 
public: 
    child3(param1, param2) : base3(param2) {/*do things here*/} 
}; 

:

내가이 작업을 수행 할 수있는 방법이 있습니까.

Answer 1

이 같은 가변 인자 템플릿을 사용하여 템플릿 생성자를 common_call 줄 경우

template <typename BASE> 
class common_call : public BASE 
{ 
public: 
    // C++11 variadic templates to define whole range of constructors 
    template<typename... Args> 
    common_call(Args&&... args) 
    : 
     BASE(std::forward<Args>(args)...) 
    {} 

    void foo() { /*implementation independent of base*/ } 
}; 

그런 다음 어떤 템플릿 인수로 common_call에서 파생 할 수 있습니다 (예 : base3를) 및 클래스에 정의되어 그 어떤 생성자 호출

class child3 
: 
    public common_call<base3> 
{ 
public: 
    child3(Type1 param1, Type2 param2) 
    : 
     common_call(param2), // call constructor overload with 1 parameter of Type2 
     t1_(param1)   // initialize t1_ member 
    {} 

private: 
    Type1 t1_; 
};