策略接口须用class声明纯虚函数:virtual void execute() = 0且virtual ~Strategy() = default;策略类应无状态、构造轻量、依赖注入;上下文用std::unique_ptr持有;编译期优选模板,运行时用虚函数,variant适用于少量固定策略。

策略接口怎么用 class 声明才真正抽象
纯虚函数是唯一能保证「调用方不依赖具体实现」的手段。只声明 virtual void execute() 不够,必须加 = 0 并把析构函数也设为虚函数,否则多态删除会出未定义行为。
-
Strategy基类必须有virtual ~Strategy() = default; - 所有算法方法都得是
virtual 返回类型 函数名() = 0; - 避免在基类里写任何具体实现逻辑,哪怕是一行日志打印
- 如果策略需要传参,统一用 const 引用或值传递,别暴露内部数据结构
具体策略类如何避免重复构造开销
每个策略类本质是无状态的——它只封装行为,不保存上下文。所以不该在构造函数里做耗时操作,更不该缓存外部对象指针。
- 把初始化逻辑(如读配置、建连接)移到策略工厂或上下文类中
- 策略类成员变量只保留必要常量,比如
const double kThreshold; - 若需共享资源(如线程池、数据库句柄),通过构造函数注入,而非全局单例
- 测试时可直接 new 具体策略,无需工厂:
std::unique_ptr
s = std::make_unique ();
上下文类怎么安全持有策略指针
用 std::unique_ptr 最稳妥。裸指针易悬空,shared_ptr 会引入不必要的引用计数开销,且策略之间本就不该共享生命周期。
- 上下文构造函数接受
std::unique_ptr,接管所有权&& - 提供
setStrategy(std::unique_ptr支持运行时切换&&) - 执行时直接调用
strategy_->execute(...),无需判空——空指针应由调用方保障 - 不要在上下文中存储原始指针或引用,除非你 100% 确保其生命周期长于上下文
编译期策略选择比运行时更高效?什么时候该用 std::variant
当策略数量固定、编译期可知,且对性能极度敏感(比如高频循环内调用),模板参数化策略比虚函数调用快一个数量级。但代价是二进制体积增大、调试困难。
立即学习“C++免费学习笔记(深入)”;
- 运行时策略:适合用户配置、A/B 测试、插件式扩展
- 编译期策略:适合数学计算路径(如 SIMD / 标量)、序列化格式(JSON / Protobuf)等硬编码分支
-
std::variant是折中方案,适用于最多 3–4 种策略且不想写模板特化的场景,但访问时必须用std::visit,容易漏处理分支 - 错误示范:
auto v = std::variant
(StrategyA{}); // 编译失败!StrategyA 需要可默认构造且满足 variant 要求











