堆栈最终会溢出吗？

Question

我已经为该解决方案进行了很多搜索，但根本没有运气。

这是我程序的基础。 我的主要功能有一个循环。 循环需要计算大量数据，并且当我给我的一个变量赋予大于20的值时，最终堆栈会溢出。

我知道，只要您在某个函数中“返回”它就会释放整个堆栈。 这就是问题，我需要此循环永久运行，直到该用户关闭该应用程序为止。

这有可能吗？ 在堆栈溢出之前，所有功能都需要很短的使用寿命吗？ 如果我使用动态内存，那么我仍然无法摆脱它在运行时所累积的其他堆栈数据。

基本上，如何才能永久运行一个函数而不会导致堆栈溢出？

Answer 1

堆栈的大小有限。 在某些Windows系统上为1 MB。 您可以通过编程方式更改堆栈大小 ，但这不是一个好主意。

每个线程上都有不同的堆栈。 堆栈变量总是在作用域的末尾释放。 例如

void MyFunction
{ // begin of scope 1
    std::string mouse("feep"); 
    for (int i = 0; i < 10000000; i++)
    { // begin of scope 2
        int x = 1;  // x is on the stack
        std::string cow("moo"); // cow is on stack
      // end of scope 2, cow is destroyed then the stack is freed for cow and x before the next iteration of the loop begins
    } 
    return; // end of scope 1, mouse is destroyed ant the stack is freed for mouse
}

上述代码在任何时候最多在堆栈上都具有mouse ， i ， x和cow 。 如果使用递归 ，则可能会产生非常深的堆栈，从而导致溢出。 例如

void StackOverflowIncoming()
{ // begin of scope
    int aVariableOnTheStack = 0;
    StackOverflowIncoming();
    // end of scope
}

上面的函数将永远打开新的作用域，并且永远不会离开作用域，因此在某些时候它将溢出。

溢出堆栈的另一种方法是alloca ，它直接分配堆栈（然后在分配范围关闭后立即释放堆栈。如果最大堆栈大小为1 MB，只需使用alloca在堆栈上分配10 MB。这也可以通过在堆栈上分配一个巨大的结构来实现。

void InstantStackOverflow()
{
    char buffer[1<<24];
}

有关堆栈上分配过多的更详细的示例，请参阅此问题 。

溢出堆栈的最后一种也是最有创意的方法是破坏程序状态，以使程序感到非常混乱，并且无法清理堆栈。 通常，您通过使用导致不确定行为的语言功能来执行此操作，如下所示：

void TryToCorruptTheStack()
{ // begin of scope
    char buffer[1];
    for (int i = -20; i < 20; i++)
        buffer[i] = 5;
    // end of scope
}

有关堆栈损坏的更详细的示例，请参见此问题 。

Answer 2

运行函数不会填充堆栈。 但是，如果使用递归函数调用，是的，最终堆栈将溢出。 回到您的问题-您说您正在main函数中运行一个导致堆栈溢出的循环，然后又说调用函数导致了stackoverflow。 除非您在循环中创建新对象，否则循环不会导致堆栈溢出！ 同样，在C / C ++中，主函数不能称为递归函数。 您不是明确的朋友。

如果您可以共享一些示例代码，那就太好了。

PS：很好玩，我们在谈论stackoverflow：P