Przejdź do głównej zawartości

C++ named requirements: DefaultConstructible

Specifies that an instance of the type can be default constructed.

Requirements

The type T satisfies DefaultConstructible if
Given

  • u, an arbitrary identifier

The following expressions must be valid and have their specified effects

pubExpressionPost-conditions
pubT u;The object u is default-initialized
pubT u;The object u is value-initialized or aggregate-initialized
pubT()
T{}
A temporary object of type T is value-initialized or aggregate-initialized

Notes

For objects of non-aggregate class type, a public default constructor must be defined (either user-defined or implicitly defined) to satisfy DefaultConstructible.

Non-const objects of non-class object type are always DefaultConstructible.

Const non-class types are not DefaultConstructible.

Const aggregate types are not DefaultConstructible if any of their members is an object of non-class type.

Non-object types (function types, reference types, and the (possibly cv-qualified) type void) as well as the const non-object types are never DefaultConstructible

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DRApplied toBehavior as publishedCorrect behavior
LWG 724C++98the requirements of DefaultConstructible were missingadded

C++ named requirements: DefaultConstructible

Specifies that an instance of the type can be default constructed.

Requirements

The type T satisfies DefaultConstructible if
Given

  • u, an arbitrary identifier

The following expressions must be valid and have their specified effects

pubExpressionPost-conditions
pubT u;The object u is default-initialized
pubT u;The object u is value-initialized or aggregate-initialized
pubT()
T{}
A temporary object of type T is value-initialized or aggregate-initialized

Notes

For objects of non-aggregate class type, a public default constructor must be defined (either user-defined or implicitly defined) to satisfy DefaultConstructible.

Non-const objects of non-class object type are always DefaultConstructible.

Const non-class types are not DefaultConstructible.

Const aggregate types are not DefaultConstructible if any of their members is an object of non-class type.

Non-object types (function types, reference types, and the (possibly cv-qualified) type void) as well as the const non-object types are never DefaultConstructible

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DRApplied toBehavior as publishedCorrect behavior
LWG 724C++98the requirements of DefaultConstructible were missingadded