std::uninitialized_fill_n

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

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

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

(1)

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

(2)

(с C++17)

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

for (; n--; ++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. Этот перегруз не участвует в разрешении перегрузки, если

`std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>` является `true`.	(до C++20)
`std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>` является `true`.	(с C++20)

Параметры

first	-	начало диапазона элементов для инициализации
count	-	количество элементов для построения
value	-	значение для построения элементов
Требования к типу
-`ForwardIt` должно удовлетворять требованиям LegacyForwardIterator.
-Ни один из операций инкремента, присваивания, сравнения или косвенного обращения через валидные экземпляры `ForwardIt` не может вызывать исключения. Применение `&*` к значению `ForwardIt` должно возвращать указатель на его тип значения.(до C++11)

Возвращаемое значение

Итератор на элемент после последнего скопированного элемента.

Сложность

Линейная по count.

Исключения

Перегрузка с параметром шаблона с именем ExecutionPolicy сообщает об ошибках следующим образом:

Если выполнение функции, вызванной в рамках алгоритма, вызывает исключение, и ExecutionPolicy является одной из стандартных политик, вызывается std::terminate. Для любой другой ExecutionPolicy, поведение определяется реализацией.
Если алгоритм не может выделить память, выбрасывается std::bad_alloc.

Возможная реализация

template<class ForwardIt, class Size, class T>
ForwardIt uninitialized_fill_n(ForwardIt first, Size count, const T& value)
{
    using V = typename std::iterator_traits<ForwardIt>::value_type;
    ForwardIt 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;
    }
}

Пример

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

DR	Применен к	Поведение, как опубликовано	Правильное поведение
LWG 866	C++98	заданный `T` как тип значения `ForwardIt`, если T::operator new существует, программа может быть некорректной	используется глобальная замена- new вместо
LWG 1339	C++98	местоположение первого элемента, следующего за диапазоном заполнения, не возвращалось	возвращалось
LWG 2433	C++11	этот алгоритм может быть перехвачен перегруженным `operator&`	используется `std::addressof`
LWG 3870	C++20	этот алгоритм может создавать объекты в хранилище `const`	осталось запрещено

См. также

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

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