指向堆中定义的对象的多个指针

Question

假设我有一个指向 Student 对象的临时指针（不管 Student 的定义是什么 - 假设它不包含指针数据成员），我使用如下：

int main(){
Student *temp;
Student *s1 = new s1("John", 21);
Student *s2 = new s2("Jane", 23);
//do whatever;
temp = s1;
s1 = s2;
s2 = temp;

delete s1;
delete s2;

return 0;
}

由于我将new 用于s1 和s2，因此我知道对象是在堆中创建的，因此我需要使用delete 运算符来摆脱它们。我的问题是 - 我需要“删除临时”吗？如果不是，为什么？如何管理“临时”内存？有人能解释一下内存管理器如何处理这个指针，当它超出范围时会发生什么？

Answer 1

首先，你不能删除2个具有相同delete的对象，所以这行不通：

delete s1, s2;

这只是删除了 s1 指向的对象，对s2 没有任何作用（参见：comma operator）。将其更改为 2 个单独的语句。

除此之外，您不必在temp 上调用delete，因为它指向的对象（与s2 指向的对象相同）已经被销毁并通过调用释放：

delete s2;

但是，您可以调用delete temp; 而不是 delete s2;，因为它们都指向同一个对象。你甚至可以这样做：

delete temp;
temp = s1;
delete temp;

delete 通过指向它们的指针作用于使用new 分配的对象。你在哪个指针上调用 delete 并不重要。仅在调用指针时将哪个地址存储在指针中很重要。并且该地址必须是之前由new 返回但尚未删除的地址。

至于这个：

有人能解释一下内存管理器如何处理这个指针吗？ 当它超出范围时会发生什么？

当指针超出范围时什么都不会发生。至少，像int 或char 这样的常规变量不会发生任何事情，也许堆栈指针会被移动，但这是一个实现细节。

Answer 2

您不必删除temp，因为这只是指针的副本，因为您正在删除实际分配的缓冲区。这是一个auto 变量，一旦超出范围就会被删除。

如果您的类Student 覆盖assignment 运算符以创建copy，那么您可以显式地delete 变量，或者在函数返回后将其删除。

Answer 3

我想我明白了 - temp 只是堆栈上的一个整数，一旦超出范围就会由内存管理器处理，就像任何堆栈变量一样。

temp 和 s1 现在指向同一个内存位置：因此，删除 s1 会处理 temp 指向的对象。在这个阶段不会因为temp 导致内存泄漏。但是，如果我尝试访问temp，在delete s1; 语句之后，我的程序可能会崩溃。