Difference between revisions of "cpp/named req/CopyAssignable"
From cppreference.com
m (Text replace - "{{tdcl list end" to "{{dcl list end") |
m (Text replace - "{{tdcl" to "{{dcl") |
||
| Line 24: | Line 24: | ||
{{dcl list begin}} | {{dcl list begin}} | ||
| − | {{ | + | {{dcl list hitem | Expression | Effects}} |
| − | {{ | + | {{dcl list item | {{c|1=a = v;}} | {{tt|a}} is equivalent to {{tt|v}}, where {{tt|a}} is an instance of {{tt|Type}} and {{tt|v}} is an instance of {{tt|Type}}. {{tt|v}} must be unchanged.}} |
{{dcl list end}} | {{dcl list end}} | ||
}} | }} | ||
Revision as of 01:35, 12 June 2012
Template:cpp/concept/title Template:cpp/concept/sidebar
Specifies that an instance of the type can be copy-assigned (copied).
This concept implies Template:concept.
Requirements
The type must implement the following functions:
Type::operator=
| Type& Type::operator=( Type& other ); Type& Type::operator=( const Type& other ); |
(One of the variants is sufficient) | |
Copy assignment operator: assigns the contents of other. The internal state of other must not be modified.
The following expressions must have the specified effects:
| Expression | Effects |
| a = v; | a is equivalent to v, where a is an instance of Type and v is an instance of Type. v must be unchanged.
|
See also
| (C++11)(C++11)(C++11) |
checks if a type has a copy assignment operator (class template) |
