Issue 3573: Missing Throws element for basic_string_view(It begin, End end)

Title: Missing Throws element for basic_string_view(It begin, End end)
Status: c++23
Section: [string.view.cons]
Submitter: Hewill Kang

Created on 2021-07-13.00:00:00 last changed 13 months ago

Messages

msg12135 (view)

Date: 2021-10-14.09:56:08

Proposed resolution:

This wording is relative to N4892.

Modify [string.view.cons] as indicated:
```
template<class It, class End>
  constexpr basic_string_view(It begin, End end);
```
-7- Constraints:
[…]
-8- Preconditions:
[…]
-9- Effects: Initializes data_ with to_address(begin) and initializes size_ with end - begin.
-?- Throws: When and what end - begin throws.

msg11991 (view)

Date: 2021-10-14.00:00:00

[ 2021-10-14 Approved at October 2021 virtual plenary. Status changed: Voting → WP. ]

msg11972 (view)

Date: 2021-08-15.00:00:00

[ 2021-08-20; Reflector poll ]

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

msg11971 (view)

Date: 2021-07-13.00:00:00

The standard does not specify the exceptions of this constructor, but since std::to_address is a noexcept function, this constructor throws if and only when end - begin throws, we should add a Throws element for it.

History
Date	User	Action	Args
2023-11-22 15:47:43	admin	set	status: wp -> c++23
2021-10-14 09:56:08	admin	set	messages: + msg12135
2021-10-14 09:56:08	admin	set	status: voting -> wp
2021-09-29 12:57:28	admin	set	status: ready -> voting
2021-08-20 17:16:53	admin	set	messages: + msg11991
2021-08-20 17:16:53	admin	set	status: new -> ready
2021-07-17 17:00:32	admin	set	messages: + msg11972
2021-07-13 00:00:00	admin	create