cplusplus/papers

P3555 R0 An infinite range concept

Opened this issue · 1 comments

P3555R0 An infinite range concept (Jonathan Müller)

SG9 in Hagenberg

SG9 saw this paper in Hagenberg. As a result of discussion of P3555R0, we discovered that [iterator.requirements.general]/10 implies code like views::iota(0) | views::take(3) is undefined behavior.

We took the following poll:

We agree that this needs correcting:

SF F N A SA
9 4 1 0 0

Strong consensus

The authors plan to come back with a much more extensive fix to this problem, which is much larger and more widespread than we originally believed.