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
Should "Copy Operation" be a word of power? #448
Comments
Not so apparent. The "copy operation" in [class.copy]p31 means copy construction only, and the ones in [allocator.requirements] can be replaced by "copy assignment". Also note that there are
If I'm not mistaken, only the "copy or move operation" in [iterator.requirements.general]p6 refers to both construction and assignment operation. |
Note that a copy might be performed by something that is not a copy constructor as defined in 12.8 [class.copy]. Nowadays, we run full overload resolution on the constructors for the copy, and we might actually choose a constructor template (which is never a copy constructor) to perform the copy. Therefore, changing "copy/move operation" to "copy/move construction" should be carefully considered on a case-by-case basis. |
Editorial meeting: Change [fs.enum.copy.opts] to use "file copy operation". [lib.types.movedfrom] use "move constructors and move assignment operators". Also drop "shall". 22.2.1p7 [iterator.requirements.general] "Whether singular or not, use of a value-initialized iterator ..." Assignment has two objects involved; are we discussing the source or target? Turn in this into a bulleted list. "whereby the singular value is overwritten" |
The phrase "Copy operation" (meaning, apparently, copy construction and assignment) is used as part of
class.copy
, and then again inallocator.requirements
(twice).Should it be a formal term in the standard?
The text was updated successfully, but these errors were encountered: