为何C语言中main()函数的变量被分配在栈而非.data段？

首先得明确：编译器给变量分配存储位置，看的是变量的存储类别，和main函数是不是程序入口、能不能被调用没关系——这是C语言的基本规则：

• 普通局部变量默认属于「自动存储类别」（可显式加auto关键字，一般省略），这类变量会被分配在栈上，函数执行完就自动销毁，生命周期只跟着函数走。
• 加了static的局部变量属于「静态存储类别」，会被分配到.data或者.bss段（未初始化的静态变量放.bss，系统自动清0），程序一启动就占好空间，直到程序结束才释放，生命周期和整个程序一致。

再看你贴的两段代码：

第一段代码：

int main(void)
{
    int buffer[1*1024*1024];
    memset(buffer, sizeof(buffer), 0);
    /* code */
    return buffer[5*1024+25];
}

这里的buffer是普通局部变量，直接占了1MB的栈空间。但栈的大小是有限的（Windows默认1MB，Linux一般8MB左右），这么大的数组很容易触发栈溢出，而且每次进入main（哪怕main只执行一次）都要重新分配栈空间，还要手动用memset初始化。

第二段代码：

int main(void)
{
    static int buffer[1*1024*1024];
    /* code */
    return buffer[5*1024+25];
}

加了static之后，buffer就跑到静态存储区了，不仅不会占栈空间（彻底避免栈溢出风险），而且静态变量会被系统自动初始化为0，连memset都省了。

你提到“调用main()函数是无效操作”，确实标准C里main是程序入口，不能被其他函数调用（个别编译器允许，但不符合标准），所以main只会执行一次，这时候两段代码的运行结果看起来一样，但背后的存储逻辑差很多：

• 栈上的变量哪怕只创建一次，也是走栈的分配销毁流程；静态变量只在程序启动时初始化一次，全程复用。
• 栈是稀缺资源，大数组放栈上纯属给自己挖坑，放静态存储区明显更稳妥。

说白了：编译器按规则办事，普通局部变量就该放栈；而给main里的大数组加static，确实是更高效、更安全的写法。

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