std:: default_initializable

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

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

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

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

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

Ссылки

Смотрите также