std::uninitialized_default_construct
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <memory>
|
||
template< class ForwardIt > void uninitialized_default_construct( ForwardIt first, ForwardIt last ); |
(1) | (начиная с C++17) |
template< class ExecutionPolicy, class ForwardIt > void uninitialized_default_construct( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last ); |
(2) | (начиная с C++17) |
1) Создаёт объекты типа
std::typename iterator_traits<ForwardIt>::value_type в неинициализированном хранилище, определяемом диапазоном [first, last) инициализацией по умолчанию, как если бы
for (; first != last; ++first)::new (static_cast<void*>(std::addressof(*first)))typename std::iterator_traits<ForwardIt>::value_type;
Если во время инициализации возникает исключение, уже созданные объекты уничтожаются в неопределённом порядке.
2) То же, что и (1), но выполняется в соответствии с
policy. Эта перегрузка не участвует в разрешении перегрузки, если только |
|
(до C++20) |
|
|
(начиная с C++20) |
Параметры
| first, last | — | диапазон элементов для инициализации |
| policy | — | используемая политика выполнения. Подробнее смотрите политика выполнения. |
| Требования к типам | ||
-ForwardIt должен соответствовать требованиям LegacyForwardIterator.
| ||
-Никакое инкрементирование, присваивание, сравнение или косвенное обращение через действительные экземпляры ForwardIt не могут вызывать исключения.
| ||
Возвращаемое значение
(нет)
Сложность
Линейная по расстоянию между first и last.
Исключения
Перегрузка с параметром шаблона по имени ExecutionPolicy сообщает об ошибках следующим образом:
- Если выполнение функции, вызванной как часть алгоритма, вызывает исключение и
ExecutionPolicyявляется одной из стандартных политик, вызывается std::terminate. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удаётся выделить память, генерируется std::bad_alloc.
Возможная реализация
template<class ForwardIt>
void uninitialized_default_construct(ForwardIt first, ForwardIt last)
{
using Value = typename std::iterator_traits<ForwardIt>::value_type;
ForwardIt current = first;
try
{
for (; current != last; ++current)
{
::new (const_cast<void*>(static_cast<const volatile void*>(
std::addressof(*current)))) Value;
}
}
catch (...)
{
std::destroy(first, current);
throw;
}
}
|
Пример
Запустить этот код
#include <cstring>
#include <iostream>
#include <memory>
#include <string>
struct S
{
std::string m{"Значение по умолчанию"};
};
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 << "Исключение!\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 ? "Неизменённый\n" : "Изменённый\n");
}
Возможный вывод:
Значение по умолчанию
Значение по умолчанию
Значение по умолчанию
Неизменённый
Отчёты о дефектах
Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:
| Номер | Применён | Поведение в стандарте | Корректное поведение |
|---|---|---|---|
| LWG 3870 | C++20 | этот алгоритм может создавать объекты в const хранилище
|
запрещено |
Смотрите также
| создаёт объекты инициализацией по умолчанию в неинициализированной области памяти, определяемой началом и количеством (шаблон функции) | |
| создаёт объекты инициализацией значением в неинициализированной области памяти, определяемой диапазоном (шаблон функции) | |
| создаёт объекты инициализацией по умолчанию в неинициализированной области памяти, определяемой диапазоном (ниблоид) |