std::default_initializable

template< class T >
concept default_initializable = std::constructible_from<T> && requires { T{}; } && 
                                /* T t; is well-formed, see below */;

Концепция default_initializable проверяет, могут ли переменные типа T

• быть инициализированы значением (T() является допустимым);
• быть инициализированы списком из пустого списка инициализаторов (T{} является допустимым); и
• быть инициализированы по умолчанию (T t; является допустимым).

Проверка доступа выполняется так, как если бы она происходила в контексте, не связанном с T. Рассматривается только корректность непосредственного контекста инициализации переменной.

Возможная реализация

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

См. также