C语言中数组的最大尺寸是多少？受哪些因素影响？

咱们直接拆解你关心的问题：数组的最大尺寸确实同时取决于数据类型和声明位置（栈/堆），除此之外还和操作系统、编译器默认设置以及系统可用内存总量有关。下面结合你的测试代码详细说明：

1. 声明位置：栈 vs 堆的核心差异 #

C语言里数组的内存分配位置直接决定了它的最大可用尺寸：

• 栈内存：栈是程序运行时的临时内存区域，大小是固定的（通常Windows默认1MB，Linux默认8MB），而且是自动分配和释放的。栈上的数组尺寸严格受限于栈的剩余空间，一旦数组总占用内存超过栈的剩余容量，就会触发栈溢出（Stack Overflow），这就是你测试中遇到的程序崩溃问题。
• 堆内存：堆是进程的动态内存区域，它的大小几乎只受限于系统的可用物理内存+虚拟内存。用malloc/calloc在堆上分配的数组可以比栈上的数组大得多，只要系统还有可用内存就能分配（当然分配失败时会返回NULL，需要做判断）。

2. 数据类型的直接影响 #

数组的总占用内存计算公式是：元素个数 × 单个元素的字节大小。所以相同元素个数下，数据类型的字节数越大，数组总内存占用越高，越容易触发栈溢出：

• 比如int通常占4字节，long long int占8字节：
  • 你的测试中，int tab[1048577]总占用约4MB（1048577×4≈4,194,308字节），long long int tab[524288]（2^19）总占用也是约4MB（524288×8=4,194,304字节），这两个都在系统默认栈的可用范围内，所以能正常运行；
  • 而int tab[2097152]总占用约8MB，long long int tab[1048576]总占用也是约8MB，刚好触碰到很多系统默认栈的上限，所以触发栈溢出导致程序崩溃。

3. 你的测试代码分析 #

先把你的测试代码格式化一下，方便查看：

#include <stdio.h>
#define MAX 1048577llu /* 2097152llu */

int main() {
    int tab[MAX]; /* long long int tab[MAX] */
    tab[MAX - 1] = 123;
    printf("tab[%llu] declared, tab[%llu] = %d\n", MAX, MAX - 1, tab[MAX - 1]);
    return 0;
}

对应你的测试结果：

• 当MAX设为2097152（2^21）时，int数组总大小为2097152×4=8,388,608字节≈8MB，超过了默认栈的大小限制，程序崩溃；
• 用long long int类型时，2^{20个元素的总大小是1048576×8=8,388,608字节≈8MB，同样超出栈限制，所以失败；而2}19个元素总大小为4MB，在栈的可用范围内，所以能成功运行。

4. 解决栈溢出的实用方法 #

如果需要使用大数组，最稳妥的方式是在堆上分配内存，示例代码如下：

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

#define MAX 2097152llu

int main() {
    // 动态分配堆内存
    int *tab = malloc(MAX * sizeof(int));
    if (tab == NULL) {
        printf("内存分配失败，可用内存不足\n");
        return 1;
    }
    
    tab[MAX - 1] = 123;
    printf("tab[%llu] declared, tab[%llu] = %d\n", MAX, MAX - 1, tab[MAX - 1]);
    
    free(tab); // 记得手动释放堆内存，避免内存泄漏
    return 0;
}

另外你也可以通过编译器选项调整栈的大小（比如GCC用-Wl,--stack,16777216把栈设为16MB），但这种方法不推荐，因为会降低程序的可移植性，不同系统的栈大小设置方式差异很大。

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