c++如何实现一个线程安全的队列_c++互斥锁与条件变量应用

admin 百科 2025-12-14 15

线程安全队列通过互斥锁和条件变量实现，确保多线程环境下对队列的并发访问安全。使用std::mutex保护共享数据，std::condition_variable实现消费者等待机制，push操作入队并通知等待线程，wait_and_pop阻塞等待非空时出队，try_pop提供非阻塞出队方式，empty和size方法返回瞬时状态，适用于监控但不可用于逻辑控制。示例中生产者线程添加元素，消费者线程取出打印，避免忙等，提升效率。

c++如何实现一个线程安全的队列_c++互斥锁与条件变量应用-第1张图片-佛山资讯网

在C++中实现一个线程安全的队列，通常需要结合互斥锁（std::mutex）和条件变量（std::condition_variable）来保护共享数据并实现线程间的高效同步。下面是一个基于标准库的线程安全队列的完整实现与说明。

线程安全队列的基本设计思路

多个线程可能同时对队列进行入队（push）和出队（pop）操作，因此必须保证对内部容器的访问是互斥的。同时，当队列为空时，消费者线程应等待新元素到来，而不是忙等。这正是条件变量发挥作用的地方。

核心组件包括：

std::queue：作为底层容器存储元素。
std::mutex：保护对队列的并发访问。
std::condition_variable：用于阻塞消费者线程直到有数据可读。

代码实现：线程安全的队列模板类

#include <queue>
#include <mutex>
#include <condition_variable>
#include <thread>

template<typename T>
class ThreadSafeQueue {
private:
    std::queue<T> data_queue;
    mutable std::mutex mtx;
    std::condition_variable cv;

public:
    ThreadSafeQueue() = default;

    void push(T value) {
        std::lock_guard<std::mutex> lock(mtx);
        data_queue.push(std::move(value));
        cv.notify_one(); // 唤醒一个等待的消费者
    }

    bool try_pop(T& value) {
        std::lock_guard<std::mutex> lock(mtx);
        if (data_queue.empty()) {
            return false;
        }
        value = std::move(data_queue.front());
        data_queue.pop();
        return true;
    }

    void wait_and_pop(T& value) {
        std::unique_lock<std::mutex> lock(mtx);
        cv.wait(lock, [this] { return !data_queue.empty(); });
        value = std::move(data_queue.front());
        data_queue.pop();
    }

    bool empty() const {
        std::lock_guard<std::mutex> lock(mtx);
        return data_queue.empty();
    }

    size_t size() const {
        std::lock_guard<std::mutex> lock(mtx);
        return data_queue.size();
    }
};

登录后复制