関数コンパレータがソートのように優先度キューで動作しないのはなぜですか？

Question

questionがあり、C++のpriority_queueでコンパレータを使用する方法について説明しています。彼は第3引数としてオーバーロードされたoperatorclass（またはstruct）を与え、正常に動作します。しかし、bool機能が動作しません。どうして ？しかし<algorithm>のsortで正常に動作します。ドキュメント（priority_queue & & algo/sort）を調べると、両方ともオプションの第3引数としてclass Compareが使用されます。

#include <iostream> 
#include <cstdio> 
#include <queue> 
#include <algorithm> 
#include <vector> 

using namespace std; 

bool cmp (const int &a,const int &b){ return a > b; } 

struct cmp2 
{ 
    bool operator() (const int &p1,const int &p2) 
    { 
     return p1 > p2; 
    } 
}; 

int main() 
{ 
// freopen("test.txt","r",stdin); 
    int a[10]; 
    vector<int> b(10); 
    sort(a , a + 10, cmp); // working cool 
    sort(b.begin() , b.end() , cmp); // working great 
    priority_queue<int, vector<int> , cmp2 > x; // as usual, working.... 
    priority_queue<int, vector<int> , cmp > y; // not working why ? 

    return 0; 
} 

エラー：

A:\pqvsarray.cpp In function 'int main()': 
27 40 A:\pqvsarray.cpp [Error] type/value mismatch at argument 3 in template parameter list for 'template<class _Tp, class _Sequence, class _Compare> class std::priority_queue' 
27 40 A:\pqvsarray.cpp [Error] expected a type, got 'cmp' 
27 43 A:\pqvsarray.cpp [Error] invalid type in declaration before ';' token 

それでは、なぜ違いは？

Answer 1

std::priority_queueの機能も使用できます。あなたが何をしているの違いは、関数パラメータとしてstd::sortに関数を渡すが、関数をキューのテンプレートパラメータとして定義しようとします。これは、エラーが説明するように、第3引数が型引数であるため、明らかに機能しません。また、ポインタや参照テンプレート引数を持つことさえできません。

referenceを見ると、キューには比較オブジェクトを渡すためのコンストラクタがあることがわかります。 それはです。この関数を渡す必要があります。

std::sortとの違いがあります。ソートは関数であり、コンパイラにテンプレート引数であるため、明示的に指定する必要はありません。キューはクラステンプレートであり、クラステンプレートのテンプレート引数は推測できません（この文脈では少なくともありません）。

テンプレート引数のデフォルトはstd::less<typename Container::value_type>ですが、そのテンプレートは使用しません。したがって、比較オブジェクトの型を明示的に指定する必要があります。オブジェクトを渡そうとしている場所を指定します。どのように関数のポインタ/参照の型を取得するには、尋ねることがあります。あなたはこのようにすることができます：decltype(&cmp)。 decltypeをまだサポートしていない古いコンパイラがある場合は、それを除いてタイプを指定する必要があります：bool (&)(const int&, const int&)。

ここでは、関数を使用するキューを作成する方法の例を示します。

std::priority_queue<int, std::vector<int>, decltype(&cmp)> x(cmp); 

Answer 2

答えはコンパイラエラーです。 優先度キューの3番目のテンプレートパラメータは、コンパイラタイプ（構造体やクラスなど）であり、関数ではありません。

Answer 3

エラーメッセージが示すように、関数をテンプレートパラメータとして使用することはできません。 priority_queueは、比較タイプののオブジェクトをコピーします。たとえば、これはstd::less<int>で、そのタイプのオブジェクトはstd::less<int>()であり、呼び出されるのはstd::less<int>()(x, y)です。 C++ 11では、decltypeを使うことができましたが、C++ 03では、関数オブジェクトとして使用するために用意された「ファンクタ」を作成することが「正規の」方法です。 lambdasが作成されました。