Namespaces
Variants
Views
Actions

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

From cppreference.com
< cpp‎ | named req
m (Shorten template names. Use {{lc}} where appropriate.)
m (Update links.)
Line 31: Line 31:
 
===See also===
 
===See also===
 
{{dsc begin}}
 
{{dsc begin}}
{{dsc inc | cpp/types/dcl list is_copy_assignable}}
+
{{dsc inc | cpp/types/dsc is_copy_assignable}}
 
{{dsc end}}
 
{{dsc end}}
  

Revision as of 21:49, 31 May 2013

Template:cpp/concept/title Template:cpp/concept/navbar

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 );
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.

See also

checks if a type has a copy assignment operator
(class template) [edit]