不能直接用std::counting_semaphore因MSVC 2022 17.5前不支持，且Windows无POSIX信号量实现；跨平台需封装RAII类NamedSemaphore，Linux用sem_open/sem_unlink，Windows用CreateSemaphoreExW/CloseHandle，并统一wait/signal接口。
为什么不能直接用 std::counting_semaphore
因为 C++20 的 std::counting_semaphore 在 MSVC（Windows）上直到 VS 2022 17.5 才完整支持，且 GCC/Clang 对其底层实现依赖 sem_wait/sem_post，而 Windows 默认不提供 POSIX semaphores —— 这意味着你写出来的代码在 Windows 上可能链接失败或运行崩溃。
跨平台最稳的路径是：Linux/macOS 用 sem_open + sem_unlink，Windows 用 CreateSemaphoreExW + CloseHandle。但要注意命名规则差异和权限模型。
-
sem_open("/mysem")中的斜杠是 POSIX 强制要求，Windows 不认；必须改用无斜杠名（如"MySem"）并走 Windows API 分支 - POSIX 命名信号量默认创建在
/dev/shm下，需确保该路径可写；Windows 则完全无视路径，只认名字字符串 - POSIX 信号量需显式调用
sem_unlink才能彻底删除，否则重启后仍残留；Windows 的命名信号量在最后一个句柄关闭后自动销毁（除非设了SECURITY_ATTRIBUTES共享）
如何封装统一接口避免条件编译污染业务逻辑
定义一个 RAII 类 NamedSemaphore，构造时尝试打开/创建，析构时自动清理。关键不是“怎么写分支”，而是“怎么让分支不泄露到使用者”：
- 构造函数接受
const char*名字和初始值，内部根据#ifdef _WIN32选择实现路径，对外暴露统一的wait()/signal()接口 - Linux/macOS 分支用
sem_open(name, O_CREAT, 0644, init_val)，失败时检查errno == EEXIST后再sem_unlink+ 重试（避免残留） - Windows 分支用
CreateSemaphoreExW(nullptr, init_val, MAXLONG, name, 0, SEMAPHORE_ALL_ACCESS)，注意名字不能含反斜杠、长度限制为 260 字符 - 务必在析构中：Linux 调
sem_close+sem_unlink（仅当自己创建了它），Windows 调CloseHandle；用成员变量标记是否 owns_handle
wait() 和 signal() 的跨平台行为一致性陷阱
POSIX sem_wait 是阻塞的，Windows WaitForSingleObject 默认也是阻塞，但超时行为不同 —— 这直接影响你能否安全替换原有逻辑：
立即学习“C++免费学习笔记（深入）”；
- POSIX 没有内置超时版
sem_timedwait在某些旧系统（如 CentOS 6）不可用；Windows 的WaitForSingleObject支持毫秒级超时，但返回值语义不同（WAIT_TIMEOUTvs-1witherrno == ETIMEDOUT） - 如果业务需要超时，建议统一用
try_wait(std::chrono::milliseconds)接口，内部按平台分别实现，避免上层处理两种错误码 -
signal()在两边都成功返回 0/TRUE，但 Windows 要求信号量未满才能成功；POSIX 则允许溢出（计数器无上限），这点必须文档化提醒使用者
实际使用时最容易漏掉的三件事
很多团队跑通 demo 就上线，结果在 CI 或客户环境崩了，往往栽在这三点：
- Linux 上没开
CONFIG_POSIX_MQUEUE内核选项（常见于容器精简镜像），sem_open直接返回nullptr且errno == ENOSYS—— 必须加 fallback 日志和 errno 检查 - Windows 名字区分大小写？不区分。但
"MySem"和"mysem"在同一 session 下会被视为不同信号量，容易因拼写不一致导致死锁 - 多进程共享时，Linux 要求所有进程用相同 uid 启动（否则
sem_open权限拒绝），Windows 则依赖 DACL，默认只允许同用户访问；跨用户场景必须显式配置安全描述符
跨平台命名信号量不是“写一次到处跑”的功能，它本质是两套机制的胶水层。真正麻烦的从来不是代码量，而是哪边先挂、挂了怎么查、以及为什么看起来一样却行为不同。
