This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.
std::priority_queue
Section: 23.6.4 [priority.queue] Status: New Submitter: Jonathan Wakely Opened: 2019-02-21 Last modified: 2019-03-05
Priority: 3
View all other issues in [priority.queue].
View all issues with New status.
Discussion:
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
.
[2019-03-05 Priority set to 3 after reflector discussion]
Proposed resolution: