Date: Mon, 8 Dec 2025 21:18:13 -0500
On Mon, Dec 8, 2025 at 1:56 PM Nikl Kelbon via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> Thats what standard exists for. Standard decides what is ub and what is not ub. How its even may be argument "its ub" in discussion about changing standard?
Because your reasoning for why this change is needed is that many
users do it regardless of the fact that it's UB, so it makes sense to
change it. That is, your proposal is predicated on the idea that this
is common code, and therefore if it isn't common code, then it has no
motivation.
So, what evidence can you provide that people believe that end
iterators should work this way? The fact that it can be implemented is
not, by itself, sufficient justification for changing the standard.
<std-proposals_at_[hidden]> wrote:
>
> Thats what standard exists for. Standard decides what is ub and what is not ub. How its even may be argument "its ub" in discussion about changing standard?
Because your reasoning for why this change is needed is that many
users do it regardless of the fact that it's UB, so it makes sense to
change it. That is, your proposal is predicated on the idea that this
is common code, and therefore if it isn't common code, then it has no
motivation.
So, what evidence can you provide that people believe that end
iterators should work this way? The fact that it can be implemented is
not, by itself, sufficient justification for changing the standard.
Received on 2025-12-09 02:18:26
