CopyConstructible<T> Concept

Requires a type to have a user defined or compiler generated copy constructor or be of a basic type. A compiler can generate a copy constructor if the class has no suppressed copy constructor and no member variables of a move-only type.

Definition

Line 16 of System.Base/Concept.cm

Type Parameters

T

Constraints

T(const T&)

Axioms

axiom copyIsEqual(T a)
 {
     eq(T(a), a)
 }