Issue 3211: std::tuple<> should be trivially constructible

Title: std::tuple<> should be trivially constructible
Status: c++23
Section: [tuple.cnstr]
Submitter: Louis Dionne

Created on 2019-05-29.00:00:00 last changed 12 months ago

Messages

msg11543 (view)

Date: 2020-11-09.20:31:48

Proposed resolution:

This wording is relative to N4849.

Modify [tuple.cnstr] as indicated:

-4- If is_trivially_destructible_v<T_i> is true for all T_i, then the destructor of tuple is trivial.
-?- The default constructor of tuple<> is trivial.

msg11064 (view)

Date: 2020-11-09.00:00:00

[ 2020-11-09 Approved In November virtual meeting. Status changed: Ready → WP. ]

msg10422 (view)

Date: 2020-02-15.00:00:00

[ 2020-02-13, Prague ]

LWG discussion revealed that all where happy that we want this, except that the new wording should become a separate paragraph.

msg10421 (view)

Date: 2020-02-13.12:51:34

That requirement is really easy to enforce, and it has been requested by users (e.g. libc++ bug 41714).

Previous resolution [SUPERSEDED]:

This wording is relative to N4810.

Modify [tuple.cnstr] as indicated:

-4- If is_trivially_destructible_v<T_i> is true for all T_i, then the destructor of tuple is trivial. The default constructor of tuple<> is trivial.

History
Date	User	Action	Args
2023-11-22 15:47:43	admin	set	status: wp -> c++23
2020-11-09 20:31:48	admin	set	messages: + msg11543
2020-11-09 20:31:48	admin	set	status: ready -> wp
2020-02-13 12:51:34	admin	set	messages: + msg11064
2020-02-13 12:51:34	admin	set	status: new -> ready
2019-06-08 16:00:15	admin	set	messages: + msg10422
2019-05-29 00:00:00	admin	create