线程池（C++）

景彡先生

已于 2025-06-01 21:55:57 修改

阅读量667

点赞数 9

CC 4.0 BY-SA版权

分类专栏： C++进阶文章标签： c++

于 2025-06-01 21:54:42 首次发布

本文链接：https://blog.csdn.net/qq2745567641/article/details/148370926

C++进阶专栏收录该内容

53 篇文章

订阅专栏

线程池是一种多线程处理模式，它预先创建一定数量的线程，当有任务提交时，从线程池中获取一个空闲线程来执行该任务，任务完成后线程不会销毁而是返回到线程池中等待下一个任务。这种模式能够避免频繁创建和销毁线程带来的开销，提高程序的性能和稳定性。下面详细介绍C++线程池的相关内容：

一、基本概念

线程池核心组件：包含任务队列、线程集合、管理者线程（可选）和工作线程。
任务队列：用于存储待执行的任务，通常使用阻塞队列实现，支持线程安全的任务添加和获取操作。
工作线程：从任务队列中获取任务并执行，执行完后继续等待下一个任务。
管理者线程：负责监控线程池的状态，根据任务数量动态调整线程池的大小。

二、线程池的优势

减少线程创建开销：避免了频繁创建和销毁线程的开销，提高了响应速度。
控制并发线程数量：防止过多线程导致系统资源耗尽，提高了系统的稳定性。
提高系统吞吐量：通过复用线程，减少了线程上下文切换的开销，提高了系统的整体性能。

三、 C++实现线程池的关键技术

C++11线程库：提供了std::thread、std::mutex、std::condition_variable等工具，用于实现线程管理和同步。
任务队列：使用std::queue存储任务，结合std::mutex和std::condition_variable实现线程安全的操作。
函数包装器：使用std::function和std::packaged_task来包装任务，支持返回值和异常处理。
异步操作：使用std::future获取任务的返回值，支持异步等待任务完成。

四、线程池的实现示例

下面是一个简单的C++线程池实现示例：

#include <iostream>
#include <vector>
#include <queue>
#include <memory>
#include <thread>
#include <mutex>
#include <condition_variable>
#include <future>
#include <functional>
#include <stdexcept>

class ThreadPool {
public:
    // 构造函数，初始化线程池
    ThreadPool(size_t threads) : stop(false) {
        for(size_t i = 0; i < threads; ++i) {
            workers.emplace_back([this] {
                while(true) {
                    std::function<void()> task;
                    {
                        std::unique_lock<std::mutex> lock(this->queue_mutex);
                        this->condition.wait(lock, [this] { return this->stop || !this->tasks.empty(); });
                        if(this->stop && this->tasks.empty())
                            return;
                        task = std::move(this->tasks.front());
                        this->tasks.pop();
                    }
                    task();
                }
            });
        }
    }

    // 析构函数，销毁线程池
    ~ThreadPool() {
        {
            std::unique_lock<std::mutex> lock(queue_mutex);
            stop = true;
        }
        condition.notify_all();
        for(std::thread &worker : workers) {
            worker.join();
        }
    }

    // 向线程池添加任务
    template<class F, class... Args>
    auto enqueue(F&& f, Args&&... args) 
        -> std::future<typename std::result_of<F(Args...)>::type> {
        using return_type = typename std::result_of<F(Args...)>::type;

        auto task = std::make_shared< std::packaged_task<return_type()> >(
            std::bind(std::forward<F>(f), std::forward<Args>(args)...)
        );
        
        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;
    }

private:
    // 工作线程集合
    std::vector<std::thread> workers;
    // 任务队列
    std::queue<std::function<void()>> tasks;
    
    // 同步机制
    std::mutex queue_mutex;
    std::condition_variable condition;
    // 线程池停止标志
    bool stop;
};

// 使用示例
int main() {
    // 创建一个包含4个线程的线程池
    ThreadPool pool(4);
    
    // 向线程池添加一些任务
    std::vector<std::future<int>> results;
    
    for(int i = 0; i < 8; ++i) {
        results.emplace_back(
            pool.enqueue([i] {
                std::cout << "Task " << i << " is running on thread " << std::this_thread::get_id() << std::endl;
                std::this_thread::sleep_for(std::chrono::seconds(1));
                return i * i;
            })
        );
    }
    
    // 获取并打印任务结果
    for(auto && result : results)
        std::cout << "Task result: " << result.get() << std::endl;
    
    return 0;
}