템플릿 형식의 템플릿을 전문화 할 수 있습니까?

Question

내 프로그램에 대해 해답 클래스를 정의해야 문제 또는 중첩 된 문제를 해결할 수 있습니다.

template< typename ProblemT > 
struct Solver { 
    static void a() { 
     ProblemT::func(); 
    } 
}; 

template< typename < typename SubT> ProblemT > 
struct Solver<ProblemT< SubT> > { 
    static void a() { 
     ProblemT::func(); 
     SubT::func(); 
    } 
}; 

사용법 : 찾기의 전문 버전에서

Solver<Problem1> solver; 
Solver<Problem2<Problem3> > nested_solver; 

내가 제대로 유형을 정의하고 올바른 함수를 호출하기 위해 모두 ProblemT 및 부제에게 유형을 알아야합니다.

단순한 오류가 있습니까? 아니면 그러한 클래스를 정의 할 수 없습니까?

Answer 1

는이 같은 시도 할 수 있습니다 : 당신은 추가 멤버 함수와 기본 Solver 템플릿을 장식 할 수 있습니다, 분명히

template <typename T> 
struct Solver 
{ 
    static void solve() { T::func(); } 
}; 

template <template <typename> class Tmpl, typename U> 
struct Solver<Tmpl<U>> 
{ 
    static void solve() { Tmpl<U>::solve(); } 
}; 

을하는 당신이 할 수있는 전문 분야에서의 접근 등

Answer 2

당신이 사용하는 템플릿 템플릿 매개 변수를 수행 할 수 있습니다

template<template <typename> class ProblemT, typename SubT> 
struct Solver<ProblemT<SubT>> 
{ 
    ... 
}; 

// And you use it like this 
Solver<ProblemTemplate<SubProblem>> solver;