std::uninitialized_fill
Определено в заголовке <memory> | ||
|---|---|---|
template< class ForwardIt, class T > void uninitialized_fill( ForwardIt first, ForwardIt last, const T& value ); | (1) | |
template< class ExecutionPolicy, class ForwardIt, class T >
void uninitialized_fill( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last, const T& value );
| (2) | (с C++17) |
1) Копирует заданное значение
value в область памяти без инициализации, определённую диапазоном [first, last) так, как если бы это делалось с помощью for (; first != last; ++first)
::new (/* VOIDIFY */(*first))
typename std::iterator_traits<ForwardIt>::value_type(value);
где
/* VOIDIFY */(e): static_cast<void*>(&e) | (до C++11) |
static_cast<void*>(std::addressof(e)) | (с C++11) |
Если во время инициализации возникает исключение, уже построенные объекты разрушаются в неопределённом порядке.
2) Аналогично (1), но выполняется согласно
policy. Этот перегруз не участвует в разрешении перегрузки, если |
| (до C++20) |
|
| (с C++20) |
Параметры
| first, last | - | диапазон элементов для инициализации |
| value | - | значение для построения элементов |
| policy | - | политика выполнения. Подробности см. в политике выполнения. |
| Требования к типу | ||
-ForwardIt должно удовлетворять требованиям LegacyForwardIterator. |
||
-Не должно быть исключений при инкременте, присваивании, сравнении или косвенном обращении к допустимым экземплярам ForwardIt. Применение &* к значению ForwardIt должно возвращать указатель на его тип значения.(до C++11) |
||
Возвращаемое значение
(нет)
Сложность
Линейная по расстоянию между first и last.
Исключения
Перегрузка с параметром шаблона ExecutionPolicy сообщает об ошибках следующим образом:
- Если функция, вызываемая в рамках алгоритма, выбрасывает исключение, и
ExecutionPolicy— одна из стандартных политик, вызываетсяstd::terminate. Для любой другойExecutionPolicy, поведение определяется реализацией. - Если алгоритм не может выделить память, выбрасывается
std::bad_alloc.
Возможная реализация
template<class ForwardIt, class T>
void uninitialized_fill(ForwardIt first, ForwardIt last, const T& value)
{
using V = typename std::iterator_traits<ForwardIt>::value_type;
ForwardIt current = first;
try
{
for (; current != last; ++current)
::new (static_cast<void*>(std::addressof(*current))) V(value);
}
catch (...)
{
for (; first != current; ++first)
first->~V();
throw;
}
} |
Пример
#include <algorithm>
#include <iostream>
#include <memory>
#include <string>
int main()
{
const std::size_t sz = 4;
std::allocator<std::string> alloc;
std::string* p = alloc.allocate(sz);
std::uninitialized_fill(p, p + sz, "Example");
for (std::string* i = p; i != p + sz; ++i)
{
std::cout << *i << '\n';
i->~basic_string<char>();
}
alloc.deallocate(p, sz);
}Вывод:
Example Example Example Example
Отчёты об ошибках
Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применён к | Поведение, как опубликовано | Корректное поведение |
|---|---|---|---|
| LWG 866 | C++98 | дан T в качестве типа значения для ForwardIt, еслиT::operator new существует, программа может быть некорректной | используется глобальная замена- new |
| LWG 2433 | C++11 | данный алгоритм может быть перехвачен перегруженным оператором& | используется std::addressof |
| LWG 3870 | C++20 | данный алгоритм может создавать объекты в const хранилище | остаётся недопустимым |
См. также
| копирует объект в область памяти без инициализации, определяемую началом и количеством (функция-шаблон) |
|
|
(C++20) | копирует объект в область памяти без инициализации, определённую диапазоном (не-блочный) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/memory/uninitialized_fill