std::ranges::uninitialized_value_construct

Определено в заголовке <memory>

Подпись вызова

Определено в заголовке `<memory>`
Подпись вызова
template< no-throw-forward-iterator I, no-throw-sentinel-for<I> S > requires std::default_initializable<std::iter_value_t<I>> I uninitialized_value_construct( I first, S last );	(1)	(с C++20)
template< no-throw-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)

template< no-throw-forward-iterator I, no-throw-sentinel-for<I> S >
requires std::default_initializable<std::iter_value_t<I>>
I uninitialized_value_construct( I first, S last );

(1)

(с C++20)

template< no-throw-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)

1) Создаёт объекты типа std::iter_value_t<I> в неинициализированном хранилище, обозначенном диапазоном [first, last) с помощью инициализации значением, как если бы это было сделано с помощью

for (; first != last; ++first)
    ::new (static_cast<void*>(std::addressof(*first)))
        std::remove_reference_t<std::iter_reference_t<I>>();

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

2) Аналогично (1), но использует r в качестве диапазона, как если бы использовалось ranges::begin(r) в качестве first, и ranges::end(r) в качестве last.

Функциональные сущности, описанные на этой странице, являются неблоидами, то есть:

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

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

Параметры

first, last	-	Пара iterator-sentinel, определяющая диапазон элементов, которые необходимо инициализировать значением
r	-	Диапазон элементов, которые необходимо инициализировать значением

Значение возврата

Итератор, равный last.

Сложность

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

Исключение

Исключение, сгенерированное при создании элементов в целевом диапазоне, если таковое имеется.

Примечания

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

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

struct uninitialized_value_construct_fn
{
    template<no-throw-forward-iterator I, no-throw-sentinel-for<I> S>
    requires std::default_initializable<std::iter_value_t<I>>
    I operator()(I first, S last) const
    {
        using T = std::remove_reference_t<std::iter_reference_t<I>>;
        if constexpr (std::is_trivial_v<T> && std::is_copy_assignable_v<T>)
            return ranges::fill(first, last, T());
        I rollback{first};
        try
        {
            for (; !(first == last); ++first)
                ::new (const_cast<void*>(static_cast<const volatile void*>
                    (std::addressof(*first)))) T();
            return first;
        }
        catch (...) // rollback: destroy constructed elements
        {
            for (; rollback != first; ++rollback)
                ranges::destroy_at(std::addressof(*rollback));
            throw;
        }
    }
 
    template<no-throw-forward-range R>
    requires std::default_initializable<ranges::range_value_t<R>>
    ranges::borrowed_iterator_t<R>
    operator()(R&& r) const
    {
        return (*this)(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";
    }
 
    // Notice that for "trivial types" the 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

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

Следующие отчёты о дефектах, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применено к	Поведение, опубликованное	Корректное поведение
LWG 3870	C++20	Этот алгоритм мог создавать объекты в const хранилище	осталось запрещённым

См. также

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/w/cpp/memory/ranges/uninitialized_value_construct