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
[class.cdtor] Only objects of scalar type can be accessed #4527
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think that's right, but @zygoloid should also comment.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this is correct, but I think we're missing similar wording talking about accessing the object representation of the object.
The old wording -- in particular, the "the object or" part -- might have been read as covering that before, in some cases: an incautious reader might conclude that copying a union with a trivial copy special member results in an access of the value of the union object.
I think we want "the value of any of the object or its subobjects or any element of its object representation" in the first edit and "the value of the object or subobject thus obtained" in the second edit, though that seems to be straying out of editorial country.
Thanks, @zygoloid! Let's give this some more baking time, not for now. |
@languagelawyer: please see above discussion, and also rebase? |
@languagelawyer: could you make the proposed change regardless, and we can run this issue past CWG? If necessary we can file a core issue then, but maybe a group review will suffice. |
586fbbe
to
d128c63
Compare
d128c63
to
34de9ce
Compare
Put on CWG's agenda: https://wiki.edg.com/bin/view/Wg21telecons2021/CoreWorkingGroup |
No description provided.