§[res.on.exception.handling]/3 should not be applied to all standard library types
Jiang An

Created on 2023-01-07.00:00:00 last changed 2 days ago


Date: 2023-01-15.00:00:00

[ 2023-01-29; Daniel comments ]

This issue has very much overlap with LWG 3229.

Date: 2023-01-07.00:00:00

Some standard library types, such as std::pair, std::tuple, and std::array, are currently allowed to have a member or element type with a destructor that is noexcept(false). In order to conform to [res.on.exception.handling]/3, these types can't always have implicitly declared destructors because the implicit exception specification may be noexcept(false).

However, it may be intentional to implement these types with implicitly declared destructors, and mainstream implementations (libc++, libstdc++, and MSVC STL) are already doing so.

Furtherly, explicitly declared destructors are not allowed for algorithm result types ([algorithms.results]), while currently these class templates are allowed to be instantiated with classes with potentially throwing destructors, which is contradictory to [res.on.exception.handling]/3.

Date User Action Args
2023-01-29 11:23:47adminsetmessages: + msg13228
2023-01-07 00:00:00admincreate