std::uninitialized_value_construct_n
С ru.cppreference.net
| Определён в заголовочном файле <memory>
|
||
template< class NoThrowForwardIt, class Size >
NoThrowForwardIt uninitialized_value_construct_n
( NoThrowForwardIt first, Size count );
|
(1) | (начиная с C++17) (constexpr начиная с C++26) |
template< class ExecutionPolicy, class NoThrowForwardIt, class Size >
NoThrowForwardIt uninitialized_value_construct_n
( ExecutionPolicy&& policy, NoThrowForwardIt first, Size count );
|
(2) | (начиная с C++17) |
1) Конструирует элементы в целевом диапазоне
first + [0, count) посредством value-инициализации как если бы через
for (; count > 0; (void)++first, --count)
::new (voidify(*first))
typename std::iterator_traits<NoThrowForwardIt>::value_type();
return first;
Если во время инициализации выбрасывается исключение, уже сконструированные объекты уничтожаются в неопределённом порядке.
2) То же, что и (1), но выполняется в соответствии с
policy. Эта перегрузка участвует в разрешении перегрузки только если значение следующего выражения равно
true:
|
|
(до C++20) |
|
|
(начиная с C++20) |
Параметры
| first | - | начало диапазона элементов для инициализации |
| count | - | количество элементов для инициализации |
| policy | - | используемая политика выполнения |
| Требования к типам | ||
-
NoThrowForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
не должны генерировать исключения.
|
||
Возвращаемое значение
Как описано выше.
Исключения
2) Во время выполнения:
- Если временные ресурсы памяти, необходимые для распараллеливания, недоступны, std::bad_alloc будет выброшено.
- Если необработанное исключение выбрасывается при доступе к объектам через аргумент алгоритма, поведение определяется политикой выполнения (для стандартных политик вызывается std::terminate).
Примечания
| Тест возможностей макрос | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr для специализированных <memory> алгоритмов, (1)
|
Возможная реализация
template<class NoThrowForwardIt, class Size> constexpr ForwardIt uninitialized_value_construct_n(NoThrowForwardIt first, Size count) { using T = typename std::iterator_traits<NoThrowForwardIt>::value_type; NoThrowForwardIt current = first; try { for (; countn > 0; (void) ++current, --count) ::new (static_cast<void*>(std::addressof(*current))) T(); return current; } catch (...) { std::destroy(first, current); throw; } } |
` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде.
Пример
Запустить этот код
#include <iostream> #include <memory> #include <string> int main() { struct S { std::string m{"Default value"}; }; constexpr int n{3}; alignas(alignof(S)) unsigned char mem[n * sizeof(S)]; try { auto first{reinterpret_cast<S*>(mem)}; auto last = std::uninitialized_value_construct_n(first, n); for (auto it{first}; it != last; ++it) std::cout << it->m << '\n'; std::destroy(first, last); } catch (...) { std::cout << "Exception!\n"; } // For scalar types, uninitialized_value_construct_n // zero-initializes the given uninitialized memory area. int v[]{1, 2, 3, 4}; for (const int i : v) std::cout << i << ' '; std::cout << '\n'; std::uninitialized_value_construct_n(std::begin(v), std::size(v)); for (const int i : v) std::cout << i << ' '; std::cout << '\n'; }
Вывод:
Default value Default value Default value 1 2 3 4 0 0 0 0
Смотрите также
|
(C++17)
|
создаёт объекты с помощью
value-initialization
в неинициализированной области памяти, определённой диапазоном
(шаблон функции) |
|
создаёт объекты с помощью
default-initialization
в неинициализированной области памяти, определённой началом и количеством
(шаблон функции) |
|
|
создаёт объекты с помощью
value-initialization
в неинициализированной области памяти, определённой началом и количеством
(функциональный объект алгоритма) |