std::default_initializable

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека концептов

Основные концепты языка same_as derived_from convertible_to common_reference_with      common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

Концепты сравнения equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Концепты объектов movable copyable semiregular regular Вызываемые концепты invocableregular_invocable predicate relation equivalence_relation strict_weak_order

Концепты только для экспозиции boolean-testable

 

<tbody> </tbody>

Определено в заголовочном файле <concepts>
template < class T > concept default_initializable = std::constructible_from<T> && requires { T{}; } && /* T t; корректно, смотрите ниже */;		(начиная с C++20)

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

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

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

Возможное использование

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

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

constructible_from (C++20)	указывает, что переменная типа может быть создана из набора или привязана к типам аргументов (концепт)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)	проверяет, есть ли у типа конструктор по умолчанию (шаблон класса)