std::ranges::uninitialized_fill
С ru.cppreference.net
| Определено в заголовке <memory>
|
||
| Сигнатура вызова |
||
template< /*nothrow-forward-iterator*/ I, /*nothrow-sentinel-for*/<I> S,
class T >
requires std::constructible_from<std::iter_value_t<I>, const T&>
I uninitialized_fill( I first, S last, const T& value );
|
(1) | (начиная с C++20) (constexpr начиная с C++26) |
template< /*nothrow-forward-range*/ R, class T >
requires std::constructible_from<ranges::range_value_t<R>, const T&>
ranges::borrowed_iterator_t<R> uninitialized_fill( R&& r,
const T& value );
|
(2) | (начиная с C++20) (constexpr начиная с C++26) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I,
/*nothrow-sized-sentinel-for*/<I> S,
class T = std::iter_value_t<I> >
requires constructible_from<std::iter_value_t<I>, const T&>
I uninitialized_fill( Ep&& policy, I first, S last, const T& value );
|
(3) | (начиная с C++26) |
template< /*execution-policy*/ Ep, /*nothrow-sized-random-access-range*/ R,
class T = ranges::range_value_t<R> >
requires std::constructible_from<ranges::range_value_t<R>, const T&>
ranges::borrowed_iterator_t<R> uninitialized_fill( Ep&& policy, R&& r,
const T& value );
|
(4) | (начиная с C++26) |
Для определения /*execution-policy*/ см. эту страницу; для определения других концептов, предназначенных только для пояснения, см. эту страницу.
1) Конструирует элементы в диапазоне-назначении
[first, last) с заданным значением value как будто с помощью
for (; first != last; ++first)
::new (voidify (*first)) std::remove_reference_t<std::iter_reference_t<I>>(value);
return first;
Если во время инициализации создано исключение, уже сконструированные объекты уничтожаются в неопределённом порядке.
2) То же, что и (1), но использует
r в качестве диапазона-назначения.3,4) То же, что и (1,2), но выполняется в соответствии с
policy.Функциональные сущности, описанные на этой странице, являются объектами-функциями алгоритмов (неформально известными как niebloids), то есть:
- Явные списки аргументов шаблона не могут быть указаны при вызове любой из них.
- Ни одна из них не видна при поиске, зависящем от аргументов.
- Когда любая из них находится с помощью обычного неквалифицированного поиска в качестве имени слева от оператора вызова функции, поиск, зависящий от аргументов, подавляется.
Параметры
| first, last | - | пара итератор-страж, определяющая диапазон элементов для инициализации |
| r | - | диапазон элементов для инициализации |
| value | - | значение для конструирования элементов |
| policy | - | политика выполнения для использования |
Возвращаемое значение
Как описано выше.
Исключения
Любое исключение, выброшенное при конструировании элементов в целевом диапазоне.
3,4) В процессе выполнения:
- Если временные ресурсы памяти, необходимые для распараллеливания, недоступны, std::bad_alloc выбрасывается.
- Если необработанное исключение выбрасывается при доступе к объектам через аргумент алгоритма, поведение определяется политикой выполнения (для стандартных политик, std::terminate вызывается).
Примечания
Реализация может повысить эффективность ranges::uninitialized_fill (например, с помощью ranges::fill), если тип значения выходного диапазона является TrivialType.
| Макрос проверки поддержки возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | Алгоритмы параллельных диапазонов |
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr для специализированных <memory> алгоритмов, (1,2)
|
Возможная реализация
struct uninitialized_fill_fn
{
template</*nothrow-forward-iterator*/ I, /*nothrow-sentinel-for*/<I> S, class T>
requires std::constructible_from<std::iter_value_t<I>, const T&>
constexpr I operator()(I first, S last, const T& value) const
{
I rollback{first};
try
{
for (; !(first == last); ++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;
}
}
template</*nothrow-forward-range*/ R, class T>
requires std::constructible_from<ranges::range_value_t<R>, const T&>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r, const T& value) const
{
return (*this)(ranges::begin(r),
ranges::next(ranges::begin(r), ranges::end(r)), value);
}
};
inline constexpr uninitialized_fill_fn uninitialized_fill{};
|
Пример
Запустить этот код
#include <iostream> #include <memory> #include <string> int main() { constexpr int n{4}; alignas(alignof(std::string)) char out[n * sizeof(std::string)]; try { auto first{reinterpret_cast<std::string*>(out)}; auto last{first + n}; std::ranges::uninitialized_fill(first, last, "▄▀▄▀▄▀▄▀"); int count{1}; for (auto it{first}; it != last; ++it) std::cout << count++ << ' ' << *it << '\n'; std::ranges::destroy(first, last); } catch(...) { std::cout << "Exception!\n"; } }
Вывод:
1 ▄▀▄▀▄▀▄▀ 2 ▄▀▄▀▄▀▄▀ 3 ▄▀▄▀▄▀▄▀ 4 ▄▀▄▀▄▀▄▀
См. также
(C++20) |
копирует объект в неинициализированную область памяти, определяемую началом и количеством (объект функции алгоритма) |
| копирует объект в неинициализированную область памяти, определяемую диапазоном (шаблон функции) |