C语言内存分布
C语言内存分布
典型的C语言程序内存表示分区共有5个部分：
- 正文段 Text segment
- 已初始化数据段（数据段）Initialized data segment
- 未初始化数据段（bss）Uninitialized data segment
- 堆 Stack
- 栈 Heap
具体分布图
各个分区的作用
- 正文段
- CPU执行的机器指令部分
- 通常可共享
- 常常是只读的
- 已初始化数据段（数据段）
- 包含程序中需明确赋初始值的变量
- 保存已经初始化的全局变量
- 未初始化数据段（BSS）
- 在程序开始执行之前，内核将此段中的数据初始化为0或空指针
- 保存未初始化的全局变量（注意：即使是赋值为0也是未初始化！）
- 栈
- 存储自动变量（如函数形参）及每次函数调用所需保存的信息
- 每次函数调用时，存放其返回地址及调用者的环境信息（如某些机器寄存器的值）
- 为最近被调用的函数分配自动变量和临时变量的存储空间
- 堆
- 动态存储分配
初始化？
上面提到，对全局变量来说，如果是赋值为0仍是未初始化。下面给出实际实验结果：
示例代码1
#include <stdio.h>
int a;
int main(int argc, char const *argv[])
{
printf("hello\n");
return 0;
}
编译后查看内存分布：
示例代码2
#include <stdio.h>
int a = 0;
int main(int argc, char const *argv[])
{
printf("hello\n");
return 0;
}
编译后查看内存分布：
可以看到，各个存储区域数值没有变化。
示例代码3
#include <stdio.h>
int a = 1;
int main(int argc, char const *argv[])
{
printf("hello\n");
return 0;
}
编译后查看内存分布：
可以看到，对全局变量进行真正的初始化之后，bss少了4个字节，data段多出了4个字节。
关于static的问题
示例代码4
先看看相对上一例子，多了一个局部变量之后的内存分布。
#include <stdio.h>
int a = 1;
int main(int argc, char const *argv[])
{
int b;
printf("hello\n");
return 0;
}
编译后查看内存分布：
可以看到，内存分布是没有变化的，局部变量b会在栈上分配到内存。
示例代码5
如果把b定义成static呢？
#include <stdio.h>
int a = 1;
int main(int argc, char const *argv[])
{
static int b;
printf("hello\n");
return 0;
}
编译后查看内存分布：
可以看到，此时bss上多出了8个字节。
示例代码6
如果给b赋初始值0呢？
#include <stdio.h>
int a = 1;
int main(int argc, char const *argv[])
{
static int b = 0;
printf("hello\n");
return 0;
}
编译后查看内存分布：
可以看到，跟上一个例子相比没有变化，说明跟全局变量一样，static变量赋值为0仍是未初始化。
示例代码7
如果给b赋初始值1呢？
#include <stdio.h>
int a = 1;
int main(int argc, char const *argv[])
{
static int b = 1;
printf("hello\n");
return 0;
}
编译后查看内存分布：
可以看到，bss少了4个字节，而data多了4个字节，说明静态变量和全局变量同理，初始化之后是存在data段中的。
关于static的用处
示例代码8
#include <stdio.h>
int x = 4;
void incre() {
static int x = 1;
x *= x + 1;
printf("%d\n", x);
}
int main(int argc, char const *argv[])
{
int i;
for (i = 1; i < x; i++) {
incre();
}
return 0;
}
运行结果为：
可以看到，函数incre中x的作用域存在于其局部，但是却在每次调用函数的时候沿用之前的值！这是因为static定义的变量是静态变量，有着静态存储位置（变量存储位置固定不动，若在代码中已经初始化则存在于data段，否则存在于bss段），而不是存在于栈上，因此每次调用函数读取到的变量的值都是静态存储区的值。
static的意义
-
全局静态变量
- 不会被其它文件所访问和修改
- 其它文件中可以使用相同名字的变量，不会发生冲突
-
局部静态变量
- 可以用作计数器，每次函数调用的时候可以进行计数
-
静态函数
- 其它文件中可以定义相同名字的函数，不会发生冲突
- 静态函数不能被其它文件所用
- 静态函数会被分配在一个一直使用的存储器，直到程序退出，避免了调用函数时进栈出栈，提升运行速度
参考书目
- 《Unix环境高级编程》（中文第三版）
- 《C primer plus》（中文第五版）
