模板策略模式通过模板参数在编译期绑定策略,提升性能、支持内联、增强类型安全。示例中sorter类接受不同排序策略,如AscendingSort和DescendingSort,执行时无虚函数开销。适用于算法库、STL容器定制、高性能场景。缺点是策略需编译期确定,可能引起代码膨胀和复杂错误信息,可用c++20 concepts缓解。

在C++中,策略模式通常通过继承和虚函数实现运行时多态。但使用模板可以实现编译时的策略选择,这种方式更高效、类型安全,并能避免虚函数调用开销。这种基于模板的实现被称为“模板策略模式”或“编译时策略模式”。
模板策略模式的基本思想
模板策略模式利用模板参数将具体策略注入到主体类中,在编译期完成策略绑定,而不是在运行时通过指针或引用调用虚函数。这样可以:
- 提升性能:无虚函数表开销
- 支持内联优化
- 增强类型安全性
- 便于泛型编程
实现步骤与示例代码
以一个简单的排序器为例,展示如何用模板实现策略模式。
// 定义不同的策略类
Struct AscendingSort {
template <typename T>
void sort(T& container) {
std::sort(container.begin(), container.end());
}
};
struct DescendingSort {
template <typename T>
void sort(T& container) {
std::sort(container.begin(), container.end(), std::greater<>());
}
};
// 主体类使用模板参数传入策略
template <typename Strategy>
class Sorter {
private:
Strategy strategy;
public:
template <typename T>
void execute(T& data) {
strategy.sort(data);
}
};
// 使用方式
std::vector<int> nums = {5, 2, 8, 1};
Sorter<AscendingSort> asc_sorter;
asc_sorter.execute(nums); // 升序排列
Sorter<DescendingSort> desc_sorter;
desc_sorter.execute(nums); // 降序排列
优势与适用场景
模板策略模式适合那些策略在编译期已知、且追求高性能的场景。常见应用包括:
立即学习“C++免费学习笔记(深入)”;
- 算法库中的比较、哈希、分配策略
- 数值计算中的迭代器行为控制
- STL容器的自定义行为(如
std::priority_queue的比较器) - 嵌入式系统或高频交易等对性能敏感的领域
由于策略是模板参数,编译器能针对每种组合生成最优代码,甚至完全内联策略逻辑。
注意事项
虽然模板策略模式高效,但也有一些限制:
- 策略必须在编译期确定,无法动态切换
- 过度使用可能导致代码膨胀(每个策略实例化独立版本)
- 错误信息可能较难理解(尤其是SFINAE复杂时)
- 策略接口需保持一致,否则编译失败
可以通过概念(C++20 concepts)约束模板参数,提高可读性和错误提示质量。
基本上就这些。模板策略模式是一种强大的惯用法,把设计模式的思想与泛型编程结合,既保持了策略模式的灵活性,又获得了编译期优化的好处。