C++如何实现一个线程安全的双端队列容器-C++-PHP中文网

std::deque本身不是线程安全的，必须加锁；其所有成员函数（如push_front、pop_back、size）均非原子操作，多线程并发读写会引发数据竞争，导致崩溃或未定义行为。

c++如何实现一个线程安全的双端队列容器

std::deque 本身不是线程安全的，必须加锁

标准库的 std::deque 所有成员函数（包括 push_front、pop_back、size）都不保证原子性。多个线程同时读写同一实例时，哪怕只是“一个 push + 一个 pop”，也可能触发数据竞争，导致崩溃或未定义行为。

常见错误现象包括：程序随机 segfault、std::length_error 或 std::bad_alloc 抛出、返回错误的 size() 值、迭代器失效后仍被解引用。

不要假设只读操作（如 size()、empty()）是安全的——它们内部可能访问共享计数器或指针，且不带内存屏障
不要用 const 成员函数自我安慰：const 不等于线程安全
避免在锁外调用 front()/back() 后再进锁 pop_*——中间可能已被其他线程修改

用 std::mutex 封装 deque 是最直接的做法

把 std::deque 和 std::mutex 组合成一个类，所有公有接口在临界区内执行。这是多数场景下最清晰、可控性最强的方式。

示例关键结构：

template<typename t>
class thread_safe_deque {
private:
    std::deque<t> data_;
    mutable std::mutex mtx_;

public:
    void push_front(const T& item) {
        std::lock_guard<:mutex> lk(mtx_);
        data_.push_front(item);
    }

    bool try_pop_back(T& item) {
        std::lock_guard<:mutex> lk(mtx_);
        if (data_.empty()) return false;
        item = std::move(data_.back());
        data_.pop_back();
        return true;
    }

    size_t size() const {
        std::lock_guard<:mutex> lk(mtx_);
        return data_.size();
    }
};</:mutex></:mutex></:mutex></t></typename>