std::uninitialized_fill
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <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) это:
|
(до C++11) |
|
(начиная с 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, "Пример");
for (std::string* i = p; i != p + sz; ++i)
{
std::cout << *i << '\n';
i->~basic_string<char>();
}
alloc.deallocate(p, sz);
}
Вывод:
Пример
Пример
Пример
Пример
Отчёты о дефектах
Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:
| Номер | Применён | Поведение в стандарте | Корректное поведение |
|---|---|---|---|
| LWG 866 | C++98 | учитывая T в качестве типа значения ForwardIt, еслиT::operator new существует, программа может бытьнекорректной |
вместо этого использует глобальный размещающий-new |
| LWG 2433 | C++11 | этот алгоритм может быть взломан перегруженным operator&
|
использует std::addressof |
| LWG 3870 | C++20 | этот алгоритм может создавать объекты в const хранилище
|
запрещено |
Смотрите также
| копирует объект в неинициализированную область памяти, определяемую началом и количеством (шаблон функции) | |
(C++20) |
копирует объект в неинициализированную область памяти, определяемую диапазоном (ниблоид) |