CA-086 20.2.6p5 [obj.lifetime] Allow 0 for the second parameter to start_lifetime_as_array

[wg21bot]

0 should be a permitted value for the second parameter (to start_lifetime_as_array). This would make code interacting with this function easier to write and less error prone.

Remove paragraph 5.

Adjust paragraph 6 such that equivalence is maintained only if the previous precondition is met. If n is 0 then a pointer which compares equal to p is returned but which may only be used in the manner which past-the-end pointers may be used.

[FabioFracassi]

2022-11-07 10:00 to 11:30 UTC-10 Kona Library Evolution Meeting

CA-086: Allow 0 for the second parameter to start_lifetime_as_array

2022-11-07 10:00 to 11:30 UTC-10 Kona Library Evolution Minutes

Champion: Robert Leahy (in-person)

Chair: Bryce Adelstein Lelbach & Fabio Fracassi

Minute Taker: Inbal Levi

Start: 2022-11-07 11:22 UTC-10

POLL: 0 should be a permitted as the size parameter to start_lifetime_as_array.

Strongly Favor	Weakly Favor	Neutral	Weakly Against	Strongly Against
4	16	5	2	0

Attendance: 23 (in-person) + 16 (remote)

# of Authors: 1

Author Position: SF

Outcome: Consensus in favor.

This needs Evolution/Core input.

End: 11:35

Next Steps

Refer CA-086 to Evolution and Core.

[jensmaurer]

CWG 2022-11-10: Reviewed D2679R1; no concerns after updates.

[JeffGarland]

I've set this to lwg-ready, because Library is done. CWG will be responsible for poll.

[jwakely]

Accepted with modification.