std::ranges::uninitialized_value_construct

Определён в заголовочном файле `<memory>`
Сигнатура вызова
template< /nothrow-forward-iterator/ I, /nothrow-sentinel-for/<I> S > requires std::default_initializable<std::iter_value_t<I>> I uninitialized_value_construct( I first, S last );	(1)	(начиная с C++20) (constexpr начиная с C++26)
template< /nothrow-forward-range/ R > requires std::default_initializable<ranges::range_value_t<R>> ranges::borrowed_iterator_t<R> uninitialized_value_construct( R&& r );	(2)	(начиная с C++20) (constexpr начиная с C++26)
template< /execution-policy/ Ep, /nothrow-random-access-iterator/ I, /nothrow-sized-sentinel-for/<I> S > requires std::default_initializable<std::iter_value_t<I>> I uninitialized_value_construct( Ep&& policy, I first, S last );	(3)	(начиная с C++26)
template< /execution-policy/ Ep, /nothrow-sized-random-access-range/ R > requires std::default_initializable<ranges::range_value_t<R>> ranges::borrowed_iterator_t<R> uninitialized_value_construct( Ep&& policy, R&& r );	(4)	(начиная с C++26)

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

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

for(;first!=last;++first) ::new(voidify(*first)) std::remove_reference_t<std::iter_reference_t<I>>(); returnfirst;

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

2) То же, что (1), но в качестве целевого диапазона используется r.

3,4) То же, что (1,2), но выполняется согласно policy.

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

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

Параметры

first, last	-	пара итератора и сентинела, задающая диапазон элементов для инициализации значением
r	-	`range` элементов для инициализации значением
policy	-	политика выполнения для использования

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

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

Исключения

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

3,4) Во время выполнения:

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

Примечания

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

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

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

struct uninitialized_value_construct_fn
{
    template</*nothrow-forward-iterator*/ I, /*nothrow-sentinel-for*/<I> S>
        requires std::value_initializable<std::iter_value_t<I>>
    constexpr I operator()(I first, S last) const
    {
        using value_type = std::remove_reference_t<std::iter_reference_t<I>>;
        if constexpr (std::is_trivially_default_constructible_v<value_type>)
            return ranges::fill(first, last, ValueType());
        I rollback{first};
        try
        {
            for (; !(first == last); ++first)
                ::new (static_cast<void*>(std::addressof(*first))) value_type();
            return first;
        }
        catch (...) // rollback: destroy constructed elements
        {
            for (; rollback != first; ++rollback)
                ranges::destroy_at(std::addressof(*rollback));
            throw;
        }
    }
    
    template</*nothrow-forward-range*/ R>
        requires std::default_initializable<ranges::range_value_t<R>>
    constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const
    {
        return (*this)(ranges::begin(r),
                       ranges::next(ranges::begin(r), ranges::end(r)));
    }
};

inline constexpr uninitialized_value_construct_fn uninitialized_value_construct{};

Пример

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

int main()
{
    struct S { std::string m{"▄▀▄▀▄▀▄▀"}; };
    
    constexpr int n{4};
    alignas(alignof(S)) char out[n * sizeof(S)];
    
    try
    {
        auto first{reinterpret_cast<S*>(out)};
        auto last{first + n};
        
        std::ranges::uninitialized_value_construct(first, last);
        
        auto count{1};
        for (auto it{first}; it != last; ++it)
            std::cout << count++ << ' ' << it->m << '\n';
        
        std::ranges::destroy(first, last);
    }
    catch (...)
    {
        std::cout << "Exception!\n";
    }
    
    // For scalar types, uninitialized_value_construct
    // zero-fills the given uninitialized memory area.
    int v[]{0, 1, 2, 3};
    std::cout << ' ';
    for (const int i : v)
        std::cout << ' ' << static_cast<char>(i + 'A');
    std::cout << "\n ";
    std::ranges::uninitialized_value_construct(std::begin(v), std::end(v));
    for (const int i : v)
        std::cout << ' ' << static_cast<char>(i + 'A');
    std::cout << '\n';
}

Вывод:

1 ▄▀▄▀▄▀▄▀
2 ▄▀▄▀▄▀▄▀
3 ▄▀▄▀▄▀▄▀
4 ▄▀▄▀▄▀▄▀
  A B C D
  A A A A

См. также

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

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