std::Thread 直接创建线程不适合高频任务，因其每次构造均触发系统调用、栈分配与调度入队，开销达微秒级，高频提交将耗尽CPU与系统资源；线程池通过复用固定线程消费任务队列规避该成本。
为什么 std::thread 直接创建线程不适合高频任务
每次 std::thread 构造都触发系统调用、分配栈内存、调度入队，开销在微秒级——但若每毫秒提交 100 个短任务，光是线程启停就吃掉大量 CPU 时间，还容易触发 OS 线程数限制或内存耗尽。线程池的核心价值不是“并发”，而是“复用”：让固定数量的线程持续消费任务队列，避开重复初始化成本。
常见错误现象：std::system_error: Resource temporarily unavailable（linux 下 pthread_create 失败）、程序启动后卡顿、top 显示大量 defunct 进程（僵尸线程未 join()）。
- 别在循环里无节制
std::thread{func, args...}.detach()—— detach 后无法控制生命周期，易导致访问已析构对象 - 避免每个任务都 new 一个
std::thread对象 —— 堆分配 + 虚函数表查找增加延迟 - 线程数不建议超过
std::thread::hardware_concurrency()的 2 倍 —— 超量争抢 CPU 反而降低吞吐
用 std::queue + std::mutex + std::condition_variable 实现基础任务队列
标准库没有现成的线程安全队列，必须自己加锁保护。重点不是“能不能塞进去”，而是“唤醒时机是否精确”——过早 notify 会导致消费者线程虚假唤醒，过晚则任务积压。
关键设计点：
立即学习“C++免费学习笔记（深入）”；
- 任务类型用
std::function，支持 Lambda、成员函数、绑定对象，但注意捕获引用可能悬空 - 使用
std::queue而非std::deque—— 前者 push/pop 平均 O(1)，且无需随机访问；后者虽支持 front/pop_front，但内部结构更复杂，缓存局部性略差 -
std::condition_variable::wait必须配合 while 循环检查条件，不能只用 if —— spurious wakeup 是 POSIX 标准允许的行为 - 停止信号用
std::atomic，而非全局变量或 mutex 保护的 bool —— 避免 stop_flag 读写成为性能瓶颈
std::queue> tasks_; mutable std::mutex mtx_; std::condition_variable cv_; std::atomic stop_{false}; 如何安全终止线程池并等待所有任务完成
粗暴调用 std::thread::join() 前必须确保线程已退出循环，否则主线程永久阻塞。而直接 std::thread::detach() 会丢失对工作线程的控制权，导致程序退出时仍在后台运行的线程访问已释放内存。
正确终止流程：
- 先置
stop_ = true，再调用cv_.notify_all()—— 让所有等待中的工作线程有机会检查 stop_ 并退出 - 每个工作线程循环体末尾必须检查
if (stop_ && tasks_.empty()) break;，防止“通知后又有新任务插入”的竞态 - 主线程调用
join()前，确保所有工作线程已脱离 wait 状态 —— 否则 notify_all 可能被忽略 - 析构函数中不要抛异常 ——
join()失败时用std::terminate()比异常传播更可控
std::packaged_task + std::future 如何带回任务返回值
原始线程池只支持 void() 类型任务，但实际中常需获取计算结果。std::packaged_task 是桥接器：它把任意可调用对象包装成可移动、可执行、且自带 std::future 的实体。
使用要点：
- 声明任务时用
std::packaged_task而非std::function—— 后者无法生成 future - 将 packaged_task 对象 move 进队列，调用
task()后即可通过task.get_future().get()获取结果（注意 get() 会阻塞） - 不要在线程池外保存 packaged_task 对象 —— 移动后原对象处于有效但未指定状态，重复调用未定义
- 如果需要异步取结果，把
std::future存到容器里，后续用wait_for(std::chrono::milliseconds(10))轮询，避免死等
最易忽略的是异常传递：packaged_task 执行中抛出异常，会由 std::future::get() 重新抛出 —— 若忘记 try/catch，主线程直接 terminate。