如何显式调用std迭代器的析构函数？

Question

鉴于std::vector<A>::iterator和std::map<A, B>::iterator，我该如何显式调用它们的析构函数？我不知道这些类型的实际名称，因为::iterator成员类型是特定于实现的类的typedef /别名。

我问这个问题，因为我将这些迭代器存储在一个不受限制的C++联合中，并且Visual Studio要求我手动处理销毁。我可能只是不调用活动元素的析构函数，并假设迭代器不需要清理，但不好的做法反应。

Answer 1

像这样：

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

我不知道这些类型的实际名称，这是因为：迭代成员类型的typedef /别名具体实现类。

没关系。类型别名也是类型名称。

---

LLVM似乎具有与该一个错误：https://bugs.llvm.org//show_bug.cgi?id=12350

直到它是固定的，作为一种解决方法，将非嵌套别名：

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

或参考类型模板参数（此代码来自bug报告）：

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

Answer 2

大多数迭代器只是指向已分配内存的指针。除非使用新的迭代器创建

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

没有必要删除。如果你正在使用new，那么你可以为迭代器变量显式调用delete。

delete iter; 

Answer 3

std::destroy_at(&iter); 

std::destroy和朋友是C + 17功能。如果你的编译器缺乏支持是微不足道的实施自己：

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

Source。