C++17及更早版本无原生信号量，需用std::condition_variable+std::mutex+计数器手动实现；C++20引入std::counting_semaphore，但依赖编译器和系统支持，手写轻量Semaphore类更稳妥，关键为m_count、m_mutex、m_cv三要素。
为什么标准 C++ 没有 std::semaphore（直到 C++20）
在 C++17 及更早版本中，std::mutex、std::condition_variable 等是同步主力，但没有原生信号量。很多开发者误以为缺了它就写不了资源计数控制——其实可以用 std::condition_variable + std::mutex + 计数器手动模拟，而且逻辑清晰、可控性强。
C++20 引入了 std::counting_semaphore（注意不是 std::semaphore），但它要求编译器支持（如 GCC 11+、Clang 12+、MSVC 19.29+），且底层依赖系统信号量或 futex，跨平台行为未必一致。如果你的目标环境不明确支持 C++20，手写一个轻量 Semaphore 类反而更稳妥。
手写 Semaphore 类的关键成员和线程安全设计
核心是三个东西：一个整型计数器（m_count）、一把互斥锁（m_mutex）、一个条件变量（m_cv）。acquire() 阻塞直到计数 > 0；release() 增加计数并唤醒等待者。
常见错误包括：未用 while 循环检查条件（虚假唤醒）、release() 不加锁（导致 m_count 竞态）、忘记在 acquire() 中用 wait() 的 predicate 版本。
-
acquire()必须用m_cv.wait(m_mutex, [&]{ return m_count > 0; });，不能用if (m_count -
release()要先加锁、改计数、再notify_one()或notify_all()；若只唤醒一个，多个等待线程可能仍阻塞 - 构造时传入初始值，应校验非负：若为负，抛
std::invalid_argument
C++11 兼容的手写 Semaphore 示例
以下实现无外部依赖，可直接编译运行（C++11 起）：
#include <mutex>
#include <condition_variable>
class Semaphore {
std::mutex m_mutex;
std::condition_variable m_cv;
int m_count;
public:
explicit Semaphore(int count = 0) : m_count(count) {
if (count lock(m_mutex);
m_cv.wait(lock, [&] { return m_count > 0; });
--m_count;
}
void release() {
std::unique_lock<:mutex> lock(m_mutex);
++m_count;
m_cv.notify_one(); // 或 notify_all()，依场景选
}
};
</:mutex></condition_variable></mutex>
使用示例：限制最多 2 个线程同时访问某资源：
#include <thread>
#include <iostream>
Semaphore sem(2);
void worker(int id) {
sem.acquire();
std::cout <h3>用 <code>std::counting_semaphore</code>（C++20）要注意什么</h3>
<p>虽然标准提供了，但实际使用时容易忽略两点：</p>
<ul>
<li>它不提供 <code>try_acquire()</code> 的超时版本（C++20 只有 <code>try_acquire()</code> 无参版），需要配合 <code>std::chrono</code> 手动轮询，性能差</li>
<li>某些平台（如 Windows MinGW）可能未完全实现，<code>std::counting_semaphore</code> 行为可能退化为互斥锁，失去计数语义</li>
<li>初始化值必须是常量表达式（<code>constexpr</code>），不能是运行时变量，否则编译失败</li>
</ul>
<p>所以即使你用 C++20，对简单场景（如限流、池管理），手写 <code>Semaphore</code> 依然更透明、易调试、兼容性更好。</p>
<p>真正复杂的是需要跨进程、带优先级唤醒、或与操作系统信号量深度绑定的场景——那得用 POSIX <code>sem_t</code> 或 Windows <code>CreateSemaphore</code>，而不是标准库。</p></iostream></thread>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
