优先用 std::function + Lambda 或普通函数,而非继承类;策略应无状态、值语义优先;传参避免悬垂引用,推荐值捕获或 std::shared_ptr;成员变量或函数参数传递策略更灵活;性能瓶颈通常不在间接调用而在内存访问模式。

策略模式在 c++ 里到底该用 class 还是 function Object?
直接说结论:优先用 std::function + lambda 或普通函数,而不是手写一堆继承类。C++ 的策略本质是「运行时可替换的算法实现」,不是 OOP 练习题。
常见错误是为每个算法新建一个 IStrategy 抽象基类和三个子类,结果接口没变、行为没复用、编译开销还大。现代 C++ 更倾向值语义和类型擦除。
-
std::function<void></void>能接 lambda、函数指针、绑定对象,调用开销可控(一般一次虚调用) - 如果策略完全无状态且编译期确定,用模板参数(
template<typename strategy></typename>)更零成本,但失去运行时切换能力 - 继承体系只在需要共享内部状态(比如缓存、计数器)且多策略共用同一上下文时才值得——这种情况其实很少
std::function 策略怎么传参才不掉坑?
传值还是传引用?捕获外部变量会不会悬垂?这是最常翻车的地方。
典型错误:auto s = std::make_unique<:function>>([x]{ /* use x */ });</:function> —— 如果 x 是局部变量,lambda 捕获的是副本或引用,但 std::function 存储后生命周期独立,容易用到已销毁的对象。
立即学习“C++免费学习笔记(深入)”;
- 优先用值捕获(
[=]),确保数据随 lambda 一起被std::function拷贝管理 - 避免捕获局部引用(
[&x]),除非你能 100% 控制 lambda 的生存期短于x - 如果策略要修改外部变量,用
std::ref(x)包装后传入 lambda,否则捕获的仍是副本 - 对大对象,考虑用
std::shared_ptr管理,再捕获智能指针,比裸指针安全
策略对象该存在哪?全局变量、成员变量还是临时构造?
策略本身不该有状态,但它的宿主(比如一个 Processor 类)得决定何时换策略、换几次。
错误做法:每次调用都 new 一个 std::function;或者把策略硬编码进构造函数,导致无法测试替换。
- 策略作为类的
std::function成员变量,提供set_strategy()方法,适合需要动态切换的场景(如配置驱动) - 策略作为函数参数传入(
process(data, strategy)),适合一次性的、算法组合灵活的场合(比如排序+过滤+映射流水线) - 完全避免全局策略变量——它让单元测试不可控,也隐藏依赖
- 如果策略逻辑简单(如
[](int x){ return x * 2; }),直接内联写,别单独抽函数,反而增加认知负担
性能敏感场景下,virtual call 和 std::function 哪个更慢?
两者底层都是间接跳转,但 std::function 多一层类型擦除开销;而虚函数调用在现代 CPU 上预测效率很高。差别通常在纳秒级,但累积起来可能明显。
真实瓶颈往往不在这里,而在策略内部的内存访问模式或缓存友好性——这点容易被忽略。
- 如果策略被高频调用(比如每帧上万次),且实现固定,改用模板策略(
template<typename s> class Processor</typename>)可彻底消除间接调用 - 不要为了“理论更快”强行用虚函数继承——
std::function的可读性和维护性优势在绝大多数项目里压倒那点微小开销 - 用
perf或vtune实测,别猜。很多所谓“性能问题”其实是策略里做了没必要的std::String构造或锁竞争
策略模式真正的复杂点从来不在结构,而在于什么时候不该用它——比如算法分支只有两个、且永远不变,一个 if 就够了;或者策略之间差异只是参数不同,那就直接传参,别包装成对象。