C语言学习笔记 - 20.C编程预备计算机专业知识 - 变量为什么必须的初始化【重点】

初始化，是指在变量定义后，为其赋予一个确定的初始值的操作。

C语言的核心编码规则为「变量先定义、后使用」，而变量使用前的初始化，是保障程序行为可控、避免运行异常的核心前提。

复制代码

#include <stdio.h>
int main(void)
{
    int i;  // 仅定义int类型局部变量i，未执行任何初始化赋值操作
    printf("i = %d\n", i);  // 直接读取并打印未初始化的局部变量i
    return i;
}

无论使用VC++ 6.0还是VSCode-MinGW-GCC编译器，编译上述代码时，都会抛出高风险警告：使用了未初始化的局部变量i （英文原提示：uninitialized local variable 'i' used）。

注：视频中提及的「本地变量」为口语化表述，标准C语言专业术语为局部变量，指定义在函数内部、作用域仅限于函数内的变量。

未初始化变量的运行结果由编译器与运行环境决定，核心分为两类场景：

VC++ 6.0环境 ：多次运行程序，输出固定值-858993460，而非随机值。
VSCode-MinGW-GCC环境（用户当前环境） ：多次运行程序，输出固定值32758，同环境下运行结果稳定，但换系统、换编译配置后数值会发生变化。

计算机的内存（DRAM）是硬件存储单元，每个存储单元的物理状态只有两种：高电平（对应二进制1） 、低电平（对应二进制0），不存在"空值""无数据"的第三种状态。

只要计算机通电运行，内存的每一个存储单元，必然持有一个由0和1组成的二进制数值。因此，定义变量的本质，是将变量名与内存中一个具体的存储单元建立绑定关系；该单元从绑定开始，就已经持有一个二进制值，只是这个值并非我们主动设置的有效业务数据。

内存申请与分配：程序运行前，必须向操作系统申请内存空间；内存充足时，操作系统会分配一段隔离的内存区域，将程序从外存（硬盘/SSD）加载到该内存中，启动程序执行。
内存独占保护：程序运行期间，其占用的内存空间由操作系统进行隔离保护，不会被分配给其他程序，避免数据污染与程序崩溃。
内存释放的本质 ：程序运行结束后，操作系统会回收该内存空间。核心关键：操作系统的回收操作，仅修改内存空间的「占用/空闲」标志位，并不会清空内存中遗留的历史数据。

被操作系统回收的内存空间中，残留的上一个程序运行时写入的历史数据，被称为垃圾值（不确定值）。

我们定义的局部变量，会分配在程序的栈内存中，而栈内存会被程序运行过程中的函数反复复用。如果变量未初始化就被使用，程序会直接读取该内存单元中残留的垃圾值，这个值完全不可控、无业务意义，会导致程序逻辑完全失控。

**填充字（填充字节）**是微软VC++编译器在Debug模式下的专属调试辅助特性，并非C语言标准规定的通用行为。

当VC++编译器检测到未初始化的局部变量被使用时，会自动向该变量的内存单元写入固定的调试填充值0xCCCCCCCC（十六进制），该值转换为32位有符号int类型，就是视频中出现的-858993460。

该机制的核心目的是调试提醒：0xCCCCCCCC是正常业务代码中极少使用的极端数值，开发者看到该输出结果时，可快速定位到「变量未初始化」的代码bug。

补充说明 ：VSCode使用的MinGW-GCC编译器，默认不会添加该调试填充值。用户看到的固定输出32758，是当前Windows系统、当前编译环境下，栈内存初始化后的残留值，本质仍是不可控的垃圾值，在更换系统、编译选项或运行环境后会发生变化，不可作为有效数值使用。

C语言国际标准明确规定：读取未初始化的自动变量（局部变量）的行为，属于未定义行为（Undefined Behavior）。

未定义行为的核心含义：C语言标准不对该行为的运行结果做任何约束，程序可能输出随机值、固定垃圾值、直接崩溃，甚至出现逻辑完全失控的情况，不同编译器、不同平台、不同运行时机的结果都可能不同。绝对不能依赖未定义行为编写代码。