cpp/named req/DefaultConstructible

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

Requirements
The type satisfies  if

Given
 * , an arbitrary identifier

The following expressions must be valid and have their specified effects