1 栈
1.1 程序中的栈
- 栈是现代计算机程序里最重要的概念之一。
- 栈在程序中用于维护函数调用上下文。
- 函数中的参数和局部变量存储在栈上。
- 栈是一种后进先出的行为。
1.2 函数调用过程
栈保存了一个函数调用所需的维护信息:参数、返回地址、局部变量、调用上下文、……
- 每次函数调用都对应着一个栈上的活动记录。
- 调用函数的活动记录位于栈的中部。
- 被调函数的活动记录位于栈的顶部。
函数调用栈变化
这里返回地址描述应该是有问题,返回地址是指函数调用处后一句代码的地址。
1.3 函数调用栈上的数据
- 函数调用时,对应的栈空间在函数返回前是专用的。
- 函数调用结束时,栈空间将被释放,数据不再有效。
编程实验:指向栈数据的指针
#include<stdio.h>
int* g(void)
{
int a[10] = {0};
return a;
}
void f()
{
int i = 0;
int b[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
int *a = g();
/*
for (i=0; i<10; i++)
{
b[i] = a[i];
} //不注释掉能正常访问b的值
*/
for (i=0; i<10; i++)
{
printf("%d.\n", b[i]);
//直接打印,由于调用了printf函数,会建立相应的活动记录,从而该变b的值
}
}
int main(void)
{
f();
return 0;
}
2 堆
- 堆是程序中一块预留的空间,可由程序自由使用。
- 堆中被程序申请使用的内存在被主动释放前将一直有效。
为什么有了栈还需要堆?
栈上的数据在函数返回后就会被释放掉,无法传递到函数外部,如:局部数组。
C语言程序中通过库函数的调用获得堆空间
- 头文件:malloc.h。
- malloc:以字节的方式动态申请内存。
- free:将堆空间归还给系统。
系统对堆空间的管理方式:空闲链表法、位图法、对象池法等等。
3 静态存储区
- 静态存储区随着程序的运行而分配空间。
- 静态存储区的生命周期直到程序运行结束。
- 在程序的编译期静态存储区的大小就已经确定。
- 静态存储区主要用于保存全局变量和静态局部变量。
- 静态存储区的信息最终会保存到可执行程序中。
编程实验:静态存储区的验证
#include <stdio.h>
int g_v = 1;
static int g_vs = 2;
void f()
{
static int g_vl = 3;
printf("%p\n", &g_vl);
}
int main()
{
printf("%p\n", &g_v);
printf("%p\n", &g_vs);
f();
//0x804a020 0x804a024 0x804a028
return 0;
}
小结
- 栈、堆和静态存储区是程序中的三个基本数据区:
- 栈主要用于函数调用的使用;
- 堆主要是用于内存的动态申请和归还;
- 静态存储区用于保存全局变量和静态变量。
4 程序文件的一般布局
4.1 程序和进程
- 程序与进程的不同
- 程序是静态的概念,表现形式为一个可执行文件。
- 进程是动态的概念,程序由操作系统加载后运行得到的。
- 每个程序可以对应多个进程。
- 每个进程只能对应一个程序。
思考:面试中的小问题
包含脚本代码的文本文件是一种类型的可执行程序吗?如果是,对应什么样的进程呢?
4.2 文件布局在内存中的映射
4.3 程序的内存布局
- 各个段的作用:
- 堆栈段在程序运行后才正式存在,是程序运行的基础;
- .bss段存放的是未初始化的全局变量和静态变量;
- .text段存放的是程序中的可执行代码;
- .data段保存的是已经初始化了的全局变量和静态变量;
- .rodata段存放程序中的常量值,如字符串常量。
4.4 程序术语的对应关系
- 静态存储区通常指程序中的.bss和.data段。
- 只读存储区通常指程序中的.rodata段。
- 局部变量所占空间为栈上的空间。
- 动态空间为堆中的空间。
- 程序可执行代码存放于.text段。
思考:面试中的小问题
同是全局变量和静态变量,为什么初始化和未初始化的保存在不同的段中?
从高效的角度进行思考。
小结
- 程序源码在编译后对应可执行程序中的不同存储区。
- 程序和进程不同,程序是静态概念,进程是动态概念。
- 堆栈段是程序运行的基础,只存在于进程空间中。
- 程序可执行代码存放于.text段,是只读的。
- .bss和.data段用于保存全局变量和静态变量。