C++20中能否获取std::counting_semaphore剩余计数？为何无等效接口？

在POSIX标准中，可通过sem_getvalue(sem_t* sem, int* val)接口获取信号量的剩余计数：当无剩余计数时，返回0或负数（负数代表等待线程的数量）。但C++20标准引入的<semaphore>库中，std::counting_semaphore并没有等效的get_value类函数，关于这个问题的结论和原因如下：

结论 #

无法通过C++20标准接口直接获取std::counting_semaphore的剩余计数。

原因 #

• 避免竞态条件风险：C++标准库的同步原语设计倾向于最小化状态暴露。获取到的剩余计数是瞬时值，在你拿到这个值的瞬间，其他线程可能已经执行了acquire或release操作，导致该值立刻失效。依赖这种瞬时状态编写的逻辑很容易出现线程安全问题，标准库不希望开发者陷入这类陷阱。
• 跨平台兼容性考量：不同操作系统的底层信号量实现差异较大，部分平台的原生信号量本身不支持获取当前计数，或者获取语义与POSIX不一致。为了保证std::counting_semaphore在所有平台上的行为一致，C++20没有强制要求提供该接口。
• 核心语义聚焦：std::counting_semaphore的核心定位是线程同步原语，负责处理线程间的等待/唤醒逻辑，而非提供状态查询能力。如果业务需要跟踪计数，应该在代码层面自行包装acquire和release操作，用std::atomic等线程安全的方式维护独立计数器。

内容的提问来源于stack exchange，提问作者o_oTurtle