C语言main与自定义函数内未初始化结构体指针行为差异原因查询

问题根本原因 #

你遇到的输出差异是使用未初始化的自动局部变量导致的未定义行为，两次输出的结果都是随机巧合，不存在必然性。

具体原理

C语言标准规定：函数内部定义、没有static修饰的局部变量属于自动存储类型，分配在栈内存区域，系统不会自动为其初始化，变量的初始值就是对应内存位置之前残留的任意垃圾数据：

• 第一次在main中定义list指针时，它占用的栈内存位置刚好残留的是0（即NULL），因此list == NULL判断成立，输出true
• 第二次在menu中定义list指针时，它占用的栈内存位置残留的是非0的垃圾值，因此判断不成立，输出false

修正方案

所有指针变量使用前必须显式初始化，如果要表示空链表，声明时直接赋值为NULL即可，彻底避免未定义行为：

// 正确写法
void menu() {
    Node *list = NULL;
    checkEmpty(list); // 稳定输出true
}

未初始化变量的运行结果完全不可控，即使当前运行符合预期，换编译器、调整编译参数、甚至同代码多次运行都可能出现不同结果，必须严格规避这种写法。

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