std::ranges::destroy
De es.cppreference.net
| Definido en el encabezado <memory>
|
||
| Firma de llamada |
||
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) | (desde 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) | (desde 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) | (desde 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) | (desde C++26) |
Para la definición de /*execution-policy*/, consulte esta página; para la definición de otros conceptos solo de exposición, consulte esta página.
1) Destruye elementos en el rango objetivo
[first, last) como si mediante
for (; first != last; ++first)
std::ranges::destroy_at(std::addressof(*first));
return first;
2) Igual que (1), pero usa
r como rango objetivo.3,4) Igual que (1,2), pero ejecutado según
policy.Las entidades similares a funciones descritas en esta página son objetos función de algoritmo (conocidos informalmente como niebloids), es decir:
- No se pueden especificar listas explícitas de argumentos de plantilla al llamar a ninguno de ellos.
- Ninguno de ellos es visible para la búsqueda dependiente de argumentos.
- Cuando alguno de ellos se encuentra mediante búsqueda no calificada normal como el nombre a la izquierda del operador de llamada a función, la búsqueda dependiente de argumentos se inhibe.
Parámetros
| first, last | - | el par iterador-centinela que define el rango de elementos a destruir |
| r | - | el rango a destruir |
| policy | - | la política de ejecución a utilizar |
Valor de retorno
Como se describió anteriormente.
Excepciones
3,4) Durante el proceso de ejecución:
- Si los recursos de memoria temporales necesarios para la paralelización no están disponibles, std::bad_alloc se lanza.
- Si se lanza una excepción no capturada mientras se accede a objetos a través de un argumento de algoritmo, el comportamiento se determina por la política de ejecución (para políticas estándar, std::terminate es invocada).
Notas
| Prueba de características macro | Valor | Estándar | Característica |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | Algoritmos de rango paralelos |
Posible implementación
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{};
|
Ejemplo
Demuestra cómo usar ranges::destroy para destruir una secuencia contigua de elementos.
Ejecute este código
#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);
}
Salida:
0 destructed
1 destructed
2 destructed
3 destructed
Véase también
(C++20) |
destruye un número de objetos en un rango (objeto función de algoritmo) |
(C++20) |
destruye un objeto en una dirección dada (objeto función de algoritmo) |
(C++17) |
destruye un rango de objetos (plantilla de función) |