std::latch 是 c++20 引入的一次性同步原语,用于等待计数归零;适用于主线程等待多个工作线程完成初始化等场景,不可重用、无超时、低开销,需确保析构前计数为零。

std::latch 是什么,什么时候该用它
std::latch 是 C++20 引入的轻量级同步原语,用于让一个或多个线程等待,直到某个计数器归零。它不可重用(count-down only,且不能重置),适合“一次性等待”场景,比如:主线程等所有工作线程初始化完成、或等 N 个异步任务全部抵达某个检查点。
它比 std::barrier 更简单(没有到达后自动重置)、比 std::condition_variable + std::mutex 更低开销,但也不支持超时等待或通知条件判断。
常见错误现象:编译报错 ‘latch’ is not a member of ‘std’ —— 检查是否启用了 C++20 标准(-std=c++20)且编译器支持(GCC 10+、Clang 11+、MSVC 19.29+)。
如何正确构造和使用 latch
构造时必须指定初始计数值,之后只能递减,不能读取当前值(C++20 标准未提供 counter() 接口):
-
std::latch对象通常定义在共享作用域(如主线程栈上),所有线程通过引用访问 - 调用
latch.count_down()将计数减 1;若减到 0,所有阻塞在latch.wait()的线程被唤醒 -
latch.try_wait()可非阻塞检查是否已就绪(返回bool)
#include <latch>
#include <thread>
#include <vector><p>int main() {
std::latch ready(3); // 等待 3 个线程就绪</p>
<pre class="brush:php;toolbar:false;">std::vector<:thread> workers;
for (int i = 0; i <p>}</p></:thread>
注意:不要在析构时计数未归零 —— std::latch 析构前未满足 count_down() 到 0 会导致未定义行为(UB),不是抛异常,而是可能死锁或崩溃。
latch.wait() 为什么不能取消或超时
std::latch::wait() 是无条件阻塞调用,C++20 标准未提供带超时的版本(不像 std::condition_variable::wait_for)。这意味着:
- 无法应对某线程卡死或忘记调用
count_down()的情况 - 如果你怀疑某些路径可能漏掉
count_down(),应在关键路径加日志或断言 - 需要超时机制?得换方案:用
std::condition_variable+std::mutex+ 计数器变量,或升级到 C++26(草案中已有std::latch::try_wait_for,但尚未落地)
另外,latch.wait() 不保证唤醒后立即返回 —— 它只保证“计数归零后,所有等待线程终将被唤醒”,但不承诺唤醒顺序或调度延迟。
和 std::barrier、std::semaphore 的关键区别
-
std::latch:一次性,不可重用,无 owner,仅 count-down + wait
-
std::barrier:可重用(arrive_and_wait() 自动重置),适合循环屏障(如多轮并行计算)
-
std::counting_semaphore:支持任意增减(acquire()/release()),可超限等待,但有资源开销(内部含原子计数和队列)
std::latch:一次性,不可重用,无 owner,仅 count-down + waitstd::barrier:可重用(arrive_and_wait() 自动重置),适合循环屏障(如多轮并行计算)std::counting_semaphore:支持任意增减(acquire()/release()),可超限等待,但有资源开销(内部含原子计数和队列)性能上:std::latch 通常最快,因为它只需一个原子减操作 + futex 唤醒;而 std::semaphore 在某些实现中会分配堆内存(尤其计数较大时)。
容易踩的坑:
- 把
std::latch当作信号量用(比如反复count_down()/wait())→ 会 UB,因它不可重置 - 在不同线程多次对同一
latch调用count_down()超过初始值 → 行为未定义(标准没说允许负计数) - 忘记确保所有
count_down()路径都会执行(比如异常提前退出)→ 用 RAII 包装器或std::scoped_lock配合手动计数更稳妥,但标准库没提供
真正要用好 std::latch,关键是守住“一次性”这个边界——它不是万能同步开关,只是精准解决“等 N 件事做完”这一个具体问题。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











