std::uninitialized_fill
С ru.cppreference.net
| Определён в заголовке <memory>
|
||
template< class NoThrowForwardIt, class T >
void uninitialized_fill( NoThrowForwardIt first,
NoThrowForwardIt last, const T& value );
|
(1) | (constexpr начиная с C++26) |
template< class ExecutionPolicy, class NoThrowForwardIt, class T >
void uninitialized_fill( ExecutionPolicy&& policy,
NoThrowForwardIt first,
NoThrowForwardIt last, const T& value );
|
(2) | (начиная с C++17) |
1) Создаёт элементы в целевом диапазоне
[first, last) с заданным значением value как если бы с помощью
for (; first != last; ++first)
::new (voidify(*first))
typename std::iterator_traits<NoThrowForwardIt>::value_type(value);
Если во время инициализации выбрасывается исключение, уже созданные объекты уничтожаются в неопределённом порядке.
2) То же, что и (1), но выполняется в соответствии с
policy. Эта перегрузка участвует в разрешении перегрузки только если значение следующего выражения равно
true:
|
|
(до C++20) |
|
|
(начиная с C++20) |
Параметры
| first, last | - | пара итераторов, определяющих диапазон элементов для инициализации |
| value | - | значение, используемое для конструирования элементов |
| policy | - | политика выполнения для использования |
| Требования к типам | ||
-
NoThrowForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
не должны генерировать исключения.
Применение
&
*
к значению
NoThrowForwardIt
должно давать указатель на его тип значения.
(до C++11)
|
||
Исключения
2) Во время выполнения:
- Если временные ресурсы памяти, необходимые для параллелизации, недоступны, std::bad_alloc выбрасывается.
- Если необработанное исключение выбрасывается при доступе к объектам через аргумент алгоритма, поведение определяется политикой выполнения (для стандартных политик, std::terminate вызывается).
Примечания
| проверки возможности макрос | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr для специализированных <memory> алгоритмов, (1)
|
Возможная реализация
template<class NoThrowForwardIt, class T> constexpr void uninitialized_fill(NoThrowForwardIt first, NoThrowForwardIt last, const T& value) { using V = typename std::iterator_traits<NoThrowForwardIt>::value_type; NoThrowForwardIt current = first; try { for (; current != last; ++current) ::new (static_cast<void*>(std::addressof(*current))) V(value); } catch (...) { for (; first != current; ++first) first->~V(); throw; } } |
` и `` оставлен без изменений, как и требовалось. HTML-разметка и атрибуты также сохранены в оригинальном виде.
Пример
Запустить этот код
#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 в качестве типа значения NoThrowForwardIt, если T::operator new существует, программа может быть некорректной
|
использует глобальное размещение new вместо
|
| LWG 2433 | C++11 | этот алгоритм может быть перехвачен перегруженным operator&
|
использует std::addressof |
Смотрите также
|
копирует объект в неинициализированную область памяти, определяемую началом и количеством
(шаблон функции) |
|
|
(C++20)
|
копирует объект в неинициализированную область памяти, определяемую диапазоном
(функциональный объект алгоритма) |