std::ranges::destroy_n
Определён в заголовочном файле <memory> | ||
|---|---|---|
| Сигнатура вызова | ||
template< /*nothrow-input-iterator*/ I >
requires std::destructible<std::iter_value_t<I>>
constexpr I destroy_n( I first, std::iter_difference_t<I> count ) noexcept;
| (1) | (начиная с C++20) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I >
requires std::destructible<std::iter_value_t<I>>
I destroy_n( Ep&& policy, I first, std::iter_difference_t<I> count );
| (2) | (начиная с C++26) |
Определение /*execution-policy*/ приведено на этой странице; определения других концепций, используемых только для описания, приведены на этой странице.
1) Уничтожает элементы в целевом диапазоне
first + [0, count) так же, как если бы это выполнялось с помощью return std::ranges::destroy(std::counted_iterator(first, count),
std::default_sentinel).base();
2) То же, что (1), но выполняется в соответствии с
policy.Описанные на этой странице функциональные объекты являются функциональными объектами алгоритмов (неформально известными как niebloids), то есть:
- При вызове ни одного из них нельзя указывать списки явных аргументов шаблона.
- Ни один из них не виден для поиска, зависящего от аргументов.
- Если какой-либо из них найден при помощи обычного неквалифицированного поиска как имя слева от оператора вызова функции, поиск, зависящий от аргументов, подавляется.
Параметры
| first | - | начало диапазона элементов, которые нужно уничтожить |
| count | - | количество элементов, которые нужно уничтожить |
| policy | - | политика выполнения, которую следует использовать |
Возвращаемое значение
Как описано выше.
Примечания
| Макрос проверки поддержки функциональности | Значение | Стандарт | Функциональность |
|---|---|---|---|
__cpp_lib_parallel_algorithm | 202506L | (C++26) | Параллельные алгоритмы для диапазонов |
Возможная реализация
struct destroy_n_fn
{
template</*nothrow-input-iterator*/ I>
requires std::destructible<std::iter_value_t<I>>
constexpr I operator()(I first, std::iter_difference_t<I> n) const noexcept
{
for (; n != 0; (void)++first, --n)
std::ranges::destroy_at(std::addressof(*first));
return first;
}
};
inline constexpr destroy_n_fn destroy_n{};
|
Пример
Демонстрируется использование ranges::destroy_n для уничтожения непрерывной последовательности элементов.
#include <iostream>
#include <memory>
#include <new>
struct Tracer
{
int value;
~Tracer() { std::cout << value << " destructed\n"; }
};
int main()
{
alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 4];
for (int i = 0; i < 4; ++i)
new (buffer + sizeof(Tracer) * i) Tracer{i}; // manually construct objects
auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));
std::ranges::destroy_n(ptr, 4);
}
Вывод:
0 destructed 1 destructed 2 destructed 3 destructed
См. также
|
(C++20) | уничтожает объект по заданному адресу (функциональный объект алгоритма) |
|
(C++20) | уничтожает объекты в диапазоне (функциональный объект алгоритма) |
|
(C++17) | уничтожает заданное количество объектов в диапазоне (шаблон функции) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/memory/ranges/destroy_n
