Почему мне нужно передавать компаратор для создания 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

Так почему, когда у нас есть настроенная функция сравнения, мы можем опустить инициализатор для 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 2

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

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

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

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

Answer 3

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

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