C++怎么把可替换的行为组合到对象里-C++-PHP中文网

最轻量灵活的行为注入方式是用 std::function 作成员变量，支持函数指针、lambda、绑定成员函数且拷贝安全；需判空调用、避免捕获局部变量生命周期不足，并通过构造函数或setter初始化。

c++怎么把可替换的行为组合到对象里

用 std::function + 成员变量实现行为注入

直接把可替换的行为塞进对象，最轻量也最灵活的方式是用 std::function 作为成员变量。它不绑定具体类型，支持函数指针、lambda、绑定后的成员函数，而且拷贝安全。

常见错误是试图用裸函数指针或虚函数强行“多态”，结果导致对象体积膨胀、继承关系僵硬，或者忘了 std::function 捕获 lambda 时的生命周期问题。

行为定义写在类内部，比如 std::function<void></void> 表示“接受一个 int、无返回值”的可调用对象
构造函数或 setter 接收行为，避免默认构造后忘记初始化（否则调用会崩溃）
lambda 捕获局部变量时，确保该变量寿命长于对象；若需延长生命周期，改用 std::shared_ptr 或传值捕获

struct Processor {
    std::function<void> 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 

<h3>需要运行时切换行为？别用模板，用 std::variant 或策略指针</h3>
<p>如果行为不止一种，且需在运行时来回切换（比如不同压缩算法、不同日志后端），<code>std::function</code> 仍可用，但类型擦除开销固定；更可控的做法是用 <code>std::variant</code> 存几种已知策略，或用抽象基类 + <code>std::unique_ptr</code>。</p>
<p>容易踩的坑是误以为模板能解决运行时选择——模板在编译期就确定，无法根据配置文件或用户输入切换。</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
														src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
													<p class="overflowclass">C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。</p>
												</div>
												<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>
<ul>
<li>
<code>std::variant<compresszlib compresslz4 compressnone></compresszlib></code>：零分配、无虚函数开销，但新增策略要改 variant 定义</li>
<li>
<code>std::unique_ptr<compressionstrategy></compressionstrategy></code>：支持动态加载、插件化，但有虚函数调用和堆分配成本</li>
<li>别让策略对象持有外部资源的裸指针；用 <code>std::weak_ptr</code> 或传入 const 引用更安全</li>
</ul>
<h3>行为带状态？封装成 functor 类或捕获 lambda</h3>
<p>当行为需要维护自己的状态（比如计数器、缓存、连接句柄），不要把它散落在全局变量或静态局部变量里——这会让对象失去可重入性和线程安全性。</p>
<p>正确做法是把状态包进 lambda 捕获列表，或单独写个 functor 类（重载 <code>operator()</code>）。前者简洁，后者便于单元测试和复用。</p>
<ul>
<li>lambda 捕获 <code>[count = 0]() mutable { return ++count; }</code> 是线程不安全的，多对象共享同一 lambda 实例时尤其危险</li>
<li>functor 类中状态为成员变量，每个对象实例独有一份，天然隔离</li>
<li>若状态需跨对象共享，显式传入 <code>std::shared_ptr</code>，而不是靠 static 或全局</li>
</ul>
<pre class="brush:php;toolbar:false;">struct CounterFunctor {
    int count = 0;
    int operator()(int step) { return count += step; }
};

Processor p;
p.on_process = CounterFunctor{}; // 每次赋值都是独立副本