[intro.object]/3 (added via P0137R1) says that only arrays of unsigned char and arrays of std::byte provide storage for objects created within it (by placement new).

 

And the note for [intro.object]/13 (added via P0593R6) says that in addition to these arrays, arrays of char also provide storage for implicitly created objects.

 

I think the status quo is inconsistent, and array of N char” should also be present in [intro.object]/3.

 

(This is one of potential CWG issues for which I mailed to William M. Miller but have not been replied yet.)

 

Jiang An