C语言释放内存后出现堆损坏问题求助

你遇到的堆损坏问题，核心是代码里存在数组越界写入，破坏了堆内存的结构，导致free()调用时触发检测错误。咱们一步步拆解：

问题出在埃氏筛的循环逻辑里 #

看这段筛法的核心代码：

for (int j = i; j <= N / i; j++) a[i * j] = 0;

当j取到N/i时，i*j的结果等于N（比如N=10000，i=2，N/i=5000，i*j=10000）。但你通过malloc(N * sizeof(int))分配的数组，索引范围是0到N-1——C语言数组从0开始，a[N]已经超出了你申请的内存边界。

这种越界写入会直接破坏堆管理器维护的内存块元数据（比如内存块大小标记、链表指针等），虽然程序在写入时可能没立刻崩溃，但等到调用free(a)时，堆管理器检测到结构异常，就会抛出堆损坏的错误。

为什么移除free()就“正常”了？ #

其实不是真的正常，只是堆损坏已经发生，但没有触发检测环节。这种情况属于C语言里的「未定义行为」——程序可能暂时运行，但随时可能崩溃、输出错误结果，甚至损坏其他数据，绝对不能当作解决方案。

修复方案：修正循环边界，避免越界 #

把循环条件改成确保i*j小于N，这样就不会访问超出数组范围的索引了。有两种常见写法：

写法1：直接判断乘积范围

for (int j = i; i * j < N; j++) a[i * j] = 0;

这种写法直观，直接保证写入的索引i*j在0到N-1之间。

写法2：提前计算最大j值

如果担心i*j可能溢出（比如N很大的时候），可以先算出最大的j：

int max_j = (N - 1) / i;
for (int j = i; j <= max_j; j++) a[i * j] = 0;

这样i*j的最大值是i*max_j ≤ N-1，同样不会越界。

额外小提示 #

你的Unix平台休眠代码sleep(0.001)是无效的——Unix的sleep()函数参数是整数秒数，0.001会被截断成0，相当于不休眠。如果需要毫秒级休眠，应该用usleep(1000)（1000微秒=1毫秒）或者更现代的nanosleep()。

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