深入分析——为什么未初始化的全局变量是零？

1、前言

#include <stdio.h>

int temp;

int main(void)
{
	//打印temp的值是零
	printf("temp=%d\n", temp);

	return 0;
}

• 在C语言编程中，我们默认未初始化的全局变量、静态局部变量的初始化值都是零，底层原理如下
  • 未初始化的全局变量、静态局部变量在链接时都属于bss、sbss段，会集中存放
  • 编译器默认添加的启动代码里把bss段都做了清零操作
• 裸机开发时，如果你在编译时使用-nostdlib、-nostdinc、-T选项，不使用标准库、不使用标准头文件，自己编写汇编启动代码，如果自己添加的启动代码里没有对bss段进行清零，那未初始化的全局变量、静态局部变量的初始化值就不一定是零

2、查看sbss、bss段

3、查看默认链接脚本

• 使用–verbose选项查看默认链接脚本：riscv64-unknown-elf-ld --verbose > build.ld
• 在链接脚本中可以看到sbss、bss段，两个段是紧挨着的。开始地址是__bss_start标号处，结束地址是__BSS_END__标号处

4、查看编译器默认添加的启动代码

• 通过反汇编来查看编译器添加的启动代码。我们编写的代码是从main函数开始，main函数之前的代码都是编译器添加的，其中_start标号处是程序的入口，也就是执行的第一条代码

5、分析反汇编代码里的bss、sbss段

6、启动代码中初始化bss段

• 编译器调用memset函数来把sbss、bss段的初始值格式化成零
• memset函数需要传入三个参数：起始地址、格式化的值、格式化空间大小，分别是通过a0、a1、a2寄存器来传递，这是和芯片架构相关的，本文是基于riscv架构来分析，可参考博客：《RISC-V架构的函数调用规范和栈布局》
• 指定sbss段的起始地址这里没有用__bss_start标号，而是使用temp变量的地址，__bss_start标号也是指向temp变量的地址，两种方式是等价的