17370845950

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 个线程到达，就打印一次提示并重置

对比与选型建议

两者都基于无锁原子操作实现，开销远低于条件变量，也不依赖互斥量。区别核心在于生命周期：

• 用 latch 当你只需要“等一件事完成”（一次性信号），比如资源初始化完毕、测试开始前等待全部线程就绪
• 用 barrier 当你需要“反复等一组线程汇合”（循环同步），比如并行 for 循环中每轮迭代结束后的同步点
• 都不支持超时等待（C++20 中没有 try_wait_for 等变体

  

  ），如有超时需求仍需回退到 condition_variable
• 二者头文件均为 ，无需额外链接

注意事项

它们不是万能替代品：不提供线程间数据传递能力，也不保证内存顺序（需配合 std::memory_order 或显式 fence 使用）；若需复杂逻辑（如条件唤醒、优先级等待），还是得用更底层的同步机制。