Issue 3512 - WG21 LWG Issues
Title
Incorrect exception safety guarantee for unordered containers
Status
new
Section
[unord.hash]
Submitter
Jonathan Wakely

Created on 2020-12-28.00:00:00 last changed 39 months ago

Messages

msg11665 (view)
Date: 2021-01-15.00:00:00
Set priority to 3 following reflector discussions. It was pointed out that this wording could be simplified if

[ 2021-01-29; reflector prioritization ]

Set priority to 3 following reflector discussions. It was pointed out that this wording could be simplified if 3513 changes the definition of program-defined type.
msg11656 (view)
Date: 2020-12-28.00:00:00

See this editorial issue.

[unord.hash] p5.4 ends with "shall not throw an exception unless hash<Key> is a program-defined specialization that depends on at least one program-defined type."

This seems wrong, because hash<optional<T>> is not a program-defined specialization, but it might throw if hash<T> can throw. There are also other partial specializations of std::hash defined in the standard library but that depend on program-defined specializations and so can throw.

History
Date User Action Args
2021-01-29 17:55:43adminsetmessages: + msg11665
2020-12-28 00:00:00admincreate