Việc sử dụng thông số mẫu đầu tiên trong priority_queue

Question

Đối với std :: priority_queue tôi giả định rằng tham số mẫu đầu tiên được chỉ định loại và tham số thứ hai phải là vùng chứa loại đó. Ví dụ:

priority_queue<int, vector<int>> someQueue; 

Tuy nhiên, đoạn mã sau biên dịch và có vẻ chạy tốt:

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

Sản phẩm mã trên không hợp lệ (ví dụ: cho UB)?

Nếu giá trị hợp lệ - thông số mẫu đầu tiên (ví dụ: someClass) được sử dụng trong priority_queue là gì.

Answer 1

tươi bình chọn vào giấy làm việc tại Jacksonville, qua LWG issue 2566:

Mẫu đầu tiên tham số T của adapter chứa sẽ biểu thị cùng loại như Container::value_type.

Viết kết quả phù hợp với hành vi không xác định.

Answer 2

Trong đặc tả C++ 11, phần khoảng std::priority_queue là §23.6.4. Trong đó, đối số mẫu đầu tiên chỉ đơn giản là loại mặc định được sử dụng cho vùng chứa và không có gì khác.

Loại giá trị thực được lấy từ vùng chứa.

Các lớp được khai báo là

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

_{[Trích từ this reference]}

Đó chương trình khai như thế nào, khi nào và nơi đối số mẫu đầu tiên được sử dụng.