Title
regex components' noexcept annotations appear broken for POCMA or throwing BidirectionalIterator
Status
new
Section
[re.regex][re.results]
Submitter
Billy O'Neal III

Created on 2019-08-17.00:00:00 last changed 55 months ago

Messages

Date: 2019-10-07.02:21:30

[ 2019-10 Priority set to 3 after reflector discussion ]

Date: 2019-09-15.00:00:00

[ 2019-09-02; Tim Song comments ]

The issue is related to LWG 2490.

Date: 2019-08-17.00:00:00

std::basic_regex and std::match_results have noexcept move construction, and std::basic_regex has noexcept move assignment, but both of them have throwing swaps. We probably need an Expects: or something to say that BidirectionalIterator doesn't throw through these operations. We probably also need match_results::operator= to respect propagate_on_container_move_assignment (and maybe the copy ctor respect propagate_on_container_copy_assignment).

History
Date User Action Args
2019-10-07 02:21:30adminsetmessages: + msg10673
2019-09-02 13:54:47adminsetmessages: + msg10599
2019-08-17 00:00:00admincreate