C++ Logo


Advanced search

Re: P1839 and the object representation of subobjects

From: Thiago Macieira <thiago_at_[hidden]>
Date: Tue, 21 Jul 2020 12:19:05 -0700
On Tuesday, 21 July 2020 09:37:08 PDT Jason McKesson via Std-Proposals wrote:
> > There is an object of the proper type at the address. The problem is we
> > can't get to the address without UB in the first place because the
> > pointer arithmetic is undefined.
> But P1839 solves that problem. And this post was written under the
> rules governed by P1839.

That was not the consensus of the discussions so far.

P1839 may need a stronger wording to make it explicit that pointer arithmetic
on the char-sized backing buffer is well-defined.

Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel DPG Cloud Engineering

Received on 2020-07-21 14:22:27