std::ranges::uninitialized_fill_n

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 );

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 );

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

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

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

Параметры

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

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

Исключения

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

Примечания

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

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

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

См. также