[basic.types.general] Refactor confusing phrase "object and value representation" #7262
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This came up in mailing-list review of D1839R6; @t3nsor rightly suggested I open an editorial issue for this.
There is no such thing as the "object and value representation" of a type; there is only the "object representation" and the "value representation." Refactor the confusing sentence accordingly. This seems to make one of the two new sentences potentially nonsensical, but no worse than it was when it was both grammatically confusing and potentially nonsensical.
I suggested that the first new sentence should be more like:
Still, AFAIK, until P1839 actually lands, there is no "object corresponding to the object representation..." at all. Right now, an object representation is a sequence of unsigned char objects, which (sequence) is not an object. P1839 is what will replace that sequence with a singular array object so that we can meaningfully talk about "the (array) object corresponding to the object representation [of an object]."
Worse, the second new sentence remains nonsensical to me: "The value representation of its type" is not an object at all, it's a set of bits. And if we mean "The value representation of a non-bit-field complete object of type
T
consists of the bits in the value representation of its type," well, that's just tautological, isn't it?