如何获得priority_queue的比较类型？

Question

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

这是因为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;声明。 C用户标准库issue for this已由SO用户Columbo提交给图书馆工作组（LWG）。

解决方法

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

In C++11 and later

#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, "");

In C++03 and earlier

#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);
}