DefaultConstructible

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 Type(s)

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 Guarantee(s)

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