文章目录
一、程序执行篇
程序的翻译环境和执行环境
在ANSIC的任何一种实现中,存在两个不同的环境。
第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境,它用于实际执行代码。
翻译环境
1)组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
2)每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
3)链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人的程序库,将其需要的函数也链接到程序中。
几个概念的理解:
源文件:.c为后缀的文件,比如test.c
目标文件:.obj为后缀的文件,由源文件编译后生成
链接库:库是写好的现有的,成熟的,可以复用的代码。
现实中每个程序都要依赖很多基础的底层库,不可能每个人的代码都从零开始,因此库的存在意义非同寻常。本质上来说库是一种可执行代码的二进制形式,可以被操作系统载入内存执行。库有两种:静态库(.a、.lib)和动态库(.so、.dll)。
windows上对应的是.lib.dll linux上对应的是.a.so
静态库:是因为在链接阶段,会将汇编生成的目标文件.o与引用到的库一起链接打包到可执行文件中。因此对应的链接方式称为静态链接。
整个翻译环境分为两个大的部分:编译 + 链接
编译阶段所需要的编译器,我们可以找到它
链接阶段所需要的链接器,我们也可以找到它
在编译阶段又可以分为以下3个步骤:
预处理、编译、汇编
预处理阶段:
①头文件的包含
②#define定义的符号和宏的替换
③注释的删除(所以我们要大胆写注释!不会影响程序的运行和性能!)
– - 这些都是文本操作
编译阶段:
把c语言代码转换为汇编代码
语法分析、词法分析、语义分析、符号汇总
汇编阶段:
将汇编语言转换为机器语言
生成符号表
链接阶段
把多个目标文件(.obj(windows) / .o(Linux))和链接库进行链接
合并段表
符号表的合并和重定位
执行环境 / 运行环境
程序执行的过程︰
1.程序必须载入内存中。在有操作系统的环境中︰一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
⒉程序的执行便开始。接着便调用main函数。
3.开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack ),存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
4.终止程序。正常终止main函数; 也有可能是意外终止。
①预处理详解
C语言允许在源程序中加入一些“预处理指令”(preprocessing directive), 以改进程序设计环境,提高编程效率。这些预处理指令是由C标准建议的, 但它不是C语言本身的组成部分,
不能用C编译系统直接对它们进行编译(因为编译程序不能识别它们)。必须在对程序进行正式编译(包括词法和语法分析、代码生成、优化等)之前,
先对程序中这些特殊的指令进行“预处理”(preprocess, 也称“编译预处理”或“预编译”)。把预处理指令转换成相应的程序段,
它们和程序中的其他部分组成真正的C语言程序, 对预处理指令进行的预处理工作,
是由称为C预处理器(preprocessor)的程序负责处理的。
在预处理阶段,预处理器把程序中的注释全部删除; 对预处理指令进行处理, 如把#include指令指定的头文件(如stdio.h)的内容复制到#include指令处; 对#define指令,进行指定的字符替换(如将程序中的符号常量用指定的字符串代替), 同时删去预处理指令。
预定义符号
__FILE__
//进行编译的源文件 __: 两个下划线
_LINE__
//文件当前的行号
__DATE__
//文件被编译的日期
_TIME__
//文件被编译的时间
_STDC_
//如果编译器遵循ANSI C,其值为1,否则未定义
这些预定义符号都是语言内置的。
实际使用场景举例:创建log日志
#include<stdio.h>
int main()
{
FILE* pf = fopen("log.txt", "w");
if (pf == NULL)
{
perror("fopen");
return 1;
}
//记录日志信息
int i = 0;
for (i = 0; i < 20; i++)