std::ranges::destroy
Depuis fr.cppreference.net
| Défini dans l'en-tête <memory>
|
||
| Signature d'appel |
||
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) | (depuis 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) | (depuis 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) | (depuis 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) | (depuis C++26) |
Pour la définition de /*execution-policy*/, voir cette page; pour la définition d'autres concepts d'exposition seulement, voir cette page.
1) Détruit les éléments de la plage cible
[first, last) comme par
for (; first != last; ++first)
std::ranges::destroy_at(std::addressof(*first));
return first;
2) Identique à (1), mais utilise
r comme plage cible.3,4) Identique à (1,2), mais exécuté selon
policy.Les entités de type fonction décrites sur cette page sont des objets fonctions d'algorithmes (informellement appelés niebloids), c'est-à-dire :
- Les listes explicites d'arguments de modèle ne peuvent pas être spécifiées lors de l'appel à l'un d'entre eux.
- Aucun d'entre eux n'est visible par la recherche dépendante des arguments.
- Lorsque l'un d'entre eux est trouvé par une recherche normale non qualifiée comme nom à gauche de l'opérateur d'appel de fonction, la recherche dépendante des arguments est inhibée.
Paramètres
| first, last | - | la paire itérateur-sentinelle définissant l'intervalle d'éléments à détruire |
| r | - | l'intervalle à détruire |
| policy | - | la politique d'exécution à utiliser |
Valeur de retour
Comme décrit ci-dessus.
Exceptions
3,4) Pendant le processus d'exécution :
- Si les ressources mémoire temporaires nécessaires à la parallélisation ne sont pas disponibles, std::bad_alloc est levée.
- Si une exception non capturée est levée lors de l'accès aux objets via un argument d'algorithme, le comportement est déterminé par la politique d'exécution (pour les politiques standard, std::terminate est invoquée).
Notes
| test de fonctionnalité macro | Valeur | Norme | Fonctionnalité |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | Algorithmes de plage parallèles |
Implémentation possible
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{};
|
Exemple
Montre comment utiliser ranges::destroy pour détruire une séquence contiguë d'éléments.
Exécuter ce code
#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);
}
Sortie :
0 destructed
1 destructed
2 destructed
3 destructed
Voir aussi
(C++20) |
détruit un nombre d'objets dans une plage (objet fonction d'algorithme) |
(C++20) |
détruit un objet à une adresse donnée (objet fonction d'algorithme) |
(C++17) |
détruit une plage d'objets (modèle de fonction) |