C++ 가변 인자 템플릿 매개 변수

Question

는 가변 인자 템플릿 매개 변수에서 선형 계층 구조를 생성 할 수 있습니까? 예를 들어

GenLinearHierarchy<A,B,C,D,...> linHierarchy; 

계층 구조를 생성 여기서 A -> B -> C -> D -> ... -> 빈 (여기서, (가) -> 심볼 상속 약자). 템플릿 매개 변수 (템플릿 템플릿 ... 매개 변수)과 같은 서명이

: 기본 계층 구조에서 위의 클래스이며, 플레이트 (예를 들어 '가장 파생'클래스

template <class Base, class Plate> class A; 

D < E < ...>를 < ...>>).

지금까지 내가 실패 있었어 - 내가 (내가 순환 문제가 계속 실행 않음) 원에 갈거야 여부를 궁금해하기 시작했다. - 혼란에 대해 죄송

여기에 '콘크리트 솔루션'(내가 너무 좋아 아니에요 일)입니다 : 그래서

// Linear Hierarchy 

#include <iostream> 

template <class Base, class Floor> 
class D : public Base 
{ 
public: 
}; 

template <class Base, class Floor> 
class C : public Base 
{ 
public: 
     void Fire() 
     { 
       static_cast<Floor*>(this)->Handle(); 
     } 
}; 

template <class Base, class Floor> 
class B : public Base 
{ 
public: 
     void Handle() 
     { 
       std::cout << "Handled" << std::endl; 
     } 
}; 

class _FINISH {}; 

class _START : public B<C<D<_FINISH, _START>, _START, _START> {}; 

int main() 
{ 
     typedef _START A; 
     A a; 
     a.Fire(); 

     return 0; 
} 

, 난 여전히 'GenLinearHierarchy'클래스를 찾고 있어요하는 수 이 같은 instatiation 위에서 뭔가를 생성하지만, : 그것은 아마 같은 뭔가

Answer 1

Plate이 가장 파생 된 유형이라고 생각할 수는 없습니다. 전체 유형이 자체 템플릿 매개 변수 중 하나가되어야 함을 의미합니다. 이것은 내가 들어 왔 가장 가까운 :

struct Empty {}; 

template <template <class> class Head, template <class> class... Tail> 
struct GenLinearHierarchy 
{ 
    typedef Head<typename GenLinearHierarchy<Tail...>::type> type; 
}; 

template <template <class> class Tail> 
struct GenLinearHierarchy<Tail> 
{ 
    typedef Tail<Empty> type; 
}; 

template <class Base> struct A : Base {}; 
template <class Base> struct B : Base {}; 
template <class Base> struct C : Base {}; 
template <class Base> struct D : Base {}; 

static_assert(std::is_same< typename GenLinearHierarchy<A,B,C,D>::type 
          , A<B<C<D<Empty>>>>       >::value 
      , ""); 

---

편집 나는 당신이달라고 무엇을 가지고 생각합니다. 행운을 빌어 읽어보십시오. 너 자신을 비난 할 뿐이야. :)

Answer 2

:)

GenLinearHierarchy<B,C,D> linHierarchy; 

감사합니다 ...

template<typename T, typename... Args> 
class GenLinearHierarchy : public T, public GenLinearHierarchy<Args...> {}; 

template<typename T> 
class GenLinearHierarchy<T> : public T {};