std::uninitialized_fill

Определён в заголовочном файле <memory>

Определён в заголовочном файле `<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)

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)) typenamestd::iterator_traits<NoThrowForwardIt>::value_type(value);

Если во время инициализации возникает исключение, уже сконструированные объекты уничтожаются в неуказанном порядке.

2) То же, что и (1), но выполнение осуществляется в соответствии с policy.

Эта перегрузка участвует в разрешении перегрузки, только если значение следующего выражения равно true:

`std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>`	(до C++20)
`std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>`	(с 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;
    }
}

Пример

#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++.

Отчёт об ошибке	Применяется к	Поведение согласно опубликованной версии	Корректное поведение
LWG 866	C++98	если `T` является типом значения `NoThrowForwardIt`, то при наличии T::operatornew программа может быть некорректной	вместо этого используется глобальный размещающий new
LWG 2433	C++11	этот алгоритм мог быть перехвачен перегруженным operator&	используется `std::addressof`

См. также

uninitialized_fill_n	копирует объект в неинициализированную область памяти, заданную начальной позицией и количеством (шаблон функции и функциональный объект алгоритма)
ranges::uninitialized_fill_n (C++20)
ranges::uninitialized_fill (C++20)	копирует объект в неинициализированную область памяти, заданную диапазоном (функциональный объект алгоритма)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/memory/uninitialized_fill