C语言静态与非静态数组的区别及大小限制疑问

这是个非常典型的C语言内存模型问题，咱们一步步拆解清楚：

一、静态数组和非静态局部数组的核心差异 #

这俩的本质区别全在内存分配的位置和生命周期上：

• 静态数组（带static关键字）：
  它被分配在静态存储区（也叫全局/数据段），这块内存是程序一启动就预留好的，直到程序完全退出才会释放。而且如果没显式初始化，会自动被置为0。
• 非静态局部数组：
  它是在**栈（Stack）**上分配的，栈是系统为函数调用专门开辟的临时内存区域，空间非常有限（通常Windows默认1MB，Linux默认8MB，具体看系统和编译器配置）。函数执行完，栈上的内存就会被回收，没初始化的话里面都是随机垃圾值。

二、你的代码里大小限制的原因 #

1. 静态数组能到1e8，再大就报错 #

先算个账：一个float占4字节，1e8个就是1e8 * 4 = 400MB。静态存储区的容量通常是几百MB级别（具体由链接器配置和系统内存决定），所以400MB还在它的承受范围内。但如果再往上加，链接器会检测到静态存储区的总大小超出了预设上限，直接抛出“size too large”——毕竟程序启动时根本没法预留这么大的预分配内存。

2. 非静态数组到1e6就崩溃 #

同样算内存：1e5个float是400KB，远小于栈的默认容量，所以没问题。但1e6个就是4MB，如果你的系统栈默认是1MB的话，这直接就把栈撑爆了，触发栈溢出（Stack Overflow）。

至于为什么连第一行printf都没执行就崩溃？因为栈的分配是在函数进入时就完成的——main函数刚启动，编译器会先给局部数组m分配栈空间，这时候直接超出栈的上限，系统直接终止程序，根本没机会执行后续的打印代码。

三、底层逻辑总结 #

• 静态存储区是预分配的，空间相对大，但有明确上限，编译/链接阶段就会检查大小是否合法；
• 栈是临时小容量内存，用于函数上下文和局部变量，栈溢出是运行时错误，编译阶段编译器一般不会提前检测（因为栈的实际使用情况是运行时才确定的）。

如果需要分配大内存，更推荐用malloc/calloc从**堆（Heap）**上申请——堆的空间大得多，还能动态管理，用完记得用free释放。举个例子：

#include <stdio.h>
#include <stdlib.h>

int main() {
    printf("allocating...\n");
    float *m = malloc((int)1e6 * sizeof(float));
    if (m == NULL) { // 一定要检查malloc是否成功
        perror("malloc failed");
        return 1;
    }
    printf("done\n");
    free(m); // 用完记得释放
    return 0;
}

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