std:: uninitialized_fill
|
Определено в заголовке
<memory>
|
||
|
template
<
class
NoThrowForwardIt,
class
T
>
void
uninitialized_fill
(
NoThrowForwardIt first,
|
(1) | (constexpr начиная с C++26) |
|
template
<
class
ExecutionPolicy,
class
NoThrowForwardIt,
class
T
>
void
uninitialized_fill
(
ExecutionPolicy
&&
policy,
|
(2) | (начиная с C++17) |
[
first
,
last
)
как если бы
for
(
;
first
!
=
last
;
++
first
)
::
new
(
voidify
(
*
first
)
)
typename
std::
iterator_traits
<
NoThrowForwardIt
>
::
value_type
(
value
)
;
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> является true . |
(до C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> является true . |
(начиная с C++20) |
Содержание |
Параметры
| first, last | - | пара итераторов, определяющих диапазон элементов для инициализации |
| value | - | значение, используемое для конструирования элементов |
| policy | - | политика выполнения для использования |
| Требования к типам | ||
-
NoThrowForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
не должны генерировать исключения.
Применение
&
*
к значению
NoThrowForwardIt
должно давать указатель на его тип значения.
(до C++11)
|
||
Сложность
Линейно по расстоянию между first и last .
Исключения
Перегрузка с параметром шаблона с именем
ExecutionPolicy
сообщает об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Примечания
| Макрос тестирования возможностей | Значение | Стандарт | Функция |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms
|
202411L
|
(C++26) | constexpr для специализированных алгоритмов работы с памятью , ( 1 ) |
Возможная реализация
template<class NoThrowForwardIt, class T> constexpr void uninitialized_fill(NoThrowForwardIt first, NoThrowForwardIt last, const T& value) { using V = typename std::iterator_traits<NoThrowForwardIt>::value_type; NoThrowForwardIt current = first; try { for (; current != last; ++current) ::new (static_cast<void*>(std::addressof(*current))) V(value); } catch (...) { for (; first != current; ++first) first->~V(); throw; } } |
` и `` оставлен без изменений, как и требовалось. HTML-разметка и атрибуты также сохранены в оригинальном виде.
Пример
#include <algorithm> #include <iostream> #include <memory> #include <string> int main() { const std::size_t sz = 4; std::allocator<std::string> alloc; std::string* p = alloc.allocate(sz); std::uninitialized_fill(p, p + sz, "Example"); for (std::string* i = p; i != p + sz; ++i) { std::cout << *i << '\n'; i->~basic_string<char>(); } alloc.deallocate(p, sz); }
Вывод:
Example Example Example Example
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 866 | C++98 |
given
T
as the value type of
NoThrowForwardIt
, if
T :: operator new exists, the program might be ill-formed |
uses global placement new instead |
| LWG 2433 | C++11 | this algorithm might be hijacked by overloaded operator & | uses std::addressof |
| LWG 3870 | C++20 | this algorithm might create objects on a const storage | kept disallowed |
Смотрите также
|
копирует объект в неинициализированную область памяти, определяемую началом и количеством
(шаблон функции) |
|
|
(C++20)
|
копирует объект в неинициализированную область памяти, определяемую диапазоном
(функциональный объект алгоритма) |