具有自动存储持续时间未定义行为的“太大”对象？

Question

关于 SO 的 recent question 关于“为什么在这种特定情况下在堆栈上分配大元素不会失败？”以及一系列有关“堆栈上的大型数组”或“堆栈大小限制”的其他问题让我搜索了标准中记录的相关限制。

我知道 C 标准没有指定“堆栈”，因此它没有为这种堆栈定义任何限制。但我想知道void foo() { char anArray[SIZE_X]; ... } 中的哪个SIZE_X 标准保证程序可以工作，如果程序超过这个SIZE_X 会发生什么。

我找到了以下定义，但我不确定这个定义是否真的是对具有自动存储持续时间的特定支持大小的对象的保证（参见this在线C11标准草案）：

5.2.4.1 翻译限制

(1) 实现应至少能够翻译和执行 一个程序，其中至少包含一个实例 以下限制：

...

对象中的 65535 字节（仅在托管环境中）

这是否意味着实现必须支持在 void foo() { char anArray[SIZE_X]; ... } 之类的函数中对 SIZE_X 的值最大为 65535，并且对于 SIZE_X 的任何大于 65535 的值都是未定义的行为？

对于堆，调用malloc 返回NULL 让我控制请求“太大对象”的尝试。但是，如果程序“请求具有自动存储持续时间的太大对象”，特别是如果没有记录这样的最大大小，我该如何控制程序的行为，例如在一些limits.h？那么是否可以编写像checkLimits() 这样的可移植函数来支持“进入障碍”，例如：

int main() {
   if(! checkLimits()) {
      printf("program execution for sure not supported in this environment.");     
      return 1;
   } else {
      printf("might work. wish you good luck!"); 
   }
   ...
}

Answer 1

从技术上讲，实现只需要翻译和执行 一个 具有 65,535 字节对象（以及列出的其他内容）的程序即可符合标准。它可能会在所有其他人身上失败。

要知道更大的程序是否有效，您必须依赖具体实施的细节。大多数实现提供了超过 64 KiB 的堆栈空间，尽管它可能没有记录。可能存在用于调整允许的堆栈空间的链接器开关。

例如，对于当前 macOS 上的 ld 链接器，默认值为 8 MiB，-stack_size 开关可用于设置更多或更少（用于主线程）。

我要说的是，由于 C 标准规定诸如堆栈空间之类的环境限制可能会限制实现，因此除了某个特定示例程序必须工作这一事实之外，其他任何事情在技术上都是未定义的行为。