c++ - 是否可以为模板化类型专门化模板？

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;

在 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;