Зачем мне нужно передавать компаратор для создания priority_queue, когда это лямбда, а не когда это std:: большее?

Question

Я читаю пример кода из cppreference:

#include <functional>
#include <queue>
#include <vector>
#include <iostream>

template<typename T> void print_queue(T& q) {
    while(!q.empty()) {
        std::cout << q.top() << " ";
        q.pop();
    }
    std::cout << '\n';
}

int main() {
    std::priority_queue<int> q;

    for(int n : {1,8,5,6,3,4,0,9,7,2})
        q.push(n);

    print_queue(q);

    std::priority_queue<int, std::vector<int>, std::greater<int> > q2;

    for(int n : {1,8,5,6,3,4,0,9,7,2})
        q2.push(n);

    print_queue(q2);

    // Using lambda to compare elements.
    auto cmp = [](int left, int right) { return (left ^ 1) < (right ^ 1);};
    std::priority_queue<int, std::vector<int>, decltype(cmp)> q3(cmp);

    for(int n : {1,8,5,6,3,4,0,9,7,2})
        q3.push(n);

    print_queue(q3);

}

Я не уверен почему q2 не нужно инициализировать? Т.е. вместо того, чтобы иметь

std::priority_queue<int, std::vector<int>, std::greater<int> > q2;

в исходном коде, я думаю, у нас должно быть что-то вроде

std::priority_queue<int, std::vector<int>, std::greater<int> > q2(std::greater<int>());

Так почему, когда у нас есть настроенная функция сравнения, мы можем опустить инициализатор для q2 но не для q3 в примере кода?

Answer 1

Главное отличие в том, что std::greater является конструируемым по умолчанию, но типы закрытия (лямбды) не являются.

Таким образом, очереди необходимо предоставить лямбда-объект, чтобы скопировать конструктор из компаратора в качестве аргумента конструктора.

Answer 2

Так почему, когда у нас есть настраиваемая функция сравнения, мы можем опустить инициализатор для q2, но не для q3 в примере кода

У вас есть "настроенная функция сравнения" в обоих случаях. И то и другое std::greater<int> а также decltype(cmp)> Назовите тип объекта функции. Разница между ними в том, что std::greater<int> является конструируемым по умолчанию, в то время как лямбда-тип никогда не является. Поэтому при инициализации очереди приоритетов этот конструктор...

explicit priority_queue( const Compare& compare = Compare(),
                         Container&& cont = Container() );

... будет (концептуально) счастливо инициализировать по умолчанию std::greater<int>() но не получится decltype(cmp)(), Поэтому вам необходимо предоставить позднее для явного копирования.

Answer 3

Это конструктор, который используется в вашем случае

explicit priority_queue( const Compare& compare = Compare(),
                     Container&& cont = Container() );

Поэтому, если вы не передадите аргумент, будут вызваны конструкторы по умолчанию для шаблонных классов. Но decltype(cmp) не является конструктивным по умолчанию. Лямбда-тип закрытия удалил конструктор по умолчанию. Так что вам нужно явно упомянуть cmp(),

В C++20 мы вернем эти конструкторы по умолчанию. лямбды