如何获得priority_queue的比较类型？

Question

大多数类似的容器都有key_compare或value_compare等成员类型，但priority_queue有none。

那是因为priority_queue是适配器吗？或者这是错误的标准？

Answer 1

是的，这确实很奇怪，似乎是对C ++标准的疏忽。标准将priority_queue声明为：

template <class T,
          class Container = vector<T>,
          class Compare = less<typename Container::value_type> >
class priority_queue;

虽然它指定了以下公共成员：

typedef typename Container::value_type value_type;
typedef typename Container::reference reference;
typedef typename Container::const_reference const_reference;
typedef typename Container::size_type size_type;
typedef Container container_type;

由于某种原因，它省略了typedef Compare value_compare;声明。 SO用户Columbo已向C ++标准库issue for this提交了图书馆工作组（LWG）。

变通方法

但是，您可以使用以下方法解决此问题。

在C ++ 11及更高版本中

#include <queue>

template <typename> struct GetCompare;

template <typename T, typename Container, typename Compare>
struct GetCompare<std::priority_queue<T, Container, Compare> >
{ using type = Compare; };

template <typename T>
using GetCompare_t = typename GetCompare<T>::type;

例如：

#include <type_traits>

static_assert(
    std::is_same<
        GetCompare_t<std::priority_queue<int> >,
        std::less<int>
    >::value, "");

在C ++ 03及更早版本中

#include <queue>

template <typename> struct GetCompare;

template <typename T, typename Container, typename Compare>
struct GetCompare<std::priority_queue<T, Container, Compare> >
{ typedef Compare type; };

例如：

int main() {
    return typename GetCompare<std::priority_queue<int> >::type()(42, 0);
}