0

0

C++ 信号量(std::semaphore)是什么?(如何控制并发访问的资源数量)

尼克

尼克

发布时间:2026-02-12 15:55:11

|

166人浏览过

|

来源于php中文网

原创

std::semaphore 是 c++20 引入的轻量级同步原语,用于限制同时访问某类资源的线程数量;构造时传负数会直接 terminate,且需编译器支持 c++20。

c++ 信号量(std::semaphore)是什么?(如何控制并发访问的资源数量)

std::semaphore 是 C++20 引入的轻量级同步原语

它不是用来替代 std::mutex 的,而是控制「同时能有多少个线程访问某类资源」——比如数据库连接池最多 5 个活跃连接、文件句柄上限 10 个、API 调用并发数限制为 3。它的核心是计数器 + 原子等待,比手写条件变量 + 互斥锁更简洁安全。

常见错误现象:std::semaphore 构造时传错初始值(比如传负数会直接 std::terminate),或在不支持 C++20 的编译器下误用(GCC

  • 必须用 C++20 或更高标准编译:g++ -std=c++20,且确保 <semaphore></semaphore> 头文件可用
  • 初始化值代表“初始可用许可数”,不能为负;std::binary_semaphore 是特例,仅允许 0 或 1
  • 调用 acquire() 会阻塞直到有许可;try_acquire() 非阻塞,返回 bool
  • 注意:它不跟踪谁 acquire 了,也不保证 FIFO,仅保证计数正确

怎么用 acquire() 和 release() 控制资源数量

典型场景:限制 4 个线程同时执行某段耗资源操作。关键在于把 acquire() 放在临界区入口前,release() 放在出口后(哪怕异常也要保证释放)。

示例:

立即学习C++免费学习笔记(深入)”;

Qoder
Qoder

阿里巴巴推出的AI编程工具

下载
std::semaphore sem{4}; // 允许最多 4 个并发

void worker() {
    sem.acquire(); // 阻塞直到拿到一个许可
    try {
        do_heavy_work(); // 实际工作
    } catch (...) {
        sem.release(); // 必须放这里,否则许可泄漏
        throw;
    }
    sem.release(); // 正常路径释放
}
  • acquire() 可能抛出 std::system_error(如系统资源不足),但实践中极少发生
  • release() 不会阻塞,也不抛异常,但多调用会导致许可数超初始值——这不算错误,只是逻辑失控,需自己约束调用次数
  • 不要在析构函数里隐式调用 release()std::semaphore 没有自动管理语义

std::binary_semaphore 和普通 semaphore 的区别在哪

std::binary_semaphorestd::semaphore 的特化,内部只允许计数值为 0 或 1。它比通用版更轻——某些平台可映射到 futex 或 Windows Slim Reader/Writer Lock,性能略优。

使用场景:需要“二选一”同步(如生产者-消费者中通知单个消费者),或模拟自旋锁语义(配合 try_acquire())。

  • 构造时只能传 0 或 1:std::binary_semaphore sem{1}; 合法,{2} 编译失败
  • 不能用 acquire() 等待多个许可,因为根本不存在“多个”
  • 若你只需要开关型同步,优先用 std::binary_semaphore;需要配额控制(如限流),必须用 std::semaphore

跨线程传递 semaphore 对象容易踩什么坑

std::semaphore 不可拷贝,但可移动——这点和 std::mutex 一致。误用拷贝会导致编译错误,而移动后原对象进入有效但未指定状态(不能再调用其成员函数)。

  • 别写 auto s2 = s1;(编译失败);要传参就用引用或指针:void f(std::semaphore& sem)
  • 移动后立刻使用原对象,比如 s1.release(),行为未定义
  • 不要把它放进 std::shared_ptr 试图“共享所有权”——语义错乱,许可数不会因引用计数变化
  • 如果多个模块需共用同一信号量,用全局变量、静态局部变量或显式传递引用,别绕弯子
C++20 的 std::semaphore 本身很简单,难的是把它嵌进真实流程里不漏许可、不错配线程生命周期、不和已有锁机制冲突。尤其要注意构造参数、异常路径释放、以及移动后的空悬状态——这些地方一错,问题往往延迟暴露。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
全局变量怎么定义
全局变量怎么定义

本专题整合了全局变量相关内容,阅读专题下面的文章了解更多详细内容。

85

2025.09.18

python 全局变量
python 全局变量

本专题整合了python中全局变量定义相关教程,阅读专题下面的文章了解更多详细内容。

101

2025.09.18

全局变量怎么定义
全局变量怎么定义

本专题整合了全局变量相关内容,阅读专题下面的文章了解更多详细内容。

85

2025.09.18

python 全局变量
python 全局变量

本专题整合了python中全局变量定义相关教程,阅读专题下面的文章了解更多详细内容。

101

2025.09.18

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

180

2023.11.23

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

110

2025.11.27

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

653

2023.08.10

windows查看端口占用情况
windows查看端口占用情况

Windows端口可以认为是计算机与外界通讯交流的出入口。逻辑意义上的端口一般是指TCP/IP协议中的端口,端口号的范围从0到65535,比如用于浏览网页服务的80端口,用于FTP服务的21端口等等。怎么查看windows端口占用情况呢?php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

1067

2023.07.26

2026春节习俗大全
2026春节习俗大全

本专题整合了2026春节习俗大全,阅读专题下面的文章了解更多详细内容。

189

2026.02.11

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 9.3万人学习

C 教程
C 教程

共75课时 | 4.7万人学习

C++教程
C++教程

共115课时 | 17.4万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号