priority_queueの最初のテンプレートパラメータの使用方法

Question

std :: priority_queueでは、最初のテンプレートパラメータが型を指定し、2番目がその型のコンテナであると仮定しました。例：

priority_queue<int, vector<int>> someQueue; 

ただし、次のコードはコンパイルされ、正常に動作するようです：

class SomeClass 
{ 
}; 

int main() 
{ 
    priority_queue <SomeClass, vector<int>> pq; 
    int x = 9; 
    pq.push(x); 
    int t = pq.top(); 
    cout << t << endl; 
    pq.pop(); 
    return 0; 
} 

は、上記のコード無効（すなわちUBを与える）ですか？

有効な場合は、priority_queueに使用される最初のテンプレートパラメータ（つまり、someClass）は何ですか。

Answer 1

たてはLWG issue 2566介して、ジャクソンビルで働いて紙に投票：

を容器アダプタの最初のテンプレートパラメータTがContainer::value_typeとして 同じタイプを意味するものとします。

したがって、std::priority_queue<SomeClass, std::vector<int>>を書き込むと、定義されていない動作が発生します。

Answer 2

C++ 11仕様では、約std::priority_queueのセクションは§23.6.4です。最初のテンプレート引数は、単にコンテナに使用されるデフォルトの型であり、それ以外は何もありません。

実際の値のタイプはコンテナから取得されます。

クラスは[this referenceから撮影]

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

その宣言表示方法、および最初のテンプレート引数が使用されるように宣言されます。