Comment appeler explicitement le destructeur d'itérateurs std?

Question

Compte tenu std::vector<A>::iterator et std::map<A, B>::iterator, comment puis-je appeler explicitement leurs destructeurs? Je ne connais pas les noms réels de ces types, car les types de membres ::iterator sont typedefs/aliases aux classes spécifiques à l'implémentation.

Je pose cette question, car je stocke ces itérateurs dans une union C++ non restreinte et Visual Studio me demande de gérer manuellement la destruction. I pourrait tout simplement ne pas appeler le destructeur de l'élément actif et supposer que les itérateurs n'ont pas besoin d'être nettoyés, mais que cela pue une mauvaise pratique.

Answer 1

Comme ceci:

// let iter be vector<int>::iterator to be destroyed 
iter.std::vector<int>::iterator::~iterator(); 

Je ne connais pas les noms réels de ces types, parce que le :: iterator types de membres sont typedefs/alias aux classes spécifiques à l'implémentation.

Peu importe. Les alias de type sont également des noms de type.

---

LLVM semble avoir un bug avec ceci: https://bugs.llvm.org//show_bug.cgi?id=12350

Jusqu'à ce qu'il soit fixé, comme une solution de contournement, introduire un alias non imbriqué:

using iterator = std::vector<int>::iterator; 
iterator it; 
it.iterator::~iterator(); 

ou consultez le type que argument de modèle (ce code provient du rapport de bogue):

template <typename T> 
inline void placement_delete(T *x) 
{ 
    // C++ lacks placement delete, so fake it with a function 
    x->~T(); 
} 

Answer 2

Le plus souvent, l'itérateur n'est qu'un pointeur vers la mémoire déjà allouée. À moins que les itérateurs ne soient créés à l'aide du nouveau

typedef std::vector<A>::iterator VecIter; 
VecIter* iter= new VecIter; 

il n'est pas nécessaire de supprimer. Si vous utilisez new, vous pouvez appeler delete pour la variable itérateur.

delete iter; 

Answer 3

std::destroy_at(&iter); 

std::destroy et les amis sont une caractéristique C + 17. Si votre compilateur manque de soutien, il est trivial de vous mettre en œuvre:

template <typename T> 
void destroy_at(T* p) { 
    p->~T(); 
} 

Source.