为什么推送线程一直运行到队列达到最大大小?为什么它不像-推,砰,推,砰?

我试图学习C++中的线程,却无法理解为什么两个线程没有一个接一个地运行?推送后,互斥体被解锁,并通过条件变量通知。 为什么此时pop线程没有执行?当互斥体解锁时,它可以访问队列并弹出插入的值。但相反,我看到的是,推送线程一直运行到队列满,之后,弹出线程运行到队列空。

 #include <iostream>
    #include <thread>
    #include <future>
    #include <queue>
 
using namespace std;
 
template<typename E>
class BlockingQueue
{
 
private:
    size_t mMaxSize;
    queue<E> mQueue;
    mutex mtx;
    condition_variable mConditionVar;
 
public:
    BlockingQueue(size_t size): mMaxSize{size}
    {
                
    }
 
    void push(E element)
    {
        unique_lock<mutex> pushLock(mtx);
 
        mConditionVar.wait(pushLock, [this](){ return mQueue.size() < mMaxSize; });
 
        cout << "Pushing " << element << endl;
        mQueue.push(element);
 
        pushLock.unlock();
        mConditionVar.notify_one();
        
    }
 
    void pop()
    {
        unique_lock<mutex> popLock(mtx);
 
        mConditionVar.wait(popLock, [this](){ return mQueue.size() > 0; });
 
        cout << "Popping " << mQueue.front() << endl;
        mQueue.pop();
 
        popLock.unlock();
        mConditionVar.notify_one();
    }
 
    E front()
    {
        return mQueue.front();
    }
 
    size_t size()
    {
        return mQueue.size();
 
    }
 
};
 
int main()
{
    BlockingQueue<int> bq(5);
 
    thread t1([&](){
        for (int i = 1; i <= 10; i++)
            bq.push(i);
    });
 
    thread t2([&](){
        for (int i = 1; i<=10; i++)
            bq.pop();
    });
 
    t1.join();
    t2.join();
 
    return 0;
}