为何移除for循环的int声明后，C语言代码出现内存分配异常？

你观察到的“循环变量声明方式导致运行差异”只是巧合，两段代码存在完全相同的致命错误：

• 指针p从未通过malloc/calloc分配内存，属于未初始化的野指针
• 你写的if (p == NULL)检查完全无效——未初始化的自动变量值是随机的，可能是NULL也可能不是，这属于C语言中的未定义行为

为什么会出现看似不同的运行结果？ #

第一段代码中，未初始化的p碰巧随机到了非NULL值，所以跳过错误判断继续执行（但这是非法的，写入未知内存区域可能导致崩溃、数据损坏等问题）；第二段代码中，p碰巧随机到了NULL值，直接触发错误提示退出。这和for循环是否声明int i没有任何关系，只是未定义行为的随机表现。

修正后的正确代码 #

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

int main()
{
    int n, *p, i;

    printf("HOW MANY NUMBERS: ");
    scanf("%d", &n);

    // 必须先分配对应大小的内存
    p = malloc(n * sizeof(int));
    if (p == NULL)
    {
        printf("MEMORY ALLOCATION UNSUCCESSFUL");
        return 1;
    }

    // 无论用哪种i的声明方式，只要内存分配正确都能正常运行
    for (i = 0; i < n; i++)
    {
        printf("\nENTER NUMBER %d: ", i + 1);
        scanf("%d", p + i);
    }

    printf("\nTHE NUMBERS ARE:\n");
    for (i = 0; i < n; i++)
        printf("%d ", *(p + i));

    free(p);
    return 0;
}

重要提醒 #

• 局部自动变量（比如main里的p、i）如果不手动初始化，初始值是随机垃圾值，绝对不能依赖
• 使用动态内存前，必须调用malloc/calloc分配内存，并且一定要检查分配是否成功
• 未定义行为的表现不可预测，“看起来能运行”不代表代码正确，这种隐患可能导致程序在不同环境下崩溃或出现异常结果

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