std::ranges::uninitialized_value_construct_n
| Определено в заголовочном файле <memory>
|
||
| Сигнатура вызова |
||
template< прямой-итератор-без-исключения I > requires std::default_initializable<std::iter_value_t<I>> I uninitialized_value_construct_n( I first, std::iter_difference_t<I> n ); |
(начиная с C++20) | |
Создаёт n объектов типа std::iter_value_t<I> в неинициализированной области памяти, начиная с first инициализацией значением, как если бы
for (; n-- > 0; ++first)::new (static_cast<void*>(std::addressof(*first)))std::remove_reference_t<std::iter_reference_t<I>>();
Если во время инициализации генерируется исключение, уже созданные объекты уничтожаются в неопределённом порядке.
Функционально-подобные объекты, описанные на этой странице, являются ниблоидами, то есть:
- Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
- Ни один из них не виден для поиска, зависящего от аргумента.
- Когда какой-либо из них обнаруживается обычным неквалифицированным поиском по имени слева от оператора вызова функции, поиск, зависящий от аргумента запрещён.
На практике они могут быть реализованы как функциональные объекты или со специальными расширениями компилятора.
Параметры
| first | — | начало диапазона элементов для инициализации |
| n | — | количество элементов для создания |
Возвращаемое значение
Конец диапазона объектов (т.е. ranges::next(first, n)).
Сложность
Линейная по n.
Исключения
Исключение, генерируемое при создании элементов в целевом диапазоне, если таковые имеются.
Примечание
Реализация может повысить эффективность ranges::uninitialized_value_construct_n, например используя ranges::fill_n, если тип значений диапазона TrivialType и CopyAssignable.
Возможная реализация
struct uninitialized_value_construct_n_fn
{
template<прямой-итератор-без-исключения I>
requires std::default_initializable<std::iter_value_t<I>>
I operator()(I first, std::iter_difference_t<I> n) 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_n(first, n, T());
I rollback{first};
try
{
for (; n-- > 0; ++first)
::new (const_cast<void*>(static_cast<const volatile void*>
(std::addressof(*first)))) T();
return first;
}
catch (...) // откат: уничтожить созданные элементы
{
for (; rollback != first; ++rollback)
ranges::destroy_at(std::addressof(*rollback));
throw;
}
}
};
inline constexpr uninitialized_value_construct_n_fn uninitialized_value_construct_n{};
|
Пример
#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 = std::ranges::uninitialized_value_construct_n(first, n);
auto count{1};
for (auto it{first}; it != last; ++it)
std::cout << count++ << ' ' << it->m << '\n';
std::ranges::destroy(first, last);
}
catch (...)
{
std::cout << "Исключение!\n";
}
// Обратите внимание, что для "тривиальных типов" uninitialized_value_construct_n
// инициализирует нулём данную неинициализированную область памяти.
int v[]{1, 2, 3, 4, 5, 6, 7, 8};
std::cout << ' ';
for (const int i : v)
std::cout << i << ' ';
std::cout << "\n ";
std::ranges::uninitialized_value_construct_n(std::begin(v), std::size(v));
for (const int i : v)
std::cout << i << ' ';
std::cout << '\n';
}
Вывод:
1 █▓▒░ █▓▒░ █▓▒░
2 █▓▒░ █▓▒░ █▓▒░
3 █▓▒░ █▓▒░ █▓▒░
4 █▓▒░ █▓▒░ █▓▒░
1 2 3 4 5 6 7 8
0 0 0 0 0 0 0 0
Отчёты о дефектах
Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:
| Номер | Применён | Поведение в стандарте | Корректное поведение |
|---|---|---|---|
| LWG 3870 | C++20 | этот алгоритм может создавать объекты в const хранилище
|
запрещено |
Смотрите также
| создаёт объекты инициализацией значением в неинициализированной области памяти, определяемой диапазоном (ниблоид) | |
| создаёт объекты инициализацией по умолчанию в неинициализированной области памяти, определяемой диапазоном (ниблоид) | |
| создаёт объекты инициализацией по умолчанию в неинициализированной области памяти, определяемой началом и количеством (ниблоид) | |
| создаёт объекты инициализацией значением в неинициализированной области памяти, определяемой началом и количеством (шаблон функции) |