已初始化局部变量未存入目标文件的实现原理问询

已初始化的局部自动变量（比如你示例中的int number = 4;）确实不会像全局初始化变量那样，在目标文件的.data段占用独立存储空间来存储初始值4。程序运行时加载这个值到栈的方式，本质是编译器把初始值直接嵌入到代码指令中，而非从预存的数据段读取。

以x86架构为例，你给出的代码编译后的汇编指令大概是这样：

method:
    push ebp          ; 建立栈帧
    mov ebp, esp
    sub esp, 4        ; 为number分配4字节栈空间
    mov DWORD PTR [ebp-4], 4  ; 直接将立即数4写入栈上的变量位置
    mov esp, ebp      ; 销毁栈帧
    pop ebp
    ret

这里的数字4是作为立即数被编码进目标文件的.text（代码段）中，程序执行到这条指令时，会直接把这个值写入栈上为变量预留的空间里，不需要从其他数据段读取。

还有两种特殊情况需要说明：

• 若初始化的是大体积常量（比如大型数组），编译器可能会把常量放到目标文件的.rodata（只读数据段），运行时再从该段把数据拷贝到栈上，但这种情况只针对超出立即数存储范围的场景。
• 若变量后续未被实际使用，编译器会直接优化掉整个初始化逻辑，连栈空间都不会为其分配。

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