Title
Exception requirements on char trait operations unclear
Status
c++23
Section
[char.traits.require]
Submitter
Zoe Carver

Created on 2021-02-01.00:00:00 last changed 4 months ago

Messages

Date: 2021-06-07.16:58:04

Proposed resolution:

This wording is relative to N4878.

  1. Modify [char.traits.require] as indicated:

    -1- In Table [tab:char.traits.req], X denotes a traits class defining types and functions for the character container type C; […] Operations on X shall not throw exceptionsNo expression which is part of the character traits requirements specified in this subclause [char.traits.require] shall exit via an exception.

Date: 2021-06-07.00:00:00

[ 2021-06-07 Approved at June 2021 virtual plenary. Status changed: Voting → WP. ]

Date: 2021-03-15.00:00:00

[ 2021-03-12; Reflector poll ]

Set status to Tentatively Ready after six votes in favour during reflector poll.

Date: 2021-02-01.20:17:06

[char.traits.require] p1 says:

X denotes a traits class defining types and functions for the character container type C […] Operations on X shall not throw exceptions.

It should be clarified what "operations on X" means. For example, in this patch, there was some confusion around the exact meaning of "operations on X". If it refers to the expressions specified in [tab:char.traits.req] or if it refers to all member functions of X, this should be worded in some clearer way.

History
Date User Action Args
2023-11-22 15:47:43adminsetstatus: wp -> c++23
2021-06-07 16:58:04adminsetmessages: + msg11890
2021-06-07 16:58:04adminsetstatus: voting -> wp
2021-05-26 21:11:22adminsetstatus: ready -> voting
2021-03-12 15:09:24adminsetmessages: + msg11733
2021-03-12 15:09:24adminsetstatus: new -> ready
2021-02-01 20:17:06adminsetmessages: + msg11676
2021-02-01 00:00:00admincreate