DefaultConstructible [Concepts]

Detailed Description

A type is DefaultConstructible if it has a default constructor, that is, if it is possible to construct an object of that type without initializing the object to any particular value.

Refinement Of:

Associated Types:

Notation:

X	A type that is a model of DefaultConstructible
x	An object of type X

Definitions:

Valid Expressions:

Name	Expression	Type requirements	Return type
Default constructor	X()		X
Default constructor	X x; [1]

Expression Semantics:

Name	Expression	Precondition	Semantics	Postcondition
Default constructor	X()
Default constructor	X x;

Complexity Guarantees:

Type(s) Modeling this Concept:

• int
• adobe::name_t
• adobe::copy_on_write

Notes:

[1] The form X x = X() is not guaranteed to be a valid expression, because it uses a copy constructor. A type that is DefaultConstructible is not necessarily Assignable

See Also:

• Assignable