P3168 R2 Give std::optional Range Support

[wg21bot]

P3168R0 Give std::optional Range Support (David Sankel, Marco Foco, Darius Neațu, Barry Revzin)

[wg21bot]

P3168R1 Give std::optional Range Support (David Sankel, Marco Foco, Darius Neațu, Barry Revzin)

[ben-craig]

2024-03-20 Library Evolution Tokyo

P3168R0: Give std::optional Range Support

2024-03-20 Library Evolution Tokyo Minutes

Champion: David Sankel
Chair: Ben Craig / Inbal Levi
Minute Taker: Guy Davidson

Summary

POLL: Modify P3168R0 (Give std::optional Range Support) by opting out of formatter range support for optional and changing the return type of iterator functions from T* to iterator and family, and then send the revised paper to LWG for C++26 classified as B2, to be confirmed with a Library Evolution electronic poll.

SF	WF	N	WA	SA
11	3	1	0	2

Attendance: 19+5

# of Authors: 1

Author Position: SF

Outcome: Consensus in favor

Comments:
SA: A bit concerned since we don't have deployment experience. Modifying a fundamental type in a rushed way.
SA: optional is not a range, and we should not treat it as such, but there are lots of things we could do that simplify things because they break the concept of what it represents.

Next Steps

Make the requested changes, add a feature test macro, and go to LWG assuming the electronic poll passes.

[inbal2l]

P3168R1 was forwarded to LWG for C++26 on LEWG 2024 April electronic poll (P3214R0)

NOTE: The paper was forwarded with week consensus, authors should provide more implementation and deployment experience to increase consensus.

[JeffGarland]

LWG reviewed and approved for c++26 in St. Louis.

Poll: put P3168r2 into C++26?
| F | A | N |
| 15 | 0 | 0 |

[wg21bot]

P3168R2 Give std::optional Range Support (David Sankel, Marco Foco, Darius Neațu, Barry Revzin)