std::uninitialized_default_construct
С ru.cppreference.net
| Определён в заголовке <memory>
|
||
template< class NoThrowForwardIt >
void uninitialized_default_construct( NoThrowForwardIt first,
NoThrowForwardIt last );
|
(1) | (начиная с C++17) (constexpr начиная с C++26) |
template< class ExecutionPolicy, class NoThrowForwardIt >
void uninitialized_default_construct( ExecutionPolicy&& policy,
NoThrowForwardIt first,
NoThrowForwardIt last );
|
(2) | (начиная с C++17) |
1) Создаёт элементы в целевом диапазоне
[first, last) посредством инициализации по умолчанию как если бы
for (; first != last; ++first)
::new (voidify(*first))
typename std::iterator_traits<NoThrowForwardIt>::value_type;
Если во время инициализации выбрасывается исключение, уже созданные объекты уничтожаются в неопределённом порядке.
2) То же, что и (1), но выполняется в соответствии с
policy. Эта перегрузка участвует в разрешении перегрузок только если значение следующего выражения равно
true:
|
|
(до C++20) |
|
|
(начиная с C++20) |
Параметры
| first, last | - | пара итераторов, определяющих диапазон элементов для инициализации |
| policy | - | политика выполнения для использования |
| Требования к типам | ||
-
NoThrowForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
не должны выбрасывать исключения.
|
||
Исключения
2) Во время процесса выполнения:
- Если временные ресурсы памяти, необходимые для распараллеливания, недоступны, std::bad_alloc выбрасывается.
- Если необработанное исключение выбрасывается при доступе к объектам через аргумент алгоритма, поведение определяется политикой выполнения (для стандартных политик вызывается std::terminate).
Примечания
| Проверка возможности макрос | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr для специализированных <memory>алгоритмов, (1)
|
Возможная реализация
template<class NoThrowForwardIt> constexpr void uninitialized_default_construct(NoThrowForwardIt first, NoThrowForwardIt last) { using Value = typename std::iterator_traits<NoThrowForwardIt>::value_type; NoThrowForwardIt current = first; try { for (; current != last; ++current) { ::new (static_cast<void*>(std::addressof(*current))) Value; } } catch (...) { std::destroy(first, current); throw; } } |
Пример
Запустить этот код
#include <cstring> #include <iostream> #include <memory> #include <string> struct S { std::string m{"Default value"}; }; int main() { constexpr int n{3}; alignas(alignof(S)) unsigned char mem[n * sizeof(S)]; try { auto first{reinterpret_cast<S*>(mem)}; auto last{first + n}; std::uninitialized_default_construct(first, last); for (auto it{first}; it != last; ++it) std::cout << it->m << '\n'; std::destroy(first, last); } catch (...) { std::cout << "Exception!\n"; } // Для скалярных типов uninitialized_default_construct // обычно не заполняет нулями указанную неинициализированную область памяти. int v[]{1, 2, 3, 4}; const int original[]{1, 2, 3, 4}; std::uninitialized_default_construct(std::begin(v), std::end(v)); // Возможно неопределенное поведение, ожидается разрешение CWG 1997. // for (const int i : v) // std::cout << i << ' '; // Результат не определен. std::cout << (std::memcmp(v, original, sizeof(v)) == 0 ? "Unmodified\n" : "Modified\n"); }
Возможный вывод:
Default value Default value Default value Unmodified
Смотрите также
|
создаёт объекты с помощью
default-initialization
в неинициализированной области памяти, заданной началом и количеством
(шаблон функции) |
|
|
(C++17)
|
создаёт объекты с помощью
value-initialization
в неинициализированной области памяти, заданной диапазоном
(шаблон функции) |
|
создаёт объекты с помощью
default-initialization
в неинициализированной области памяти, заданной диапазоном
(функциональный объект алгоритма) |