std::latch 初始化时count必须大于0,否则触发未定义行为;它是单次倒计时同步原语,用于等待多个线程完成任务,不支持重置,需确保所有路径(含异常)调用arrive()。

std::latch 初始化时 count 不能为 0
初始化 std::latch 时传入 0,会触发未定义行为(UB),不是“立刻就 ready”,而是可能 crash 或静默失败。标准明确要求 count > 0,这是硬性限制。
- 错误写法:
std::latch l{0};—— 不要这么干 - 正确写法:
std::latch l{1};或std::latch l{N};(N ≥ 1) - 如果真需要“立即就绪”的同步原语,用
std::barrier(配合 1 次 arrival)或直接不用同步——std::latch本就不为此设计
wait() 和 arrive() 的典型协作模式
std::latch 是单次使用的倒计时门闩:多个线程调用 arrive() 递减计数,一个或多个线程在 wait() 处阻塞,直到计数归零。它不支持重置,也不支持多次等待。
- 主线程启动 N 个 worker 后调用
l.wait(),worker 完成后各自调用l.arrive() -
arrive()可带参数,如l.arrive(2)表示一次性扣减 2,但总扣减量不能超过初始 count - 调用
arrive()超过初始 count(比如l{3}却调了四次arrive())是未定义行为 -
wait()可被中断(如线程被std::jthread请求停止),但不会抛异常;返回后需自行检查是否真的就绪
和 std::barrier、std::semaphore 的关键区别
别把 std::latch 当成轻量版 std::barrier 或信号量用。三者语义不同:
-
std::latch:单次倒计时,count 到 0 后所有wait()返回,之后再调wait()立即返回(但对象已失效,不应再用) -
std::barrier:可重复使用,每次所有参与者到达后自动重置(除非指定std::barrier<...>::arrive(1, false)</...>) -
std::counting_semaphore:支持 acquire/release,可超限 wait,还能跨线程多次控制资源,但无“全体到达”语义 - 性能上,
std::latch通常比std::barrier更轻量,因为它不维护回调或重置状态
实际用例:等待一组异步任务完成
最常见用途就是“发射一堆异步任务,等它们全做完再继续”。注意别漏掉 arrive() 调用,尤其在异常路径里。
- 推荐写法:用 RAII 封装
arrive(),例如 lambda 捕获 latch 并在作用域结束时调用 - 错误高发点:worker 线程里抛异常没处理,导致
arrive()没执行,主线程永远卡在wait() - 示例片段:
std::latch done{tasks.size()}; for (auto& t : tasks) { std::jthread([&, t]{ do_work(t); done.arrive(); // 必须确保执行 }); } done.wait(); // 这里才安全继续
真正容易出问题的不是语法,而是忘记在所有退出路径(包括异常)上调用 arrive()。用 RAII 或 std::scoped_lock 风格 wrapper 是稳妥做法。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











