Qual è l'uso del primo parametro del modello in priority_queue

Question

Per lo std :: priority_queue, ho assunto che il primo parametro del modello specificasse il tipo e il secondo fosse un contenitore di quel tipo. Esempio:

priority_queue<int, vector<int>> someQueue; 

Tuttavia, il seguente codice compila e sembra che vada tutto bene:

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

è il codice di cui sopra non validi (cioè dando UB)?

Se è valido, qual è il primo parametro di modello (ad esempio someClass) utilizzato in priority_queue.

Answer 1

Appena votato nel documento di lavoro in Jacksonville, via LWG issue 2566:

parametro Il primo modello T degli adattatori serbatoio deve indicare lo stesso tipo Container::value_type.

La scrittura di std::priority_queue<SomeClass, std::vector<int>> corrisponde a un comportamento non definito.

Answer 2

Nella specifica C++ 11 la sezione su std::priority_queue è §23.6.4. In esso il primo argomento del template è semplicemente il tipo predefinito usato per il contenitore e nient'altro.

Il tipo di valore effettivo viene prelevato dal contenitore.

La classe è dichiarata come

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

_{[Tratto da this reference]}

Tale dichiarazione mostrano come, quando e dove il primo argomento modello viene utilizzato.