C++ Logo

STD-PROPOSALS

Advanced search

Subject: Re: [std-proposals] P1839 and the object representation of subobjects
From: Thiago Macieira (thiago_at_[hidden])
Date: 2020-07-21 14:19:05


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

STD-PROPOSALS list run by herb.sutter at gmail.com

Standard Proposals Archives on Google Groups