C++中的清除堆栈

Question

如何清理堆栈...

return语句用于从函数中出去。现在

if (m1.high_[0] < m2.low_[0]) return FALSE;

这里有M1和M2两个点高[0]，低[0]，低[1]和高[1]值..

现在，如果我们使用return与声明比这是干净的堆栈..我的意思是返回语句，如果条件是用来清理堆栈..是吗？

Answer 1

是的，只要函数通过执行'return XXXX'返回，相关函数的堆栈框就会被移除。本地自动存储持续时间对象在此过程中被销毁。此外，它可能涉及某些CPU寄存器的操作（例如，英特尔上的ESP，EBP），并且是特定于实现的行为。如果返回语句在一个条件或在其上返回

EDIT 2的值执行不要紧：

在下面的代码，本地对象“S”（其具有自动存储持续时间）被销毁。本地对象'p'和'x'也被销毁，但'new'指向的内存不会自动删除，直到完全删除完成（使用delete）。所有这一切发生时，不论在功能“F”通过返回的“返回true”或“返回false”

struct S{}; 
bool f(int x){ 
    S s; 
    S *p = new S; 
    if(x == 2) return true; 
    else return false; 
} 

Answer 2

你不是真的“干净”的堆栈。所发生的只是堆栈指针被重置为调用程序堆栈存储的顶部。

任何从这个程序中调用后续功能将被赋予相同的堆栈指针为你的程序receieved（包括你的程序设置的任何值 - 这就是为什么它的重要intialise自动存储）

Conversly当你程序调用一个函数，被调用的函数将被赋予一个堆栈指针，它位于堆栈的最后一块之后，如果你调用了多个函数，它们将以相同的堆栈指针结束。

---

为了澄清C C++程序支持三种类型的存储分配的： -

“静态”，这是全球用途不同的编译单元。当主程序启动时，分配一个合适的存储块，每个“静态”在这个块中分配一个地址。直到主程序终止时才使用它。

“堆”这是一个由“malloc”管理的存储区的集合，在底层操作系统的帮助下。大多数（但不是全部！）“新”对象通过这种方式来存储内存。

然后“自动”存储（这是默认设置）使用堆栈。再次，这是您的主程序启动时分配的相当大的连续存储区域。任何由“main”使用的自动变量将被分配给堆栈的开始，并且堆栈指针递增以指向main的最后一个变量结束之后的字。 当第一个函数被调用时，它会从当前堆栈指针开始分配它的自动变量，并且stck指针在其最后一个变量结束后被设置为该单词，如果调用其他函数，则重复该过程。当函数结束时，堆栈指针被重置为函数调用时的值。

通过这种方式，不需要任何malloc或frees就可以重复使用存储，并且它可以很容易地实现递归函数，因为每次调用都会得到它自己的堆栈（直到堆栈用完！）。