std::barrier适用于多阶段重复同步,构造时指定正整数参与线程数,支持arrive_and_drop()安全减少但不可增加,arrive_and_wait()实现原子同步,可选回调在每阶段汇合时执行一次。

std::barrier 适合多阶段同步,不是一次性等待
如果你正在写图像处理流水线、游戏帧同步或分布式渲染这类需要反复“等齐所有线程再一起往下走”的逻辑,std::barrier 就是比 std::latch 或手写计数+std::condition_variable 更合适的选择。它天生支持重复使用,每次所有线程调用 arrive_and_wait() 后自动重置,无需手动清零计数器或重置状态。
构造时指定参与线程数,不能动态增加但可安全减少
std::barrier 的构造参数 phase_count 是初始参与线程总数,必须在创建时确定;后续可通过 arrive_and_drop() 安全移除一个参与者(比如某个 worker 主动退出),但不能再加回来。常见误用是试图在运行中扩容——这会触发未定义行为。
- 正确:启动 8 个 worker,其中 1 个中途退出 → 调用
arrive_and_drop(),后续同步点只需等齐剩余 7 个 - 错误:先构造
barrier(4),再想通过某接口“添加第 5 个线程” → 不支持,别硬凑 - 注意:
phase_count必须为正整数,传 0 或负数会导致构造失败(抛std::system_error)
用 arrive_and_wait() 最简同步,回调函数只执行一次每阶段
绝大多数场景直接用 arrive_and_wait() 即可,它原子地完成“抵达+阻塞+等待全员就位”三件事。若需在所有线程汇合瞬间执行统一操作(如刷新全局状态、打日志、切换缓冲区),可在构造时传入一个 CompletionFunction:
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::barrier sync_point(3, [](std::ptrdiff_t phase) {
std::cout
<p>这个回调由**恰好一个**抵达的线程执行,且严格发生在所有线程被唤醒之前。不要在里面做耗时操作(如 I/O、锁竞争),否则会拖慢整个屏障释放速度。</p>
<h3>别混用 arrive() + wait(),除非你明确需要分离抵达与等待</h3>
<p><code>arrive()</code> 返回 <code>arrival_token</code>,配合 <code>wait()</code> 可实现“先登记抵达、稍后才阻塞”,适用于某些需要非阻塞检查或超时等待的高级场景。但日常开发中几乎不需要——<code>arrive_and_wait()</code> 已覆盖 95% 用例。滥用分离调用容易导致 token 生命周期管理出错(比如 move 后二次 use)或逻辑割裂难维护。</p>
<p>最容易被忽略的一点:<code>std::barrier</code> 的析构是线程安全的,但前提是所有线程已退出或不再调用其成员函数;如果还有线程正卡在 <code>wait()</code> 中,此时销毁 barrier 会引发未定义行为。务必确保生命周期长于所有使用者。</p>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










