std::barrier专为多线程反复同步设计,适用于物理仿真、分批处理等需每轮全体等待的场景;它可重用、轻量、无唤醒丢失,要求线程数严格匹配构造参数,且支持抵达后执行一次回调。

std::barrier 适合什么场景
它专为“多线程反复执行相同阶段、每次阶段结束需全体等待”的循环同步设计,比如模拟时间步进的物理仿真、多 worker 轮训处理批次数据。和 std::latch 不同,std::barrier 可重用;和 std::mutex + std::condition_variable 手动实现相比,它更轻量、无唤醒丢失风险,且不依赖共享状态判断。
构造与 wait() 的基本用法
创建时指定参与线程数,每个线程在每轮末尾调用 wait() —— 该调用会阻塞直到所有线程都到达,然后全部同时返回(可能触发可选的 arrive_phase 回调)。注意:必须确保每次调用 wait() 的线程数严格等于构造时传入的计数,否则行为未定义。
常见错误现象:std::system_error: Invalid argument,通常是因为某轮中某个线程没调用 wait(),或调用了多次。
- 构造参数是线程总数,不是剩余等待数
-
wait()返回前,所有线程都在同一屏障点“碰头”,不存在“先到先走” - 回调函数(第二个构造参数)只在最后一人到达时执行一次,且在所有线程被释放前运行
std::barrier b(4, []{ std::cout
<h3>和 std::latch 的关键区别在哪</h3>
<p><code>std::latch</code> 是一次性门闩:构造时设初值,每次 <code>count_down()</code> 减一,<code>wait()</code> 仅等待归零,之后无法重置;而 <code>std::barrier</code> 每次 <code>wait()</code> 都重置内部计数器,天然支持循环。若误用 <code>std::latch</code> 做循环同步,会出现第二次 <code>wait()</code> 立即返回(因已为 0),导致线程不同步。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<p>性能影响:两者底层都基于 futex 或类似机制,但 <code>std::barrier</code> 多一次原子计数翻转,开销几乎可忽略;兼容性上,<code>std::barrier</code> 要求 C++20,<code>std::latch</code> 同样如此。</p>
<h3>实际写循环任务时容易漏掉什么</h3>
<p>最常被忽略的是线程生命周期与 barrier 生命周期的匹配。如果 barrier 对象在某轮 <code>wait()</code> 还没完成时就被析构(比如放在局部作用域里,而线程还在跑),会导致未定义行为甚至 crash。</p>
- 把
std::barrier定义在所有 worker 线程都能安全访问的作用域,通常是类成员或全局静态对象 - 确保所有线程完成最后一次
wait()后,再让 barrier 析构 - 不要在线程函数里按值捕获 barrier(如 lambda 中 [=]),应按引用或指针传递
另一个坑:多个 barrier 串联使用时(比如 phase A → barrier1 → phase B → barrier2),别假设 barrier1 返回就代表 phase B 可以立刻开始 —— 必须确认所有线程确实进入了 phase B 的代码段,否则仍可能竞争。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










