|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||
Defined in header <concepts> | ||
template<class T> concept default_initializable=std::constructible_from<T>&& requires{ T{};}&& | (since C++20) | |
Thedefault_initializable concept checks whether variables of typeT can be
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.
template<class T>concept default_initializable=std::constructible_from<T>&& requires{ T{};::new T;}; |
default_initializable [concept.default.init] default_initializable [concept.default.init] (C++20) | specifies that a variable of the type can be constructed from or bound to a set of argument types (concept)[edit] |
| checks if a type has a default constructor (class template)[edit] |
