是否有可能为模板类型专门化模板？

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和SUBT类型，以便正确地定义类型和调用正确的函数。

仅仅是一个简单的错误还是不可能定义这样的类？

Answer 1

你可以尝试这样的事情：

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(); } 
}; 

很显然，你可以与其他成员函数装点您的主要Solver模板，你可以访问专业化等。

Answer 2

你可以做到这一点使用模板模板参数：

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

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