C语言未初始化指针未分配内存即可赋值的异常现象疑问

你观察到的现象本质是访问未初始化的野指针触发了C语言标准定义的未定义行为，程序表现出任何结果（崩溃、正常运行、逻辑异常）都是符合标准的，不存在“为什么分配另一个变量就影响了它”的必然因果关系，只是巧合。

具体原理拆解 #

• 首先要明确：函数内定义的局部非静态变量，默认不会被自动初始化，它的取值就是它所在的栈内存地址上之前残留的任意垃圾值。你定义的int *no_alloc_i;没有初始化，它保存的地址完全是随机的。
• 第一次运行直接崩溃，是因为这个随机的垃圾地址刚好落在了你当前进程不可访问的内存区域（比如未映射的地址空间、只读段、内核地址段），你对它解引用写入3的时候，操作系统的内存保护机制直接触发段错误，程序终止，这是最容易排查的理想情况。
• 你添加了int *alloc_i = (int*)malloc(sizeof(int));代码后程序没有崩溃，和malloc调用本身没有必然联系：只是新增的变量修改了栈内存的布局，使得no_alloc_i取到的垃圾地址刚好落在了你当前进程可读写的合法区域（比如刚好指向栈上未使用的空隙、或者malloc申请的堆页范围内的某个地址），你读写这个地址不会触发内存访问异常，所以看起来“运行正常”，但这个行为是完全不可靠的：换个编译器、换个运行环境、甚至同环境多运行几次，都有可能再次崩溃，还可能偷偷破坏程序其他位置的合法数据，引发极难排查的随机逻辑错误。

最佳实践建议 #

• 所有指针定义时如果没有确定的合法指向，统一初始化为NULL：int *no_alloc_i = NULL;
• 解引用指针前先判断指针是否为非空，避免野指针访问。
• 堆内存申请后也要判断malloc的返回值是否为非空，避免申请失败引发空指针访问。

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