Although, it would still be contiguous; http://eel.is/c++draft/dcl.array#6

Perhaps extending the definition to cover multidimensional arrays would be worth doing.



Sent from my Samsung Galaxy smartphone.

-------- Original message --------
From: Language Lawyer via Std-Proposals <std-proposals@lists.isocpp.org>
Date: 8/18/19 08:34 (GMT-05:00)
To: std-proposals@lists.isocpp.org
Cc: Language Lawyer <language.lawyer@gmail.com>
Subject: Re: [std-proposals] Allowing access to object representations

And multidimensional array of, say, `unsigned char` is its own object representation?
If so, this does not match the expectation that the object representation is contiguous.

On 18/08/2019 03:33, sdkrystian via Std-Proposals wrote:
> Yes, in which case it is its own object representation
>
>
>
> Sent from my Samsung Galaxy smartphone.
>
> -------- Original message --------
> From: Language Lawyer via Std-Proposals <std-proposals@lists.isocpp.org>
> Date: 8/17/19 20:30 (GMT-05:00)
> To: std-proposals@lists.isocpp.org
> Cc: Language Lawyer <language.lawyer@gmail.com>
> Subject: Re: [std-proposals] Allowing access to object representations
>
> Ah, so the object representation of an object of type T is a sequence of `unsigned char` objects unless T is (cv-qualified) `char` or `std::byte` (or array thereof)?
>
> On 18/08/2019 03:24, sdkrystian via Std-Proposals wrote:
>  > Same thing applies. I'll have to change [expr.add]/6 to make it work.
>  >
>  >
>  >
>  > Sent from my Samsung Galaxy smartphone.
>  >
>  > -------- Original message --------
>  > From: Language Lawyer via Std-Proposals <std-proposals@lists.isocpp.org>
>  > Date: 8/17/19 20:21 (GMT-05:00)
>  > To: std-proposals@lists.isocpp.org
>  > Cc: Language Lawyer <language.lawyer@gmail.com>
>  > Subject: Re: [std-proposals] Allowing access to object representations
>  >
>  > And for an object `a` of type `char`?
>  >
>  > On 18/08/2019 03:18, sdkrystian via Std-Proposals wrote:
>  >  > The object representation of the object is itself... For an object `a` of type unsigned char, it's object representation is `a`
>  >  >
>  >  >
>  >  >
>  >  > Sent from my Samsung Galaxy smartphone.
>  >  >
>  >  > -------- Original message --------
>  >  > From: Language Lawyer via Std-Proposals <std-proposals@lists.isocpp.org>
>  >  > Date: 8/17/19 16:49 (GMT-05:00)
>  >  > To: std-proposals@lists.isocpp.org
>  >  > Cc: Language Lawyer <language.lawyer@gmail.com>
>  >  > Subject: Re: [std-proposals] Allowing access to object representations
>  >  >
>  >  >  > The object representation of an object of type unsigned char, char, std::byte, or an array of such types (ignoring cv-qualification), is itself.
>  >  >
>  >  > What does this cryptic "is itself" mean?
>  >  > --
>  >  > Std-Proposals mailing list
>  >  > Std-Proposals@lists.isocpp.org
>  >  > https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>  >  >
>  > --
>  > Std-Proposals mailing list
>  > Std-Proposals@lists.isocpp.org
>  > https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>  >
> --
> Std-Proposals mailing list
> Std-Proposals@lists.isocpp.org
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>
--
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals