P3052 R1 view_interface::at()

[wg21bot]

P3052R0 view_interface::at() (Hewill Kang)

[cor3ntin]

Sending to SG9 first

[wg21bot]

P3052R1 view_interface::at() (Hewill Kang)

[rogerorr]

P3052R1 was presented in Tokyo, 2023-03-18.

POLL: We should promise more committee time to pursuing this paper,
knowing that our time is scarce and this will leave less time for other work.

Favor	Neutral	Against
16+2=18	1	0

(Clarifying remark: It does not need to come back to SG23, it will go to SG9, then LEWG.)

[dhollman]

SG9 agreed on the following summary of the discussion in the room, with the understanding that it would be posted to GitHub as the outcome of the discussion.

---

We had minimal discussion about the integer type of the argument to at() and we agree with the author's choice to be consistent with operator[], just as string_view::at and span::at are consistent with their respective operator[]s. The author's use of partially freestanding is also consistent with the rest of the standard (e.g., string_view and span).

---

SG9 took the following polls after the discussion summarized above:

With this discussion, SG9 forwards P3052R1 to LEWG for inclusion in C++26.

SF	F	N	A	SA
6	4	2	0	0

Strong consensus
Attendence: 13

Though we don't normally note reasons for neutral votes, in this case some participants expressed skepticism that there is widespread use of at() (but we still think this is valuable given the relatively minimal effort).