c++如何实现模板方法模式 c++设计模式之Template Method【实例】

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

模板方法模式在C++中通过抽象基类定义算法骨架,将可变步骤延迟到派生类实现。核心是用virtual(常为protected)纯虚函数留出扩展点,用final防止关键步骤被重写,再以public非虚函数封装完整流程。

定义抽象模板类

声明一个含公共入口函数的基类,把不变逻辑写在该函数内,变化部分抽成受保护的虚函数:

  • 构造函数/析构函数设为protecteddefault,避免直接实例化
  • 模板主函数(如execute())为publicfinal,确保算法结构不被破坏
  • 子步骤(如step1()step2())为protectedvirtual,其中纯虚函数强制子类实现

派生类实现具体步骤

继承抽象类后,只重写需要定制的虚函数,不改变整体调用顺序:

  • 若某步有默认行为,基类中提供带实现的virtual函数;若必须重写,则用= 0声明纯虚
  • 可添加新成员变量或辅助函数,但不新增对外接口——所有交互仍走execute()
  • 示例:咖啡和茶的冲泡流程共用“烧水→冲泡→倒杯→加料”,仅“冲泡”和“加料”不同

支持钩子机制与默认行为

用带空实现的虚函数作为钩子(Hook),让子类选择性介入:

  • 例如isAddCondiments() { return true; },子类可重写返回false跳过加料
  • 钩子函数通常protectedvirtual、有默认实现,不影响主流程完整性
  • 避免在模板函数中直接调用private函数——那会封闭扩展能力

现代C++优化写法

C++11起可用override显式标注重写,C++17可结合if constexpr做编译期分支(适用于策略已知的场景):

  • 抽象类中用[[nodiscard]]标记execute(),提醒调用者注意返回值
  • 对无需多态的简单场景,也可用函数对象+模板参数替代继承(即“策略模式+模板”混合),但失去运行时切换能力
  • 慎用std::function代替虚函数——动态分配开销大,且破坏了模板方法的静态结构约束

不复杂但容易忽略:模板方法的价值不在代码量,而在把“什么不变”和“什么可变”清晰分离。只要基类里execute()没被绕过,算法一致性就始终可控。