Difference between revisions of "cpp/named req/CopyAssignable"

Revision as of 18:35, 31 May 2013

Specifies that an instance of the type can be copy-assigned (copied).

The type must implement the following functions:

Type& Type::operator=( Type& other ); Type& Type::operator=( const Type& other ); Type& Type::operator=( volatile Type& other ); Type& Type::operator=( const volatile 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.

@@ Line 10: / Line 10: @@
 The type must implement the following functions:
-{{member | 1={{dcl small|Type::}}operator= | 2=
+{{member | 1={{dsc small|Type::}}operator= | 2=
 {{ddcl | notes={{mark|One of the variants is sufficient}} | 1=
@@ Line 23: / Line 23: @@
 The following expressions must have the specified effects:
-{{dcl list begin}}
+{{dsc begin}}
-{{dcl list hitem | Expression | Effects}}
+{{dsc 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.}}
+{{dsc | {{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}}
+{{dsc end}}
 }}
 ===See also===
-{{dcl list begin}}
+{{dsc begin}}
-{{dcl list template | cpp/types/dcl list is_copy_assignable}}
+{{dsc inc | cpp/types/dcl list is_copy_assignable}}
-{{dcl list end}}
+{{dsc end}}
 [[de:cpp/concept/CopyAssignable]]