是否可以專門針對模板化類型的模板？

Question

對於我的程序，我需要定義一個Solver類，它可以解決問題或嵌套問題。

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<template <typename> class ProblemT, typename SubT>
struct Solver<ProblemT<SubT>>
{
    ...
};

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

Answer 2

您可以嘗試如下操作：

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模板，您可以在專業化版本中訪問這些成員功能。