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