一、程序的翻译环境和执行环境
在ANSI C的任何一种实现中,存在两个不同的环境。
翻译环境,在这个环境中源代码(.c)被转换为可执行的机器指令(.exe)。(VS集成开发环境)
执行环境,它用于实际执行代码。
1.翻译环境
编译
a.预处理“文本操作”
头文件展开
去注释
宏替换
条件编译
b.编译
把C语言代码转换成汇编代码
1.语法分析;词法分析;语义分析
2.符号汇总:汇总源文件中定义的全局符号,包括全局变量,函数等。
c.汇编
把汇编代码转换成可重定向的二进制目标文件(可被链接)
elf文件格式:
是一种用于二进制文件如目标文件(.obj),可执行文件(.exe)的文件格式。在linux编译环境下,可以使用readelf工具查看elf文件的内容
生成符号表:
编译阶段汇总的全局符号在汇编结束后都被分配了相应大小的内存,这些内存空间的地址是逻辑地址
逻辑地址:
汇编器生成一个目标模块时从地址0开始生成代码和数据节 ,它并不知道数据和代码最终将放在内存的什么位置,也不知道这个模块引用的任何外部定义的函数或者全局变量的位置。
链接
把多个目标文件和链接库进行链接,形成可执行程序(.exe)
合并段表(elf文件):
将多个elf格式的目标文件相同段的数据合并到一起,合并成一个完整的可执行程序。
符号表的合并和重定位:
合并各个目标文件在汇编阶段生成的符号表,并进行重定位,即将符号的逻辑地址替换为运行时地址。
运行时地址:
链接器在重定位步骤中,合并输入模块并将运行时地址赋给输入模块定义的每个节、符号。当这一步完成时,程序中的每条指令和全局变量才拥有唯一的运行时内存地址。
2.运行环境(程序执行的过程)
1.程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成(烧板子)。
2.程序的执行便开始。接着便调用main函数。
3.开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack)也称函数栈帧,存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
终止程序。正常终止main函数;也有可能是意外终止。
二、预处理
预定义符号
#define
#define定义标识符
注意:在define定义标识符时,不要加";"
#define定义宏
#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(define macro)。
#define name(x) ( ( x ) + ( x ) )
1.用于对数值表达式进行求值的宏定义各个参数和整个计算结果都应该加上括号,避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。
2.参数列表的左括号必须与name紧邻。如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分。
3.宏定义中可以出现其他自定义标识,即宏定义可以嵌套使用。
4.双引号之间的宏 "SUM(X)" 不会被替换
5."#define M 100" 带双引号的#define不是宏定义
6.宏定义多条语句:将多条语句封装进do-while-0 结构当中。(while(0)不加封号)
>>可以解决代码块花括号的问题。(else不能匹配的问题)
>>可以解决最后多加封号的问题。
#和##
1.使用 # ,把一个宏参数变成对应的字符串。代码中的 #VALUE 会预处理器处理为:"VALUE"
2.##可以把位于它两边的符号合成一个符号。它允许宏定义从分离的文本片段创建标识符。
这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。
宏和函数的对比
总结:执行小型计算工作时,建议使用宏,执行速度更快效率更高。
命名约定
把宏名全部大写
函数名不要全部大写
#undef
用于移除一个宏定义,如果现存的一个名字需要被重新定义,那么它的旧名字首先要被移除。
1.宏可以在代码的任何地方定义,可以是函数体内,也可以是函数体外。
2.宏的作用范围:从#define定义宏,到#undef取消宏。之间的范围都是有效的(跨函数)。
3.宏替换是预处理操作,在程序运行之前就已经完成,因此与函数的调用,程序的执行顺序等无关。
条件编译
调试性的代码,删除可惜,保留又碍事,所以我们可以选择性的编译。
条件编译本质上是代码裁剪的工具。
1.通过条件编译,可以快速实现:
>>不同版本的维护;
>>软件功能的裁剪;
>>使程序具有跨平台性;
2.条件编译可以运用关系运算符和逻辑运算符。
3.条件编译可以嵌套使用
#if 1/0 … #endif
#if …#elif …#else…#endif
#ifdef TEST … #endif (如果TEST定义了就编译)
#if defined(TEST) … #endif (如果TEST定义了就编译)
#ifndef TEST … #endif(如果TEST没有定义就编译)
#if !defined(TEST) … #endif (如果TEST没有定义就编译 )
文件包含
其他预处理指令
1. #error:自定义编译报错。其后字符串不需要加双引号。
示例:#error 编译错误,错误原因…
2. #line:自定义文件名称和代码行号。指定的行号从下一行开始。指令行上方的行号保持不变。
示例:#line 60 "hehe.c"
3. #pragma warning:禁止报错
示例:#pragma warning(disable:4996)
4. #pragma message:编译时消息提醒
示例:#pragma message("M宏已被定义")