-
Notifications
You must be signed in to change notification settings - Fork 782
[dcl.array] The first element has the same address as the array #3203
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
Editorial teleconference: Send to CWG with given proposed resolution. |
Sent to CWG: http://lists.isocpp.org/core/2020/01/8174.php |
Do we still need this given #4061 is merged? I think it's probably deducible from the current wording that the first element has the same address as the array. |
Let's close this, then. |
How did #4061 affect this? The concern about first element address is/was not due to padding |
Hmm, as it's clarified that there can't be paddings, I think it's already clear that the element at the lowest address has the same address as the array. Is there still possibility that element can be so arranged that the first element doesn't has the same address as the array? |
If by "the lowest address" you mean the address represented by a pointer to the array object, then this is trivially true. However, is this "element at the lowest address" the same object as "the first element of the array" (from [conv.array], which, I suppose, means array element 0 for the purposes of http://eel.is/c++draft/expr.add#4.2)? |
[expr.rel] p4 might help. |
This provides normative wording for the Note from [basic.compound]/4: