目录
一,程序的翻译环境
二,详解编译+链接
2.1 翻译环境
2.2 程序编译的过程
2.3 运行环境
三,预处理详解
3.1 预定义符号
3.2 #define
3.2.1 查看预处理
3.2.2 #define 定义标识符
3.2.3#define 定义宏
3.2.4#define 替换规则
3.25#和##
1.#
2.##
3.2.6 带副作用的宏参数
3.2.7 宏和函数对比
3.2.8 命名约定
3.3 #undef
3.4 条件编译
1. # if ~#endif
2.多分枝条件编译
3.判断是否被定义
4.嵌套指令
3.5 文件包含
3.5.1 头文件被包含的方式:
一,程序的翻译环境
在ANSI C的任何一种实现中,存在两个不同的环境。
第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境,它用于实际执行代码。
二,详解编译+链接
2.1 翻译环境
程序编译过程:
组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人 的程序库,将其需要的函数也链接到程序中。
2.2 程序编译的过程
预处理
要想生成可执行程序,进行编译中的预处理是必不可少的,那什么又是干了什么呢?
其实在预处理的过程中是将test.c文件的内容经过处理重新放在了,test.i文件中。
test.i文件的部分操作
1 将test.c文件中包含#include的库内容放在test.i中。
2 将#define定义的符号替换,删除定义的注释。
编译
在该过程中主要是进行C语言的代码转换为汇编代码。
在转换的过程中主要是进行C语言代码的:语法分析,词法分析,符号汇总,语意分析等操作。
同时这时也会生成一个test.s文件记录当前的更改。
汇编
在该过程中主要是将汇编代码转化为二进制的指令,形式符号表,生成了可重新定位的目标文件test.o。
什么又是符号表呢?
#include int Add(int x, int y){return x + y;} int main(){int a = 5;int b = 10;Add(a,b);return 0;}
每个项目文件都有自己的符号表
符号表:
1.合并段表,将汇编过程中的一一合并
1.符号表的合并和重定义
通过链接库后生成链接库
1. 预处理 选项 gcc -E test.c -o test.i
预处理完成之后就停下来,预处理之后产生的结果都放在test.i文件中。
2. 编译 选项 gcc -S test.c
编译完成之后就停下来,结果保存在test.s中。
3. 汇编 gcc -c test.c
汇编完成之后就停下来,结果保存在test.o中。
2.3 运行环境
程序执行的过程:
1. 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
2. 程序的执行便开始。接着便调用main函数。
3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
4. 终止程序。正常终止main函数;也有可能是意外终止
三,预处理详解
3.1 预定义符号
__FILE__ | 进行编译的源文件 |
__LINE__ | 文件当前的行号 |
__DATE__ | 文件被编译的日期 |
__TIME__ | 文件被编译的时间 |
__STDC__ | 如果编译器遵循ANSI C,其值为1,否则未定义 |
举例:
__func__ | 当前编译的函数 |
//可以相当于日志写进文件中#include int main(){int i;FILE* pf = fopen("long.txt", 'a');if (pf == NULL){return 1;}for (i = 0;i < 10;i++){printf("name:%s line:%d date:%s i=%d\n", __func__, __LINE__, __DATE__, i);}fclose(pf);pf = NULL;return 0;}
3.2 #define
语法:
#define name stuff#define:1.定义标识符常量 2.定义宏
3.2.1 查看预处理
3.2.2 #define 定义标识符
在预处理阶段已经完成替换
简化代码:
#define reg registerint main(){int reg num = 100;// int register num=100;return 0;}这样也是可以的:#define DEBUG_PRINT printf("file:%s\tline:%d\t \date:%s\ttime:%s\n" ,\__FILE__,__LINE__ , \__DATE__,__TIME__ )
在define定义标识符的时候,要不要在最后加上 ; ” />
3.2.3#define 定义宏
#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(define macro)。
下面是宏的申明方式:
#define name( parament-list ) stuff
其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中。
注意:
参数列表的左括号必须与name紧邻。
如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分
问题代码:
#define SQUARE(x) x * xint a = 5;printf("%d\n" ,SQUARE(a + 1));//11
乍一看,你可能觉得这段代码将打印36这个值。事实上,它将打印11 为什么呢?
替换文本时,参数x被替换成a + 1,所以这条语句实际上变成了:
a + 1 * a + 1
这样就比较清晰了,由替换产生的表达式并没有按照预想的次序进行求值。
在宏定义上加上两个括号,这个问题便轻松的解决了:
#define SQUARE(x) (x) * (x)
定义中我们使用了括号,想避免之前的问题,但是这个宏可能会出现新的错误
int a = 5;printf("%d\n" ,10 * DOUBLE(a));
这将打印什么值呢?
warning:
看上去,好像打印100,但事实上打印的是55.
我们发现替换之后:
10 * (5) + (5)
乘法运算先于宏定义的加法,所以出现了55
这个问题,的解决办法是在宏定义表达式两边加上一对括号就可以了
#define DOUBLE(x) ((x) + (x))
所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中
的操作符或邻近操作符之间不可预料的相互作用
3.2.4#define 替换规则
在程序中扩展#define定义符号和宏时,需要涉及几个步骤。
1. 在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先被替换。
2. 替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值所替换。
3. 最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上述处理过程。注意:
1. 宏参数和#define 定义中可以出现其他#define定义的符号。但是对于宏,不能出现递归。
2. 当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索
3.25#和##
1.#
char* p = "hello ""word\n";printf("hello"" word\n");printf("%s", p);此处二者输出依旧位helloword
这里只有当字符串作为宏参数的时候才可以把字符串放在字符串中。
另外一个技巧是:
使用 # ,把一个宏参数变成对应的字符串
#include #define PRINT(N) printf("The value of "#N" is %d\n",N)int main(){int a = 10;int b = 20;PRINT(a);PRINT(b);return 0;}
#include #define PRINT(N,format) printf("The value of "#N" is "format"\n",N)int main(){int a = 20;double pai = 3.14;PRINT(a, "%d");PRINT(pai, "%lf");return 0;}
2.##
##可以把位于它两边的符号合成一个符号。
它允许宏定义从分离的文本片段创建标识符。
#include #define CAT(name,num) name##numint main(){int class105 = 105;printf("%d\n",CAT(class,105));//合并->class105->%d->105return 0;}
注:
这样的连接必须产生一个合法的标识符。否则其结果就是未定义的
3.2.6 带副作用的宏参数
当宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能
出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如:
x+1;//不带副作用x++;//带有副作用
MAX宏可以证明具有副作用的参数所引起的问题。
#include #define MAX(a, b) ( (a) > (b) " />
z = ( (x++) > (y++) ? (x++) : (y++));
结果是:
z = ( (x++) > (y++) " />3.2.7 宏和函数对比
宏通常被应用于执行简单的运算
#define MAX(a, b) ((a)>(b)?(a):(b))
那为什么不用函数来完成这个任务?
原因有二:
1. 用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜一筹。
2. 更为重要的是函数的参数必须声明为特定的类型。
所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于>来比较的类型。宏是类型无关的。
宏的缺点:当然和函数相比宏也有劣势的地方:
1. 每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,否则可能大幅度增加程序的长度。
2. 宏是没法调试的.
3. 宏由于类型无关,也就不够严谨。
4. 宏可能会带来运算符优先级的问题,导致程容易出现错。
宏有时候可以做函数做不到的事情。比如:宏的参数可以出现类型,但是函数做不到。
#include #include #define MALLOC(num,type) (type* )malloc(num*sizeof(type))int main(){// 每次要都要重新申请空间int* p = (int*)malloc(10 * sizeof(int));//用#define简化MALLOC(10,int);//int* p = (int*)malloc(10 * sizeof(int));return 0;}
属 性 #define定义宏 函数 代 码 长 度 每次使用时,宏代码都会被插入到程序中。除了非常小的宏之外,程序的长度会大幅度增长 函数代码只出现于一个地方;每次使用这个函数时,都调用那个地方的同一份代码 执 行 速 度 更快 存在函数的调用和返回的额外开销,所以相对慢一些 操 作 符 优 先 级 宏参数的求值是在所有周围表达式的上下文环境里,除非加上括号,否则邻近操作符的优先级可能会产生不可预料的后果,所以建议宏在书写的时候多些括号。 函数参数只在函数调用的时候求
值一次,它的结果值传递给函
数。表达式的求值结果更容易预
测。 带 有 副 作 用 的 参 数 参数可能被替换到宏体中的多个位置,所以带有副作
用的参数求值可能会产生不可预料的结果。 函数参数只在传参的时候求值一
次,结果更容易控制。 参 数 类 型 宏的参数与类型无关,只要对参数的操作是合法的,
它就可以使用于任何参数类型。 函数的参数是与类型有关的,如
果参数的类型不同,就需要不同
的函数,即使他们执行的任务是
不同的。 调 试 宏是不方便调试的 函数是可以逐语句调试的 递 归 宏是不能递归的 函数是可以递归的
3.2.8 命名约定
一般来讲函数的宏的使用语法很相似。所以语言本身没法帮我们区分二者。
那我们平时的一个习惯是:
把宏名全部大写
函数名不要全部大写
3.3 #undef
这条指令用于移除一个宏定义。
#undef NAME//如果现存的一个名字需要被重新定义,那么它的旧名字首先要被移除。
3.4 条件编译
在编译一个程序的时候我们如果要将一条语句(一组语句)编译或者放弃是很方便的。因为我们有条件编译指令。
1. # if ~#endif
#if +常量表达式
#include #define __DEBUG__ 1int main(){int arr[10] = { 0 };int i = 0;for (i = 0;i < 10;i++){arr[i] = i + 1;#if 1+2printf("%d\n",arr[i]);#endif#if __DEBUG__ //常量表达式printf("%d\n", arr[i]);#endif}return 0;}
2.多分枝条件编译
#if 常量表达式//...#elif 常量表达式//...#else//...#endif
3.判断是否被定义
#include #define MAX 0int main(){#if defined(MAX)printf("hehe");#endif#ifdef MAX //与 #if defined(MAX)效果相同printf("hehe");#endifreturn 0;}
4.嵌套指令
3.5 文件包含
我们已经知道, #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方一样。
这种替换的方式很简单:
预处理器先删除这条指令,并用包含文件的内容替换。这样一个源文件被包含10次,那就实际被编译10次。
3.5.1 头文件被包含的方式:
本地文件包含:
#include "filename"
查找策略:先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标准位置查找头文件。
如果找不到就提示编译错误
1.Linux环境的标准头文件的路径:/usr/include2.VS环境的标准头文件的路径:C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include//这是VS2013的默认路径3.库文件包含#include
查找头文件直接去标准路径下去查找,如果找不到就提示编译错误。这样是不是可以说,对于库文件也可以使用 “ ” 的形式包含?答案是肯定的,可以
但是这样做查找的效率就低些,当然这样也不容易区分是库文件还是本地文件了。
comm.h和comm.c是公共模块。
test1.h和test1.c使用了公共模块。
test2.h和test2.c使用了公共模块。
test.h和test.c使用了test1模块和test2模块。
这样最终程序中就会出现两份comm.h的内容。这样就造成了文件内容的重复。
那我们又改如何解决这些问题题呢?其实我们就可以用我们刚刚学的条件编译去解决这个问题。
#ifndef __TEST_H__ //如果是第一次定义该符号//为真进行定义,若为假则跳过#define __TEST_H__ //头文件的内容#endif //__TEST_H__
或者:
#pragma once
这样我们就能避免头文件的重复引用。
若觉得对大家有用的话请给个免费的赞啦!