C++調用嵌套模板類析構函數

Question

假設我有一個類型爲std :: vector :: iterator的變量x，該變量x被分配（出於其他原因）並帶有新的位置，例如，

new((void*)&x) std::vector<int>::iterator(); 

如何以符合標準的方式調用其析構函數？做

x.std::vector<int>::iterator::~iterator(); 

例如在gcc工作，但不鐺。

Answer 1

所有標準（和標準兼容）迭代器都遵循Iterator concept，要求它是Destructible。因此，只需簡單地調用迭代器的析構函數即可，就如同在用新位置構建的任何其他（非平凡）類型中一樣。

x.~iterator_type(); // where x is an iterator 

注意，如果你通過指針指迭代器，必須使用->操作：

#include <vector> 


int main() { 
    auto buffer = new char[sizeof(std::vector<int>::iterator)]; 

    auto iterator = new((void*)buffer) std::vector<int>::iterator(); 
    iterator->std::vector<int>::iterator::~iterator(); 

    delete[] buffer; 
} 

LIVE EXAMPLE (GCC)

UPDATE：看來鏘有一些問題編譯（我假定符合標準）代碼。您可以通過調用析構函數時提供的間接作出這樣的變通：

#include <vector> 

template<typename T> 
void call_destructor(T* x) { 
    x->~T(); 
} 

int main() { 
    auto buffer = new char[sizeof(std::vector<int>::iterator)]; 

    auto iterator = new((void*)buffer) std::vector<int>::iterator(); 
    //iterator->std::vector<int>::iterator::~iterator(); 
    call_destructor(iterator); 

    delete[] buffer; 
} 

LIVE EXAMPLE (clang)

UPDATE：耶。這是一個叮噹聲中的錯誤：http://llvm.org/bugs/show_bug.cgi?id=12350。 See Dieter Lücking's comment。

---

^{我對你們非常遺憾，尤其是對OP，爲this mess。}