从代码中调用函数“DoStackOverflow”一次，您将得到Delphi引发的EStackOverflow错误，并显示消息“stack overflow”。

这个“堆栈”是什么？为什么使用上面的代码会出现溢出？

因此，DoStackOverflow函数递归地调用自己——没有“退出策略”——它只是继续旋转，从不退出。

您可以做的一个快速修复方法是清除明显的bug，并确保函数在某个点存在（这样您的代码就可以从调用函数的位置继续执行）。

你继续前进，你永远不会回头，不关心现在已经解决的bug/异常。

然而，问题仍然存在：这个堆栈是什么？为什么会出现溢出？

delphi应用程序中的内存

当您开始在Delphi中编程时，您可能会遇到类似上面的错误，您可以解决它并继续前进。这与内存分配有关。大多数情况下，只要释放所创建的内容，您就不会关心内存分配。

随着您在Delphi中获得更多的经验，您开始创建自己的类，实例化它们，关心内存管理等等。

您将在帮助中阅读类似“局部变量（在过程和函数中声明）驻留在应用程序堆栈中”的内容，并且类也是引用类型，因此它们不会在赋值时复制，而是通过引用传递，并在堆上分配。

那么，什么是“堆栈”，什么是“堆”？

堆栈与堆

在Windows上运行应用程序时，内存中有三个区域用于存储数据：全局内存、堆和堆栈。

全局变量（其值/数据）存储在全局内存中。全局变量的内存在程序启动时由应用程序保留，并在程序终止前保持分配状态。全局变量的内存称为“数据段”。

由于全局内存只在程序终止时分配和释放一次，因此本文不关心它。

堆栈和堆是进行动态内存分配的地方：为函数创建变量时，向函数发送参数并使用/传递其结果值时，创建类实例时。

什么是堆栈(stack)？

在函数中声明变量时，保存变量所需的内存将从堆栈中分配。您只需编写“var x:integer”，在函数中使用“x”，当函数退出时，您不关心内存分配或释放。当变量超出范围（代码退出函数）时，堆栈上占用的内存将被释放。

堆栈内存是使用后进先出方法动态分配的。

在Delphi程序中，堆栈内存由

• 局部例程（方法、过程、函数）变量。
• 例程参数和返回类型。
• Windows API函数调用。
• 记录（这就是为什么不必显式创建记录类型的实例）。

您不必显式释放堆栈上的内存，因为当您（例如）向函数声明局部变量时，内存会自动神奇地分配给您。当函数退出时（有时甚至由于Delphi编译器优化而提前退出），变量的内存将自动神奇地释放。

默认情况下，堆栈内存大小对于您的Delphi程序（尽管很复杂）来说是足够大的。项目链接器选项上的“最大堆栈大小”和“最小堆栈大小”值指定默认值——在99.99%范围内，您无需更改此值。

将堆栈视为一堆内存块。当您声明/使用局部变量时，Delphi内存管理器将从顶部拾取块并使用它，当不再需要时，它将返回堆栈。

使用堆栈中的局部变量内存时，局部变量在声明时不会初始化。在某个函数中声明一个变量“var x:integer”，并在输入该函数时尝试读取该值——x将有一些“奇怪的”非零值。所以，在读取局部变量的值之前，请始终初始化（或设置值）。

由于后进先出（LIFO），堆栈（内存分配）操作速度很快，因为管理堆栈只需要几个操作（推送、弹出）。

什么是堆(heap)？

堆是存储动态分配内存的内存区域。创建类的实例时，将从堆中分配内存。

在Delphi程序中，堆内存由/when使用

• 创建类的实例。
• 创建动态数组并调整其大小。
• 使用GetMem、FreeMem、New和Dispose（）显式分配内存。
• 使用ANSI/wide/Unicode字符串、变量和接口（由Delphi自动管理）。

堆内存没有很好的布局，分配内存块是有一定顺序的。堆看起来像一罐弹珠。堆中的内存分配是随机的，这里的一个块比那里的一个块大。因此，堆操作比堆栈上的操作慢一点。

当您请求一个新的内存块（即创建一个类的实例）时，Delphi内存管理器将为您处理这个问题：您将得到一个新的内存块或一个已使用并丢弃的内存块。

堆由所有虚拟内存（RAM和磁盘空间）组成。

手动分配内存

现在，关于内存的所有内容都已清楚，您可以安全地（在大多数情况下）忽略上述内容，继续编写Delphi程序，就像昨天一样。

当然，您应该知道何时以及如何手动分配/释放内存。

之所以提出“EStackOverflow”（从本文开始），是因为每次调用DoStackOverflow时，都会从堆栈中使用一段新的内存，并且堆栈具有限制。就这么简单。