STD优先级队列何时比较值？

Question

我有一个优先级队列，比较函数引用了多个线程访问的值。因此，它必须由静音保护。除了我不知道该比较函数何时运行。当我推动值还是弹出值时，它是运行的吗？下面的示例代码。

#include <iostream>
#include <queue>
#include <mutex>


using namespace std;


int main()
{   
    int compare = 7;
    mutex compare_m;


    auto cmp = [&](int a, int b) {return abs(compare - a)>=abs(compare-b);};
    priority_queue<int, vector<int>, decltype(cmp)> x(cmp);
    mutex x_m;

    //in thread
    {   
        scoped_lock m1(x_m);
        //do I need this?
        scoped_lock m(compare_m);
        x.push(6);
    }

    //in thread
    {   
        scoped_lock m1(x_m);
        //do I need this?
        scoped_lock m(compare_m);
        x.pop();
    }

}

Answer 1

要回答这个问题，如果没有记录任何事情，可能会发生任何事情（然后我们就无法推理何时调用比较器）。

如果我们研究cppreference，按 push_heap ，然后将元素重新组织成一个堆。鉴于它需要重组，我们可以认为它会调用比较器。 pop发生了类似的情况，该调用pop_heap，它再次修改了基础堆。再次，调用比较器。

因此，以上意味着您需要对两者进行关键部分（但是，请注意有关在PQ包含元素时更改比较函数的行为的评论是否实际上是SAFE ）。