C语言中可声明的局部变量数量是否存在上限？

栈上存储的局部变量的总量限制并非仅由宿主RAM容量决定，而是由操作系统预设栈上限、编译配置、运行环境等多个维度共同约束，且该限制和变量的数量没有直接关联，仅和所有栈上变量占用的总内存大小有关。

你提到的测试场景：单个函数内声明初始化25000*13个值为0的变量，用-O0参数编译后运行未崩溃，属于符合预期的情况，原因如下：
若你声明的是常用基础类型（比如int），325000个int总大小仅约1.2MB，远低于常规操作系统的默认栈大小阈值（Linux默认栈大小通常为8MB，Windows默认栈大小通常为1~2MB），自然不会触发栈溢出。如果你声明的是大类型变量总大小超过默认栈阈值仍可正常运行，通常是你编译时主动修改了栈大小上限，或是测试环境为无操作系统的嵌入式裸机环境，栈空间直接从可用RAM中划分。

• 栈溢出的本质是栈指针访问超出了当前进程被分配的栈内存边界，和变量数量无关：哪怕你只定义1个数组变量，只要该数组的大小超过当前函数的剩余栈空间，就会触发栈溢出。
• 常规有操作系统的用户态运行环境下，栈大小是进程创建时就预设好的固定上限，和系统总RAM容量无关：
  • Linux环境下可通过ulimit -s命令查看当前用户态进程的默认栈大小，单位为KB，也可以通过该命令临时调整栈上限
  • Windows环境下用MSVC编译时可通过/STACK链接参数指定栈大小，MinGW/GCC也支持对应链接参数修改栈上限
• 只有无操作系统的嵌入式裸机环境下，栈空间才会直接从RAM中划分，此时栈的最大可用上限才近似等于未被其他段（数据段、BSS段、堆）占用的RAM容量。
• C语言标准本身没有规定栈的大小限制，这完全属于平台实现相关的行为，编写可移植代码时不建议在栈上分配过大的内存，超过1KB的大块内存建议通过malloc在堆上分配。

内容的提问来源于stack exchange，提问作者4d4143