使用模板参数传入策略类型可实现完全静态绑定，通过定义通用上下文类context并以策略作为模板参数，使不同策略在编译期实例化为不同类版本，避免运行时判断，提升性能和类型安全性。2. 利用模板特化可定制不同类型的策略行为，在通用逻辑基础上对特定类型进行差异化处理，适合策略差异集中在某些类型而非整体替换的场景。3. 借助if constexpr可在编译期根据模板参数选择执行路径，适用于策略差异较小、希望统一接口并在同一类中处理的情况，减少多个类定义，便于维护。这三种方法可根据策略复杂度和复用需求单独或组合使用，实现高效的编译期策略选择。
在一些需要灵活切换算法或行为的 C++ 项目中，策略模式是个常用的解耦设计。而如果能在编译期就确定具体策略，不仅能避免运行时的条件判断，还能提升性能和类型安全性。用模板来实现策略模式，并结合模板特化、if constexpr 等特性，可以很好地做到这一点。
下面从几个实际开发中常见的需求点出发，讲讲怎么用模板做编译期策略选择的设计。
模板参数传入策略类型
最直接的方式是把策略作为模板参数传入一个上下文类（Context）。这样不同的策略会在编译期被实例化为不同的类版本，彼此独立，互不影响。
template <typename Strategy>
class Context {
public:
void execute() {
strategy_.doSomething();
}
private:
Strategy strategy_;
};使用时只需指定不同的策略类型：
struct StrategyA {
void doSomething() { std::cout << "Strategy A\n"; }
};
struct StrategyB {
void doSomething() { std::cout << "Strategy B\n"; }
};
Context<StrategyA> ctxA;
ctxA.execute(); // 输出 Strategy A
Context<StrategyB> ctxB;
ctxB.execute(); // 输出 Strategy B这种方式的好处是完全静态绑定，没有虚函数开销，适合策略数量固定、不频繁变化的场景。
使用模板特化定制不同策略行为
如果你希望根据不同类型执行略微不同的逻辑，而不是完全替换整个策略类，可以用模板特化来实现。
比如你有一个通用的计算类，但对某些数据类型需要特殊处理：
template <typename T>
struct Calculator {
void compute(const T& value) {
std::cout << "General computation for " << value << "\n";
}
};
// 特化某个类型的行为
template <>
struct Calculator<int> {
void compute(int value) {
std::cout << "Special handling for int: " << value * 2 << "\n";
}
};调用方式如下：
Calculator<double> calcD; calcD.compute(3.14); // 输出 General computation for 3.14 Calculator<int> calcI; calcI.compute(5); // 输出 Special handling for int: 10
这种做法适合策略差异集中在某些类型上，不需要整体替换策略的情况。
利用 if constexpr 实现编译期分支选择
C++17 引入了 if constexpr，可以在编译期根据模板参数决定走哪条逻辑路径。这种方式特别适合策略之间差异不大、但又不想拆成多个类的情况。
举个例子：
enum class StrategyType { Fast, Accurate };
template <StrategyType T>
class Processor {
public:
void process(int value) {
if constexpr (T == StrategyType::Fast) {
std::cout << "Fast mode: " << value + 1 << "\n";
} else if constexpr (T == StrategyType::Accurate) {
std::cout << "Accurate mode: " << value * 2 << "\n";
}
}
};使用时通过模板参数控制策略：
Processor<StrategyType::Fast> fastProc; fastProc.process(10); // 输出 Fast mode: 11 Processor<StrategyType::Accurate> accurateProc; accurateProc.process(10); // 输出 Accurate mode: 20
这种方法省去了多个类的定义，适合策略间只是逻辑微调的情况，也便于维护统一接口。
小结一下
- 如果你希望每个策略完全独立，用模板参数传入策略类是最清晰的做法。
- 如果只是针对某些类型有特殊逻辑，模板特化是个轻量级的选择。
- 如果策略之间差异小，想在一个类里搞定，可以用
if constexpr来做编译期分支判断。
基本上就这些。这几种方法都可以单独或组合使用，关键看你的策略变体复杂程度和是否需要复用部分逻辑。
