1.2 KiB
1.2 KiB
[concept.default.init]
18 Concepts library [concepts]
18.4 Language-related concepts [concepts.lang]
18.4.12 Concept default_initializable [concept.default.init]
`template constexpr bool is-default-initializable = see below; // exposition only
template concept default_initializable = constructible_from && requires { T{}; } && is-default-initializable; `
For a type T, is-default-initializable is true if and only if the variable definitionT t; is well-formed for some invented variable t; otherwise it is false.
Access checking is performed as if in a context unrelated to T.
Only the validity of the immediate context of the variable initialization is considered.