线程池通过复用线程执行任务以减少开销，核心包括线程集合、任务队列、互斥锁、条件变量和控制标志；submit方法提交任务并返回future获取结果，析构时安全关闭确保任务完成。
实现一个线程池的核心目标是：复用一组线程来执行多个任务，避免频繁创建和销毁线程带来的开销。在C++中，可以借助std::thread、std::queue、std::mutex、std::condition_variable和std::function等工具完成一个高效且线程安全的线程池。
线程池的基本结构
一个典型的线程池包含以下几个部分：
- 工作线程集合：固定数量的线程，在初始化时启动，等待任务。
-
任务队列：存放待执行的任务（通常为
std::function<void></void>类型）。 - 互斥锁（mutex）：保护任务队列的线程安全访问。
- 条件变量（condition_variable）：用于通知空闲线程有新任务到来。
- 控制标志：标识线程池是否关闭，是否等待任务完成。
任务提交与执行机制
用户通过submit方法提交可调用对象（如lambda、函数指针、bind表达式），线程池将其包装为std::function放入队列。工作线程循环等待任务，一旦获取到任务就立即执行。
使用std::packaged_task可以方便地获取任务的返回值，通过std::future机制实现异步结果获取。
立即学习“C++免费学习笔记（深入）”；
示例代码片段：
iWebMall多用户商城系统
下载
iWebMall 是一款高性能高扩展能力的开源 LAMP 电子商务软件，定位为大中型电子商务平台软件，服务于有建立电子商务需求的商业客户。这些商业客户不必学习任何计算机编程代码知识，只需要使用 iWebMall 软件他们就可以轻松建立一个功能强大的网上商城，实现用户注册、产品展示、在线定购、在线支付等电子商务功能；iWebMall 集成了产品发布与查询、会员注册登录、购物车、在线订单、在线支付、在
template <typename F>
auto submit(F&& f) -> std::future<decltype(f())> {
using ReturnType = decltype(f());
auto task = std::make_shared<std::packaged_task<ReturnType()>>(std::forward<F>(f));
std::future<ReturnType> result = task->get_future();
{
std::unique_lock<std::mutex> lock(queue_mutex);
if (stop) throw std::runtime_error("submit on stopped ThreadPool");
tasks.emplace([task]() { (*task)(); });
}
condition.notify_one();
return result;
}
线程池的生命周期管理
构造函数中启动指定数量的工作线程，每个线程运行一个无限循环，从任务队列中取任务执行。
析构函数需要妥善处理未完成的任务：
- 设置
stop标志位，防止新任务提交。 - 唤醒所有等待中的线程。
- 调用每个线程的
join()，确保它们正常退出。
这样可以保证已提交的任务被执行完毕，避免资源泄漏或程序崩溃。
实际使用示例
以下是一个简单的使用场景：
ThreadPool pool(4); // 创建4个线程的线程池
<p>std::vector<std::future<int>> results;
for (int i = 0; i < 8; ++i) {
results.emplace_back(
pool.submit([i] {
std::this_thread::sleep_for(std::chrono::seconds(1));
return i * i;
})
);
}</p><p>for (auto& result : results) {
std::cout << result.get() << ' ';
}
// 输出: 0 1 4 9 16 25 36 49</p>这段代码提交了8个计算任务，由4个线程并发执行，最后收集结果。
基本上就这些。一个简洁高效的C++线程池不需要复杂设计，关键是正确处理并发同步和资源释放。
