std::uninitialized_fill_n — cppreference.com

Материал из cppreference.com

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

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, "Пример");

    for (std::string* i = p; i != p + sz; ++i)
    {
        std::cout << *i << '\n';
        i->~basic_string<char>();
    }
    std::return_temporary_buffer(p);
}

Вывод:

Пример
Пример
Пример
Пример

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
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` хранилище	запрещено

Смотрите также

Категории: