std::ranges::destroy
Из ru.cppreference.net
| Определён в заголовке <memory>
|
||
| Сигнатура вызова |
||
template< /*nothrow-input-iterator*/ I, /*nothrow-sentinel-for*/<I> S >
requires std::destructible<std::iter_value_t<I>>
constexpr I destroy( I first, S last ) noexcept;
|
(1) | (начиная с C++20) |
template< /*nothrow-input-range*/ R >
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> destroy( R&& r ) noexcept;
|
(2) | (начиная с C++20) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I,
/*nothrow-sized-sentinel-for*/<I> S >
requires std::destructible<std::iter_value_t<I>>
I destroy( Ep&& policy, I first, S last );
|
(3) | (начиная с C++26) |
template< /*execution-policy*/ Ep, /*nothrow-sized-random-access-range*/ R >
requires std::destructible<ranges::range_value_t<R>>
ranges::borrowed_iterator_t<R> destroy( Ep&& policy, R&& r );
|
(4) | (начиная с C++26) |
Определение /*execution-policy*/ см. на этой странице; определение других только для пояснения концептов см. на этой странице.
1) Уничтожает элементы в целевом диапазоне
[first, last) как если бы с помощью
for (; first != last; ++first)
std::ranges::destroy_at(std::addressof(*first));
return first;
2) То же, что и (1), но использует
r в качестве целевого диапазона.3,4) То же, что и (1,2), но выполняется в соответствии с
policy.Функциональные объекты, описанные на этой странице, являются функциональными объектами алгоритмов (неформально известны как ниблоиды), то есть:
- Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
- Ни один из них не видим для поиска, зависящего от аргументов.
- Когда любой из них найден с помощью обычного неквалифицированного поиска как имя слева от оператора вызова функции, поиск, зависящий от аргументов подавляется.
Параметры
| first, last | - | пара «итератор-дозорный», определяющая диапазон уничтожаемых элементов |
| r | - | диапазон для уничтожения |
| policy | - | политика выполнения для использования |
Возвращаемое значение
Как описано выше.
Исключения
3,4) В процессе выполнения:
- Если временные ресурсы памяти, необходимые для распараллеливания, недоступны, std::bad_alloc выбрасывается.
- Если необработанное исключение выбрасывается при доступе к объектам через аргумент алгоритма, поведение определяется политикой выполнения (для стандартных политик, std::terminate вызывается).
Примечания
| Проверки возможности макрос | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | Параллельные алгоритмы диапазонов |
Возможная реализация
struct destroy_fn
{
template</*nothrow-input-iterator*/ I, /*nothrow-sentinel-for*/<I> S>
requires std::destructible<std::iter_value_t<I>>
constexpr I operator()(I first, S last) const noexcept
{
for (; first != last; ++first)
ranges::destroy_at(std::addressof(*first));
return first;
}
template</*nothrow-input-range*/ R>
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const noexcept
{
return (*this)(ranges::begin(r), ranges::end(r));
}
template</*nothrow-forward-range*/ R>
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const noexcept
{
return (*this)(ranges::begin(r),
ranges::next(ranges::begin(r), ranges::end(r)));
}
};
inline constexpr destroy_fn destroy{};
|
Пример
Демонстрирует, как использовать ranges::destroy для уничтожения непрерывной последовательности элементов.
Запустить этот код
#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(ptr, ptr + 4);
}
Вывод:
0 destructed
1 destructed
2 destructed
3 destructed
См. также
(C++20) |
уничтожает несколько объектов в диапазоне (объект функции алгоритма) |
(C++20) |
уничтожает объект по заданному адресу (объект функции алгоритма) |
(C++17) |
уничтожает диапазон объектов (шаблон функции) |