是否有可能爲模板類型專門化模板？

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;