C++模板基类设计选型：多态存储特化派生类的可行性与更优架构探讨

首先直接给出结论：你提供的代码无法通过编译，更谈不上可行。核心问题在于：FibSolver<Policy>是一个模板类，每一个Policy特化版本（比如FibSolver<Policy::SEQ>和FibSolver<Policy::PAR>）都是完全独立的类型，不存在一个通用的非模板FibSolver基类，所以FibSolver*这种写法本身就是语法错误。

结合你补充的4个设计目标，我给你设计一套既能满足多态存储，又完全贴合需求的架构方案：

核心思路 #

要实现模板特化类的多态存储，必须有一个非模板的抽象基类作为所有具体solver的统一接口。然后通过模板基类绑定执行策略，既保证编译期解析策略，又强制派生类遵循策略要求。

优化后的代码实现 #

#include <memory>
#include <vector>

enum class Policy { SEQ, PAR };

// 1. 非模板抽象基类：统一多态接口，集合只依赖这个类
class FibSolverBase {
public:
    virtual ~FibSolverBase() = default; // 必须有虚析构，否则多态delete会泄漏
    virtual void solve() = 0;
    // 可选：如果需要获取策略信息，可添加此接口，由模板基类统一实现
    virtual Policy get_policy() const = 0;
};

// 2. 模板基类：绑定执行策略，强制派生类遵循策略，同时继承统一基类
template <Policy p>
class FibSolver : public FibSolverBase {
public:
    Policy get_policy() const final override {
        return p; // 编译期确定策略，无需额外存储
    }
    // 强制派生类实现solve方法
    virtual void solve() = 0;
};

// 3. 具体派生类：继承对应策略的模板基类，实现solve逻辑
template <Policy p>
class DPFibSolver : public FibSolver<p> {
public:
    void solve() final override {
        // 对应策略p的动态规划求解逻辑
    }
};

template <Policy p>
class RecursionFibSolver : public FibSolver<p> {
public:
    void solve() final override {
        // 对应策略p的递归求解逻辑
    }
};

// 用法示例：多态存储到非模板集合中
int main() {
    // 推荐用智能指针管理内存，避免泄漏
    std::vector<std::unique_ptr<FibSolverBase>> solvers;
    solvers.emplace_back(std::make_unique<DPFibSolver<Policy::SEQ>>());
    solvers.emplace_back(std::make_unique<DPFibSolver<Policy::PAR>>());
    solvers.emplace_back(std::make_unique<RecursionFibSolver<Policy::SEQ>>());
    solvers.emplace_back(std::make_unique<RecursionFibSolver<Policy::PAR>>());

    // 多态调用
    for (auto& solver : solvers) {
        solver->solve();
    }
    return 0;
}

方案对设计目标的满足情况 #

• 强制遵循执行策略：所有具体solver必须继承FibSolver<p>模板类，而p是编译期确定的策略参数，无法创建不绑定策略的solver实例。
• 无额外存储：策略信息是模板参数，编译期嵌入类型中，不需要在对象实例里存储Policy成员变量，完全符合“不涉及额外存储”的要求。
• 编译期解析策略：所有策略相关的逻辑（比如get_policy()的返回值、不同策略的solver类型）都是编译期确定的，没有运行期的策略判断分支。
• 便于新增策略：只需两步即可新增策略：
  1. 在Policy枚举中添加新值（比如Policy::PAR_UNORDERED）；
  2. 实现对应策略的solver（比如template<> class DPFibSolver<Policy::PAR_UNORDERED>），或者直接复用现有solver模板（如果逻辑适配的话）。完全不需要修改现有基类和集合代码，符合开闭原则。

额外注意事项 #

• 一定要给抽象基类FibSolverBase添加虚析构函数，否则当通过基类指针delete派生类对象时，会导致未定义行为（内存泄漏）。
• 推荐使用智能指针（比如std::unique_ptr）管理solver对象，避免手动管理内存的繁琐和泄漏风险。
• 如果不同策略的solver需要共享某些通用逻辑，可以在FibSolver<p>模板基类中实现，减少代码重复。

内容的提问来源于stack exchange，提问作者Nkk