Spec-Zone.ru › C++

std::ranges::uninitialized_fill_n

Определён в заголовочном файле <memory>
Сигнатура вызова
template< /*nothrow-forward-iterator*/ I, class T >
    requires std::constructible_from<std::iter_value_t<I>, const T&>
I uninitialized_fill_n( I first, std::iter_difference_t<I> count,
                        const T& value );
(1) (начиная с C++20)
(constexpr начиная с C++26)
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I,
          class T = std::iter_value_t<I> >
    requires std::constructible_from<std::iter_value_t<I>, const T&>
I uninitialized_fill_n( Ep&& exec, I first, std::iter_difference_t<I> count,
                        const T& value );
(2) (начиная с C++26)

Определение /*execution-policy*/ см. на этой странице; определения других концепций, используемых только для описания, см. на этой странице.

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

return ranges::uninitialized_fill(std::counted_iterator(first, count),                                   std::default_sentinel, value).base();

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

Функциональные объекты, описанные на этой странице, являются функциональными объектами алгоритмов (неформально известными как ниеблоиды

  • При вызове любого из них нельзя указывать явные списки аргументов шаблона.
  • Ни один из них не виден для поиска, зависящего от аргументов.
  • Если любой из них найден посредством обычного неквалифицированного поиска как имя слева от оператора вызова функции, поиск, зависящий от аргументов, подавляется.

Параметры

first - начало диапазона элементов, которые нужно инициализировать
count - количество элементов для конструирования
value - значение, которым нужно сконструировать элементы
policy - политика выполнения, которую нужно использовать

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

Как описано выше.

Исключения

Любое исключение, выброшенное при конструировании элементов в целевом диапазоне.

2) Во время выполнения:
  • Если временные ресурсы памяти, необходимые для распараллеливания, недоступны, выбрасывается std::bad_alloc.
  • Если при обращении к объектам через аргумент алгоритма выбрасывается неперехваченное исключение, поведение определяется политикой выполнения (для стандартных политик вызывается std::terminate).

Примечания

Реализация может повысить эффективность ranges::uninitialized_fill_n (например, используя ranges::fill_n), если тип значения выходного диапазона является TrivialType.

Макрос проверки поддержки возможностей Значение Стандарт Возможность
__cpp_lib_parallel_algorithm 202506L (C++26) Параллельные алгоритмы для диапазонов
__cpp_lib_raw_memory_algorithms 202411L (C++26) constexpr для специализированных алгоритмов <memory>, (1)

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

struct uninitialized_fill_n_fn
{
    template</*nothrow-forward-range*/ I, class T>
        requires std::constructible_from<std::iter_value_t<I>, const T&>
    constexpr I operator()(I first, std::iter_difference_t<I> count,
                           const T& value) const
    {
        I rollback{first};
        try
        {
            for (; count-- > 0; ++first)
                ranges::construct_at(std::addressof(*first), value);
            return first;
        }
        catch (...) // rollback: destroy constructed elements
        {
            for (; rollback != first; ++rollback)
                ranges::destroy_at(std::addressof(*rollback));
            throw;
        }
    }
};

inline constexpr uninitialized_fill_n_fn uninitialized_fill_n{};

Пример

#include <iostream>
#include <memory>
#include <string>

int main()
{
    constexpr int n{3};
    alignas(alignof(std::string)) char out[n * sizeof(std::string)];
    
    try
    {
        auto first{reinterpret_cast<std::string*>(out)};
        auto last = std::ranges::uninitialized_fill_n(first, n, "cppreference");
        
        for (auto it{first}; it != last; ++it)
            std::cout << *it << '\n';
        
        std::ranges::destroy(first, last);
    }
    catch (...)
    {
        std::cout << "Exception!\n";
    }
}

Вывод:

cppreference
cppreference
cppreference

См. также

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

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

Spec-Zone.ru

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