线程池核心是复用线程以减少开销并高效调度任务，c++中通过std::thread、std::queue、互斥锁、条件变量等实现；包含工作线程、任务队列、同步机制与启停控制；任务以std::function包装入队，线程安全取出执行，配合std::future获取结果；析构时停止队列并等待所有线程完成；适用于常规并发场景，高负载下可优化为work-stealing或无锁结构。
实现一个线程池的核心目标是复用线程、减少频繁创建销毁的开销，并高效调度任务。C++ 中可通过 std::thread、std::queue、std::mutex、std::condition_variable 和 std::function 实现一个轻量级线程池。
线程池的基本结构
一个典型的线程池包含：
- 一组工作线程（worker threads）
- 一个任务队列（task queue）存放待执行的任务
- 互斥锁保护共享数据
- 条件变量用于线程等待新任务
- 控制线程池启动和停止的机制
任务提交与执行机制
使用 std::function
关键点在于线程安全：任务队列的访问必须加锁，且线程在无任务时应阻塞等待，而不是忙等。
立即学习“C++免费学习笔记（深入）”；
示例代码框架：
#include <vector>
#include <queue>
#include <thread>
#include <functional>
#include <mutex>
#include <condition_variable>
#include <future>
class ThreadPool {
public:
explicit ThreadPool(size_t numThreads) : stop(false) {
for (size_t i = 0; i < numThreads; ++i) {
workers.emplace_back([this] {
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();
}
});
}
}
template<class 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 ThreadPool");
tasks.emplace([task]() { (*task)(); });
}
condition.notify_one();
return res;
}
~ThreadPool() {
{
std::unique_lock<std::mutex> lock(queue_mutex);
stop = true;
}
condition.notify_all();
for (std::thread &worker : workers)
worker.join();
}
private:
std::vector<std::thread> workers;
std::queue<std::function<void()>> tasks;
std::mutex queue_mutex;
std::condition_variable condition;
bool stop;
};
使用方式与注意事项
线程池初始化时指定线程数量，通常设为 CPU 核心数（可用 std::thread::hardware_concurrency() 获取）。
通过 enqueue 提交任务，返回 std::future，可用于获取返回值或等待完成。
例如：
ThreadPool pool(4);
auto result1 = pool.enqueue([]() { return 42; });
auto result2 = pool.enqueue([]() { std::this_thread::sleep_for(std::chrono::seconds(1)); return "done"; });
std::cout << result1.get() << std::endl;
std::cout << result2.get() << std::endl;
注意：任务不应抛出未捕获异常，否则会导致线程退出。建议在任务内部做异常处理。
性能与扩展性考虑
该实现适用于大多数场景，但在高并发下可能因锁竞争成为瓶颈。若需更高性能，可考虑：
- 每个线程拥有本地任务队列，配合全局队列实现 work-stealing
- 使用无锁队列（lock-free queue）优化任务提交路径
- 动态调整线程数量（根据负载）
但这些会显著增加复杂度，一般项目中固定大小线程池已足够。
基本上就这些，核心是理解任务调度与线程同步机制。不复杂但容易忽略细节，比如正确唤醒所有线程和防止虚假唤醒。
