Namespaces
Variants
Views
Actions

std::default_initializable (since C++20)

From cppreference.com
< cpp‎ | concepts
Revision as of 09:42, 7 September 2024 by Benio (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Defined in header <concepts>
template< class T >

concept default_initializable = std::constructible_from<T> && requires { T{}; } &&

                                /* T t; is well-formed, see below */;
(since C++20)

The default_initializable concept checks whether variables of type T 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.

[edit] Possible implementation

template<class T>
concept default_initializable =
    std::constructible_from<T> &&
    requires { T{}; ::new T; };

[edit] References

  • C++23 standard (ISO/IEC 14882:2024):
  • 18.4.12 Concept default_initializable [concept.default.init]
  • C++20 standard (ISO/IEC 14882:2020):
  • 18.4.12 Concept default_initializable [concept.default.init]

[edit] See also

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]