线程池通过复用线程减少开销，核心包括任务队列、线程集合、互斥锁与条件变量；使用std::function封装任务，通过enqueue提交，工作线程循环取任务执行；析构时需安全停止并join所有线程；典型应用创建4线程池提交8个计算平方任务，结果通过future获取，关键在于正确管理同步与线程生命周期。
线程池的核心目标是复用线程，避免频繁创建和销毁带来的开销。在C++中实现线程池，关键在于任务队列管理、线程调度与同步控制。下面介绍一种简洁高效的实现方式。
线程池的基本结构
一个典型的线程池包含以下几个部分：
- 任务队列：存放待执行的任务（通常为函数对象）
- 线程集合：一组工作线程，不断从任务队列中取出任务执行
- 互斥锁与条件变量：保证多线程环境下任务队列的线程安全
- 控制开关：用于优雅关闭线程池
任务使用std::function<void()>封装，支持lambda、函数指针或仿函数。
任务提交与执行机制
用户通过enqueue方法提交任务，线程池将其放入队列。空闲线程会被条件变量唤醒，取任务执行。
立即学习“C++免费学习笔记（深入）”；
关键点在于使用std::condition_variable实现阻塞等待，避免忙等。
示例代码片段：
template <typename F>
auto enqueue(F&& f) -> std::future<decltype(f())> {
using return_type = decltype(f());
auto task = std::make_shared<std::packaged_task<return_type()>>(std::forward<F>(f));
std::future<return_type> res = task->get_future();
{
std::unique_lock<std::mutex> lock(queue_mutex);
if (stop) throw std::runtime_error("enqueue on stopped thread pool");
tasks.emplace([task]() { (*task)(); });
}
condition.notify_one();
return res;
}
线程管理与析构处理
构造函数中启动指定数量的工作线程，每个线程运行一个死循环，从任务队列获取任务。
析构时设置停止标志，唤醒所有线程，然后调用join()等待其退出。
注意：必须确保所有线程安全退出，否则可能导致资源泄漏或程序卡死。
典型工作线程逻辑：
while (true) {
std::function<void()> task;
{
std::unique_lock<std::mutex> lock(queue_mutex);
condition.wait(lock, [this] { return stop || !tasks.empty(); });
if (stop && tasks.empty()) return;
task = std::move(tasks.front());
tasks.pop();
}
task();
}
使用示例与注意事项
创建4个线程的线程池：
ThreadPool pool(4);
std::vector<std::future<int>> results;
for (int i = 0; i < 8; ++i) {
results.emplace_back(pool.enqueue([i] {
std::this_thread::sleep_for(std::chrono::seconds(1));
return i * i;
}));
}
for (auto& result : results)
std::cout << result.get() << ' ';
输出结果为平方数序列。注意任务返回值通过std::future获取。
使用时避免提交长时间阻塞任务，影响整体吞吐量。合理设置线程数，通常等于CPU核心数或略高。
基本上就这些，不复杂但容易忽略细节。重点是锁的粒度和条件变量的正确使用。
