P1474 Helpful pointers for ContiguousIterator

[jensmaurer]

P1474R0 Helpful pointers for ContiguousIterator (Casey Carter)

[brycelelbach]

Discussed at the Kona 2019 meeting by LEWGI

Champion: Casey Carter

Minute Taker: Billy Baker

Start Overview: 10:50

This should be done in C++20 or not at all.

Start Discussion: 11:00

Options:

• Require ContiguousIterators to specialize pointer_traits.
• Fix pointer_traits instead by specializing it for RandomAccessIterator.

Start Polling: 11:11

POLL: We should promise more committee time to make std::to_address work for ContiguousIterators in C++20, knowing that our time is scarce and this will leave less time for other work.

NO OBJECTION TO UNANIMOUS CONSENT

Attendance: 11

POLL: We should promise more committee time to pursuing P1474R0 (requiring that ContiguousIterators specialize pointer_traits) for C++20, knowing that our time is scarce and this will leave less time for other work.

Strongly For	Weakly For	Neutral	Weakly Against	Strongly Against
3	1	3	1	0

Attendance: 11

That has consensus.

Howard (A): I would like to see pointer_traits fixed instead of requiring more specializations of pointer_traits.

CONSENSUS: LEWGI sends P1474R0 to LEWG for C++20.

[tituswinters]

Discussed in Cologne.

Update typos identified during discussion, forward to LWG for C++20, apologize to Marshall.
SF F N A SA
11 3 0 0 0

Since this is changing concept requirements, this has to happen in C++20.

[wg21bot]

P1474R1 Helpful pointers for ContiguousIterator (Casey Carter)