Namespaces
Variants
Views
Actions

cpp/named req/CopyConstructible

From cppreference.com
< cpp‎ | named req
Revision as of 15:28, 24 May 2013 by 60.242.79.175 (Talk)

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

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

Type::Type( const volatile 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:

Expression Effects
Type a = v; a is equivalent to v, where v is an instance of Type. v must be unchanged.
Type(v); a temporary object of type Type is equivalent to v, where v is an instance of Type. v must be unchanged.

See also

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