std::uninitialized_fill_n

Определён в заголовке <memory>

Определён в заголовке `<memory>`
template< class NoThrowForwardIt, class Size, class T > NoThrowForwardIt uninitialized_fill_n( NoThrowForwardIt first, Size count, const T& value );	(1)	(constexpr с C++26)
template< class ExecutionPolicy, class NoThrowForwardIt, class Size, class T > NoThrowForwardIt uninitialized_fill_n( ExecutionPolicy&& policy, NoThrowForwardIt first, Size count, const T& value );	(2)	(с C++17)

template< class NoThrowForwardIt, class Size, class T >
NoThrowForwardIt uninitialized_fill_n( NoThrowForwardIt first,
                                       Size count, const T& value );

(1)

(constexpr с C++26)

template< class ExecutionPolicy,
          class NoThrowForwardIt, class Size, class T >
NoThrowForwardIt uninitialized_fill_n( ExecutionPolicy&& policy,
                                       NoThrowForwardIt first,
                                       Size count, const T& value );

(2)

(с C++17)

1) Конструирует первые count элементы в диапазоне назначения, начинающемся с first, с заданным значением value, как если бы выполнялось

for(;count--;++first) ::new(voidify(*first)) typenamestd::iterator_traits<NoThrowForwardIt>::value_type(value); returnfirst;

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

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	-	начало диапазона элементов для инициализации
count	-	количество конструируемых элементов
value	-	значение, с которым конструируются элементы
Требования к типам
-`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 Size, class T>
constexpr NoThrowForwardIt uninitialized_fill_n(NoThrowForwardIt first,
                                                Size count, const T& value)
{
    using V = typename std::iterator_traits<NoThrowForwardIt>::value_type;
    NoThrowForwardIt current = first;
    try
    {
        for (; count > 0; ++current, (void) --count)
            ::new (static_cast<void*>(std::addressof(*current))) V(value);
        return current;
    }
    catch (...)
    {
        for (; first != current; ++first)
            first->~V();
        throw;
    }
    return current;
}

Пример

#include <algorithm>
#include <iostream>
#include <memory>
#include <string>
#include <tuple>

int main()
{
    std::string* p;
    std::size_t sz;
    std::tie(p, sz) = std::get_temporary_buffer<std::string>(4);
    std::uninitialized_fill_n(p, sz, "Example");
    
    for (std::string* i = p; i != p + sz; ++i)
    {
        std::cout << *i << '\n';
        i->~basic_string<char>();
    }
    std::return_temporary_buffer(p);
}

Вывод:

Example
Example
Example
Example

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.

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

См. также

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

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