最轻量灵活的行为注入方式是用 std::function 作成员变量，支持函数指针、lambda、绑定成员函数且拷贝安全；需判空调用、避免捕获局部变量生命周期不足，并通过构造函数或setter初始化。
用 std::function + 成员变量实现行为注入
直接把可替换的行为塞进对象，最轻量也最灵活的方式是用 std::function 作为成员变量。它不绑定具体类型，支持函数指针、lambda、绑定后的成员函数，而且拷贝安全。
常见错误是试图用裸函数指针或虚函数强行“多态”，结果导致对象体积膨胀、继承关系僵硬，或者忘了 std::function 捕获 lambda 时的生命周期问题。
- 行为定义写在类内部，比如
std::function<void></void>表示“接受一个 int、无返回值”的可调用对象 - 构造函数或 setter 接收行为，避免默认构造后忘记初始化（否则调用会崩溃）
- lambda 捕获局部变量时，确保该变量寿命长于对象；若需延长生命周期，改用
std::shared_ptr或传值捕获
struct Processor {
std::function<void(int)> on_process;
void run(int x) {
if (on_process) on_process(x); // 必须判空！未初始化的 std::function 调用会抛 std::bad_function_call
}
};
Processor p1;
p1.on_process = [](int x) { std::cout << "log: " << x << "\n"; };
p1.run(42); // 输出 log: 42
需要运行时切换行为？别用模板，用 std::variant 或策略指针
如果行为不止一种，且需在运行时来回切换（比如不同压缩算法、不同日志后端），std::function 仍可用，但类型擦除开销固定；更可控的做法是用 std::variant 存几种已知策略，或用抽象基类 + std::unique_ptr。
容易踩的坑是误以为模板能解决运行时选择——模板在编译期就确定，无法根据配置文件或用户输入切换。
立即学习“C++免费学习笔记（深入）”；
-
std::variant<compresszlib compresslz4 compressnone></compresszlib>：零分配、无虚函数开销，但新增策略要改 variant 定义 -
std::unique_ptr<compressionstrategy></compressionstrategy>：支持动态加载、插件化，但有虚函数调用和堆分配成本 - 别让策略对象持有外部资源的裸指针；用
std::weak_ptr或传入 const 引用更安全
行为带状态？封装成 functor 类或捕获 lambda
当行为需要维护自己的状态（比如计数器、缓存、连接句柄），不要把它散落在全局变量或静态局部变量里——这会让对象失去可重入性和线程安全性。
正确做法是把状态包进 lambda 捕获列表，或单独写个 functor 类（重载 operator()）。前者简洁，后者便于单元测试和复用。
- lambda 捕获
[count = 0]() mutable { return ++count; }是线程不安全的，多对象共享同一 lambda 实例时尤其危险 - functor 类中状态为成员变量，每个对象实例独有一份，天然隔离
- 若状态需跨对象共享，显式传入
std::shared_ptr，而不是靠 static 或全局
struct CounterFunctor {
int count = 0;
int operator()(int step) { return count += step; }
};
Processor p;
p.on_process = CounterFunctor{}; // 每次赋值都是独立副本
性能敏感场景下，避免 std::function 的小对象优化失效
std::function 内部通常有小对象优化（SOO），对短 lambda 或函数指针能避免堆分配；但一旦捕获大量数据（比如捕获整个 std::vector 或大对象），就会退化到堆分配，带来额外开销和 cache 不友好。
这时候得权衡：是接受一点分配代价，还是把行为拆成“纯函数 + 外部状态引用”？后者更可控，但接口略啰嗦。
- 检查
sizeof(std::function)是否异常大（常见于 VS 的 debug 模式下 SOO 尺寸设得保守） - 用
std::function::target_type()或typeid在调试时确认实际存储类型 - 极端性能路径（如 inner loop）建议直接传函数指针或模板参数，把行为选择上推到编译期
