使用埃拉托斯特尼筛法时Code1出现段错误的原因排查

这个段错误的核心原因其实很直观——栈空间溢出，咱们来拆解下两段代码的关键差异：

Code1的问题根源 #

Code1里的第一行：

bool prime[A+1];

这是在**栈（stack）**上创建了一个变长数组（VLA）。栈的默认容量通常很小：Linux系统一般默认是8MB，Windows更是只有1MB左右。当输入A=16777214时，数组大小是16777215个bool元素——就算每个bool只占用1字节，总大小也接近16MB，远远超出了栈的承载上限。

这一步栈已经被撑爆了，后续的memset(prime, true, sizeof(prime))试图访问这块超出栈范围的非法内存，直接触发了段错误。

另外补充个小知识点：变长数组（VLA）是C99的特性，C标准其实并不支持它，只是部分编译器（比如GCC）把它作为扩展特性允许使用，本身就不推荐在C代码里这么写。

Code2为什么能正常运行 #

Code2里的内存分配方式完全不同：

vector<bool> prime(A+1);

vector是C++标准容器，它的内存是从**堆（heap）**上分配的。堆的可用空间远大于栈，只要系统有足够的物理或虚拟内存，几十甚至上百MB的分配都不成问题。16MB的大小对堆来说完全是小菜一碟，自然不会出现溢出问题。而且vector会自动管理内存，不用手动释放，比栈上的数组安全得多。

总结 #

处理大内存分配时，一定要优先选择堆上的容器（比如vector），避免在栈上分配大数组——栈的设计初衷是存储小变量、函数调用上下文等轻量数据，根本扛不住大规模的内存占用。

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