etl::default_initializable Concept Reference

The default_initializable concept checks whether variables of type T can be value-initialized (T() is well-formed); direct-list-initialized from an empty initializer list (T{} is well-formed); and default-initialized (T t; is well-formed). 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. More...

#include <default_initializable.hpp>

Concept definition

template<typename T>
concept etl::default_initializable = 
  constructible_from<T> &&
  requires { T {}; } &&
  requires { ::new (static_cast<void*>(nullptr)) T; }

Detailed Description

The default_initializable concept checks whether variables of type T can be value-initialized (T() is well-formed); direct-list-initialized from an empty initializer list (T{} is well-formed); and default-initialized (T t; is well-formed). 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.