Closed wg21bot closed 1 year ago
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
Refer CA-086 to Evolution and Core.
CWG 2022-11-10: Reviewed D2679R1; no concerns after updates.
I've set this to lwg-ready, because Library is done. CWG will be responsible for poll.
Accepted with modification.
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.