c++ - 如何调用对象的析构函数，如果它的指针地址存储为无符号整数，这是唯一已知的东西？

Question

我正在使用 C++ 编写垃圾收集库。在那里，对象的析构函数充当终结器，在释放对象的内存时释放对象的内部数据。指针地址作为无符号整数存储在集合 (std::set) 中:

std::set<unsigned int> addresses;

C1* c1 = new C1();
C2* c2 = new C2();

addresses.insert(*c1);
addresses.insert(*c2); // so now pointer's addresses are stored in the set

当需要释放对象时，我想调用析构函数:

std::set<unsigned int>::iterator it = addresses.begin(); // for example delete the first one
/* 1st variant */ delete *it; // not working, because "unsigned int is not a pointer type"
/* 2nd variant */ delete (void*)(*it); // frees memory, but doesn't call the destructor.

原则上是否可以调用对象的析构函数，如果我唯一知道的是它的地址存储为无符号整数？

也许我在设计阶段犯了错误？这些对象有不同的类型，我必须存储它们的地址以在必要时释放内存，但我还需要调用它们的析构函数。我该如何处理？

Answer 1

嗯，我会使用 void* 而不是 unsigned int，但这无助于取回当指针具有已知值时被丢弃的信息type 被存储到一个容器中，该容器没有关于该类型的信息。简而言之，除非您使用类型指针或通过某种形式的外部信息存储有关指向对象类型的信息，否则您无法删除它。