std::latch 是一次性倒计时门闩,初始化后通过 count_down() 减数、wait() 等待归零,不可重置;std::barrier 是可重复使用的同步栅栏,支持 arrive_and_wait() 等待全体到达并自动重置,还可指定回调函数。

std::barrier 和 std::latch 是 C++20 引入的两个轻量级线程同步原语,用于协调多个线程在某个点上等待或计数,比传统 std::mutex + std::condition_variable 更简洁、高效,且无状态重用限制(barrier 可重复使用,latch 仅单次)。
std::latch:一次性倒计时门闩
它像一个“一次性的门”,初始化时指定一个计数值(如 5),每次调用 count_down() 减一;当计数归零,所有正在 wait() 的线程被同时唤醒,之后再调用 wait() 会立即返回(不阻塞)。它不可重置、不可重复使用。
- 典型用途:主线程等待 N 个子线程完成初始化或某阶段任务(例如启动阶段齐步走)
- 构造后只能
count_down()、count_down(1)或wait(),不能增加计数 - 线程安全:所有成员函数都是无锁且线程安全的
- 示例:
std::latch ready(3);—— 3 个线程各调一次ready.count_down();,第 4 个线程调ready.wait();就会等到前 3 次完成才继续
std::barrier:可重复使用的同步栅栏
和 latch 类似,但支持重复使用。初始化时也指定参与线程数(如 4),每个线程调用 arrive_and_wait() 表示到达并等待其他线程;当第 N 个线程到达,所有线程同时被释放,并自动重置内部计数,准备下一轮同步。
- 典型用途:多线程循环计算中的每轮屏障(如迭代式算法、并行 pipeline 各阶段同步)
- 还提供
arrive()(仅计数,不等待)和带回调的arrive_and_drop()(到达后退出栅栏,减少后续参与数) - 回调函数(构造时传入)会在每次计数归零、所有线程释放前由其中一个线程执行(常用于汇总、刷新等操作)
- 示例:
std::barrier b(4, []{ std::cout —— 每凑够 4 个线程到达,就打印一次提示并重置
对比与选型建议
两者都基于无锁原子操作实现,开销远低于条件变量,也不依赖互斥量。区别核心在于生命周期:
立即学习“C++免费学习笔记(深入)”;
- 用 latch 当你只需要“等一件事完成”(一次性信号),比如资源初始化完毕、测试开始前等待全部线程就绪
- 用 barrier 当你需要“反复等一组线程汇合”(循环同步),比如并行 for 循环中每轮迭代结束后的同步点
- 都不支持超时等待(C++20 中没有
try_wait_for等变体),如有超时需求仍需回退到 condition_variable - 二者头文件均为
,无需额外链接
注意事项
它们不是万能替代品:不提供线程间数据传递能力,也不保证内存顺序(需配合 std::memory_order 或显式 fence 使用);若需复杂逻辑(如条件唤醒、优先级等待),还是得用更底层的同步机制。








