为什么我们要将`std::unique_lock`放在本地范围下？

Question

void push(T const& value) { // original version
        {
            std::unique_lock<std::mutex> lock(this->d_mutex);
            d_queue.push_front(value);
        }
        this->d_condition.notify_one();
    }

void push(T const& value) { // my question
        //{ // comment out the scope
            std::unique_lock<std::mutex> lock(this->d_mutex);
            d_queue.push_front(value);
        //} // comment out the scope
        this->d_condition.notify_one();
    }

T pop() {
        std::unique_lock<std::mutex> lock(this->d_mutex);
        this->d_condition.wait(lock, [=]{ return !this->d_queue.empty(); });
        T rc(std::move(this->d_queue.back()));
        this->d_queue.pop_back();
        return rc;
    }

问题：为什么我们应该在pop函数内部使用[=]？

Answer 1

是不是因为我们应该在调用notify_one()之前先释放锁，否则在调用notify_one()时锁会保持？

正确。另一个线程有可能在生产者线程释放队列锁之前旋转并试图获取队列锁。这将导致它唤醒（由于条件变量），然后返回Hibernate（由于锁）。

为什么要在pop函数中使用[=]？