std::counting_semaphore需C++20及线程库支持，GCC11+/Clang12+/MSVC19.30起实验性支持，须启用-std=c++20并链接pthread或Windows线程库；构造时initial≤max，否则未定义；无重置方法，无超时获取，release超量无效，不可读取当前值，且必须成对调用acquire/release。
std::counting_semaphore 必须在 C++20 且启用 std::thread 支持才能用
它不是头文件单独开个 <semaphore> 就能直接编译通过的——很多新手卡在这一步。GCC 11+、Clang 12+ 才开始实验性支持，MSVC 从 19.30（VS 2022 17.0）起支持，但必须加编译选项：-std=c++20，且链接 pthread（Linux/macOS）或启用 Windows 线程库（MSVC 默认开启）。如果你用 CMake，得确保 set(CMAKE_CXX_STANDARD 20) 且不降级到 c++17。
常见错误现象：error: 'counting_semaphore' is not a member of 'std' 或 undefined reference to 'sem_wait' —— 前者是标准未启用，后者是没连系统信号量库（尤其 Linux 下忘了 target_link_libraries(myapp pthread)）。
初始化值决定初始许可数，不能为负，且构造后不可变
std::counting_semaphore 的模板参数是最大许可数（max），构造函数参数是初始许可数（initial），两者独立。比如 std::counting_semaphore{3} 表示最多允许 10 个许可，当前有 3 个可用。
- 如果
initial > max，行为未定义（多数实现会std::terminate） -
initial为 0 是合法的，此时首次acquire()会阻塞，直到其他线程release() - 没有
set_value()或reset()方法，想重置只能销毁重建
示例：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::counting_semaphore<5> sem{2}; // 初始 2 个许可，上限 5
sem.acquire(); // 成功，剩余 1
sem.acquire(); // 成功，剩余 0
sem.acquire(); // 阻塞，直到有人 release()
acquire() 和 try_acquire() 的区别直接影响线程响应逻辑
acquire() 是阻塞式获取许可，适合“必须等资源就绪”的场景；try_acquire() 是非阻塞尝试，成功返回 true，失败立即返回 false，不挂起线程。
- 高频轮询时别用
acquire()+ 循环 sleep，改用try_acquire()避免无谓阻塞 -
try_acquire()不抛异常，也不保证原子性重试——它只做一次 CAS 检查，失败就是失败 - 没有带超时的
try_acquire_for()或try_acquire_until()（那是std::binary_semaphore才有的，而counting_semaphore标准里没提供）
典型误用：
// ❌ 错误：以为 try_acquire 会自动重试
while (!sem.try_acquire()) {
std::this_thread::sleep_for(1ms); // 这里可能忙等，且语义不清
}
// ✅ 更合理：明确业务意图，比如超时放弃
auto start = std::chrono::steady_clock::now();
while (!sem.try_acquire() && std::chrono::steady_clock::now() - start < 100ms) {
std::this_thread::yield(); // 让出 CPU，比 sleep 更轻量
}
release() 可以一次释放多个许可，但不能超过 max
release() 接受一个可选整数参数，默认为 1；但传入值不能使内部计数超过模板参数 max。超出部分会被忽略（不是截断，而是直接不生效）。
- 例如
std::counting_semaphore{0}，调用sem.release(5)后，内部计数变为 3，不是 5 - 多线程并发
release()是安全的，底层用原子操作保障 - 没有
drain()或get_current_count()—— 标准禁止暴露当前值，因为读取瞬间可能已被其他线程修改，强行读会导致竞态错觉
所以别写 if (sem.try_acquire()) { /* do work */ } else { sem.release(); } 这种逻辑——release() 在未 acquire() 前调用是未定义行为（UB），某些实现会 abort。
最常被忽略的一点：它不管理任何资源生命周期，只是计数器。你得自己确保 acquire() 和 release() 成对出现在正确作用域，比如用 RAII 封装（std::counting_semaphore 本身不提供 guard 类，得手写 sem_guard）。否则漏掉一次 release()，整个程序可能永久卡死。
