符合标准的C编译器能否因编译期检测到栈深度超限而拒绝编译？

• C标准对栈资源的定义：C11、C23等现行C标准均未规定程序运行时的最小栈大小，栈的具体可用空间限制属于实现定义内容——即由编译器、目标操作系统或硬件平台自行决定，标准仅要求实现需明确公示这一限制规则。

• 编译期检测栈深度并拒绝编译的合法性：符合标准的编译器完全可以通过静态分析检测到栈深度超出其支持的固定限制时，拒绝编译语法合法的程序，哪怕程序无递归、无未定义行为。因为标准赋予了实现对栈这类平台相关资源的控制权，只要实现提前明确告知了栈限制的规则，基于静态分析判定程序必然超出栈上限而拒绝编译，并不违反C标准的要求。

• 是否始终属于运行时问题：并非如此。对于能通过静态分析确定必然超出栈限制的场景（比如存在固定深度的嵌套函数调用，每个函数的栈帧大小可确定，累加后明确超过实现的栈上限），编译器完全可以在编译期就做出判断并拒绝编译，无需等到运行时触发栈溢出错误。只有当栈深度依赖运行时变量（比如根据用户输入动态决定调用深度）而无法静态确定时，这类栈溢出风险才属于运行时问题。

内容的提问来源于stack exchange，提问作者Alphin Thomas