Title
Missing requirement for std::priority_queue
Status
new
Section
[priority.queue]
Submitter
Jonathan Wakely

Created on 2019-02-21.00:00:00, last changed 2019-03-05.18:54:44.

Messages

Date: 2019-03-05.00:00:00

[ 2019-03-05 Priority set to 3 after reflector discussion ]

Date: 2019-02-21.00:00:00

We don't require that the Compare template parameter can be invoked with arguments of the queue's value type. It seems like something we can use Mandates: for, since it'll be ill-formed otherwise. Something like is_invocable_r_v<bool, Compare&, value_type&, value_type&>.

This might also apply to the Compare parameter for the merge and sort functions of forward_list and list.

History
Date User Action Args
2019-03-05 18:54:44adminsetmessages: + msg10341
2019-02-21 00:00:00admincreate