Delphi 11.3中多维数组栈溢出问题：高维数组内存分配异常

核心原因 #

问题本质并非堆内存分配不足，而是编译器处理高维数组字段访问时，生成的索引计算代码会占用大量栈空间，当维度数量达到阈值时，栈空间被耗尽引发溢出。

详细解释 #

1. 类字段的内存位置
   类实例的所有字段都分配在堆内存中，三个TConfig数组的SizeOf均为16MB，说明堆上的内存分配完全正常，堆空间足够容纳这些数据。

2. 栈溢出的触发逻辑
   栈溢出发生在构造函数访问FConfig[1]的代码执行阶段。编译器在处理数组元素访问时，需要计算元素在内存中的偏移地址：

   • 对于一维/低维数组，索引计算逻辑简单，只需要少量临时变量，栈占用可以忽略。
   • 对于八维数组TConfig3，编译器需要为每个维度的索引计算生成临时变量，存储中间乘积结果（比如计算dim1*dim2*...*dimN的过程）。这些临时变量全部分配在当前函数的栈帧中，当维度数量达到8个时，临时变量的总大小加上函数本身的栈开销，直接超过了默认的16MB栈上限，触发栈溢出。

3. 验证方法
   如果注释掉TClass3.Create中的var X := FConfig[1];代码，TClass3.Create.Free就能正常执行，这证明问题出在数组访问的栈临时变量上，而非类实例的堆分配。

解决办法 #

• 改用一维数组替代高维数组，手动计算元素索引（比如将八维索引转换为一维偏移量），避免编译器生成大量栈临时变量。
• 将数组改为动态数组类型（array of array of ...），动态数组的访问逻辑不同，不会产生高维度带来的栈开销。
• 临时方案：在项目设置中增大程序的栈空间，但这只是缓解手段，无法从根本上解决高维数组的栈开销问题。

内容的提问来源于stack exchange，提问作者Z.B.