模板方法模式通过抽象基类定义算法骨架,将可变步骤延迟至派生类实现:基类以public final函数封装流程,protected virtual纯虚函数留扩展点,支持钩子机制与现代C++优化。

模板方法模式在C++中通过抽象基类定义算法骨架,将可变步骤延迟到派生类实现。核心是用virtual(常为protected)纯虚函数留出扩展点,用final防止关键步骤被重写,再以public非虚函数封装完整流程。
定义抽象模板类
声明一个含公共入口函数的基类,把不变逻辑写在该函数内,变化部分抽成受保护的虚函数:
- 构造函数/析构函数设为
protected或default,避免直接实例化 - 模板主函数(如
execute())为public、final,确保算法结构不被破坏 - 子步骤(如
step1()、step2())为protected、virtual,其中纯虚函数强制子类实现
派生类实现具体步骤
继承抽象类后,只重写需要定制的虚函数,不改变整体调用顺序:
- 若某步有默认行为,基类中提供带实现的
virtual函数;若必须重写,则用= 0声明纯虚 - 可添加新成员变量或辅助函数,但不新增对外接口——所有交互仍走
execute() - 示例:咖啡和茶的冲泡流程共用“烧水→冲泡→倒杯→加料”,仅“冲泡”和“加料”不同
支持钩子机制与默认行为
用带空实现的虚函数作为钩子(Hook),让子类选择性介入:
立即学习“C++免费学习笔记(深入)”;
- 例如
isAddCondiments() { return true; },子类可重写返回false跳过加料 - 钩子函数通常
protected、virtual、有默认实现,不影响主流程完整性 - 避免在模板函数中直接调用
private函数——那会封闭扩展能力
现代C++优化写法
C++11起可用override显式标注重写,C++17可结合if constexpr做编译期分支(适用于策略已知的场景):
- 抽象类中用
[[nodiscard]]标记execute(),提醒调用者注意返回值 - 对无需多态的简单场景,也可用函数对象+模板参数替代继承(即“策略模式+模板”混合),但失去运行时切换能力
- 慎用
std::function代替虚函数——动态分配开销大,且破坏了模板方法的静态结构约束
不复杂但容易忽略:模板方法的价值不在代码量,而在把“什么不变”和“什么可变”清晰分离。只要基类里execute()没被绕过,算法一致性就始终可控。











