全局数组有效因其分配在数据段而非栈，避免栈溢出；但要求大小为编译期常量，禁用vla，注意静态初始化顺序、链接限制及线程安全问题。
直接用全局数组替代局部大数组，是最简单有效的解法——但得清楚为什么有效、什么时候会失效、以及容易忽略的副作用。
为什么局部大数组会崩溃而全局不会
局部数组分配在栈上，栈空间通常只有几 MB（Linux 默认 8MB，Windows 约 1MB），int a[1000000] 就占 4MB；一旦超过栈上限，程序直接栈溢出，不报错、不提示，静默崩溃。全局数组则分配在数据段（.data 或 .bss），这部分内存由操作系统在加载时预留，大小限制宽松得多，几十 MB 都很常见。
全局数组不是万能解药：三个关键限制
全局数组能绕过栈溢出，但有硬性前提：
- 数组大小必须是编译期常量（如
const int N = 1000000;或字面量），不能是运行时变量（int n; cin >> n; int arr[n];是 VLA，在 C++ 标准中不合法） - 若数组含非 POD 类型（比如带构造函数的类对象），全局声明会触发静态初始化，可能引发跨编译单元的初始化顺序问题
- 全局变量仍受可执行文件大小限制，极端情况（如
char huge[1000000000]）会导致链接失败或加载失败，错误信息类似：ld: section .bss too large
比全局数组更稳妥的替代方案
当数组尺寸不确定、需动态控制生命周期，或项目规范禁用全局变量时，优先考虑：
- 用
std::vector替代：自动在堆上分配，支持运行时大小，且 RAII 管理释放 ——std::vector<int> arr(1000000);</int> - 用
std::unique_ptr手动管理堆内存：适合只读大缓冲或需精确控制释放时机的场景 ——auto arr = std::make_unique<int>(1000000);</int> - 对超大只读数据（如查表），改用 mmap 映射文件：避免启动时一次性加载全部内容到内存
真正麻烦的不是“怎么放得下”，而是“谁在什么时候访问它”——全局数组一旦被多个线程并发读写又没加锁，或者被析构后又被误访问，问题比栈溢出更难定位。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
