Spec-Zone.ru › C++

std::uninitialized_fill

Определено в заголовке <memory>
template< class ForwardIt, class T >
void uninitialized_fill( ForwardIt first, ForwardIt last, const T& value );
(1)
template< class ExecutionPolicy, class ForwardIt, class T >
void uninitialized_fill( ExecutionPolicy&& policy,
                         ForwardIt first, ForwardIt last, const T& value );
(2) (с C++17)
1) Копирует заданное значение value в область памяти без инициализации, определённую диапазоном [first, last) так, как если бы это делалось с помощью for (; first != last; ++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, last - диапазон элементов для инициализации
value - значение для построения элементов
policy - политика выполнения. Подробности см. в политике выполнения.
Требования к типу
-ForwardIt должно удовлетворять требованиям LegacyForwardIterator.
-Не должно быть исключений при инкременте, присваивании, сравнении или косвенном обращении к допустимым экземплярам ForwardIt. Применение &* к значению ForwardIt должно возвращать указатель на его тип значения.(до C++11)

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

(нет)

Сложность

Линейная по расстоянию между first и last.

Исключения

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

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

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

template<class ForwardIt, class T>
void uninitialized_fill(ForwardIt first, ForwardIt last, const T& value)
{
    using V = typename std::iterator_traits<ForwardIt>::value_type;
    ForwardIt 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++.

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

См. также

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

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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API