在ANSIC的任何一种实现中,分为编译环境和执行环境。在翻译环境中源代码转换为可执行代码,在执行环境中执行代码。
一.翻译环境
翻译环境又分为编译和链接两个阶段,一个程序中每个单独的源文件都会经过编译过程形成目标代码(.obj),然后每个目标代码在链接器的作用下捆绑在一起,形成单一而完整的可执行代码。同时链接器还会引入库函数。
(一).编译阶段
编译阶段又分为预编译(预处理)、编译、汇编。依靠于编译器执行。
预编译:
在这个阶段预处理器主要做的事:
- #define符号替换
- 注释的消除
- 头文件的包含
编译:
在这个阶段主要做的事:把c语言转换成了汇编代码
- 词法分析
- 语法分析
- 语义分析
- 符号汇总(全局的符号:函数名,全局变量)
汇编:
在这个阶段主要做的事:将汇编代码转化为二进制代码(elf格式的文件):
- 形成符号表:全局符号+地址(若只是声明则地址随机)
例子:
int add(int x, int y)
{
return x+y;
}
上述文件形成了 下列符号表
add | 0x1444(假设) |
---|
#include<stdio.h>
extern int add(int, int);
int main(void)
{
int ret = add(2, 3);
printf("%d\n", ret);
return 0;
}
上述文件形成了 下列符号表
add | 0x0000(无意义) |
---|---|
main | 0x1141(假设) |
(二).链接阶段
该阶段主要由链接器将几个目标文件以及库函数捆绑起来形成一个完整的可执行程序。
- 合并段表:每个目标文件都是elf格式的,最后链接的时候要合并在一起
- 符号表的合并和重定位:将上述的符号表合并,并且将相关名字(如函数)的地址重定位,可以检查是否定义函数
二.运行环境
程序执行的过程:
- 程序载入内存中:有操作系统的环境中,操作系统完成这个操作;独立的环境中,程序的载入要手工完成。
- 开始执行程序,接着调用main函数
- 开始执行程序代码,这个时候程序将使用一个运行时堆栈,存储函数的局部变量和返回地址,同时程序也可以使用静态内存,存储于静态内存的变量在整个程序过程中都存在
- 终止程序,正常终止main函数,也有可能异常终止main函数
三.预处理详解
(一).预定义符号:语言内置的
FILE 正在编译的源文件
LINE 调用line语句的当前行
DATA 程序编译的日期
TIME 程序编译的时间
STDC 当前编译器是否支持ANSIC ,支持返回1
(二).define
#define定义的标识符
- 建议#define后面不加;
#define MAX 1000
#define reg register //为 register这个关键字,创建一个简短的名字
#define do_forever for(;;) //用更形象的符号来替换一种实现---死循环
#define CASE break;case //在写case语句的时候自动把 break写上。
// 如果定义的 stuff过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠(续行符)。
#define DEBUG_PRINT printf("file:%s\tline:%d\t \
date:%s\ttime:%s\n" ,\
__FILE__,__LINE__ , \
__DATE__,__TIME__ )
#define定义宏
#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(define macro);
** 声明格式:**
- #define name( parament-list ) stuff
- parament-list是一个参数列表,并且括号不能与name隔开
**注意事项: **
- 在对整数进行运算时,优先级和结合性可能会导致一些问题,所以最好多加括号。
#include<stdio.h>
#define ADD(x, y) x+y; //不良分格
#define ADD(x, y) ((x)+(y)); //较好的分格
int main(void)
{
printf("%d", 4*ADD(2, 3));//上述写法会导致,结果出现错误,4*2+3 = 11
return 0;
}
** #define定义的宏替换规则:**
- 在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先
被替换 - 替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值所替换。
- 最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上
述处理过程
.#与##
--------------#的功能:他可以将宏参数变为字符串
int main()
{
int a = 4;
printf("the value of"" a is %d", a);
char c = 'a';
printf("the value of"" c is %c", c); //
return 0;
}
有没有一种方式可以使上述代码代码更简化一些,只需要知道变量的类型和变量的名字就可以,上述代码两个相邻的字符串可以自动连接。所以我们可以这样设计
#define PRINT(value, format) printf("the value of"#value"is" format"\n", value);
int main()
{
int a = 4;
PRINT(a, "%d");
char c = 'a';
PRINT(c, "%c");
return 0;
}
--------------##的功能:把位于它两边的符号合成一个符号
#define ADD(num, value) sum##num += value;
ADD(1, 4); //给num1加4
.带副作用的宏参数
当宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能
出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如: 对x加1这个操作,x++就有副作用,而x+1没副作用
.宏和函数的对比
宏的优点:
- 省去了函数调用和返回导致的开销,速度比函数快
- 函数的参数必须声明为特定的类型,而宏没有这方面限制,而宏什么都可以传
宏的缺点:
- 每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,否则可能大幅度增加程序
的长度。 - 没有类型检查,不够严谨
- 不便于调试
- 可能会带来运算符优先级的问题,导致程容易出现错;建议多写括号
- 宏不能递归
- 带有副作用的参数会对宏产生不可预知的影响
例如:动态内存分配的时候要想简写,函数是做不到的
#define MALLOC(count, type) (type*)malloc(size*sizeof(type));
MALLOC(10, int);
MALLOC(20, char);
(三).#undef
#undef 的作用是取消前面的宏定义
例如:
#define MALLOC(count, type) (type*)malloc(size*sizeof(type));
MALLOC(10, int); //正确
#undef MALLOC
MALLOC(20, char); //错误
(四).命令行定义
许多C 的编译器提供了一种能力,允许在命令行中定义符号。用于启动编译过程。
例如:当我们根据同一个源文件要编译出一个程序的不同版本的时候,这个特性有点用处。(假定某个
程序中声明了一个某个长度的数组,如果机器内存有限,我们需要一个很小的数组,但是另外一个机器
内存大些,我们需要一个数组能够大些。
Linux写命令行编译的指令: gcc programe.c -D ARRAY_SIZE=10
(五).条件编译
在编译一个程序的时候我们如果要将一条语句(一组语句)编译或者放弃是很方便的。因为我们有条件
编译指令。
常见的条件编译指令:
1.
#if 常量表达式 //表达式为真执行,为假不执行
//...
#endif
//常量表达式由预处理器求值。
如:
#define __DEBUG__ 1
#if __DEBUG__
//..
#endif
------2.多个分支的条件编译
#if 常量表达式
//...
#elif 常量表达式
//...
#else
//...
#endif
-------3.判断是否被定义
#if defined(symbol) //不管是真还是假,只要定义就会执行
#ifdef symbol
#if !defined(symbol)
#ifndef symbol
--------4.嵌套指令
#if defined(OS_UNIX)
#ifdef OPTION1
unix_version_option1();
#endif
#ifdef OPTION2
unix_version_option2();
#endif
#elif defined(OS_MSDOS)
#ifdef OPTION2
msdos_version_option2();
#endif
#endif
(六).头文件包含
包含头文件的方法:
- #define"stdio.h" :这种包含方法的查找策略是先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标准位置查找头文件,找不到就提示编译错误
- #define<stdio.h>**:**查找头文件直接去标准路径下去查找,如果找不到就提示编译错误
Linux的标准头文件的路径:
/usr/include
vs环境的标准头文件的路径:
C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include
//这是VS2013的默认路径
- 应该按照自己的安装路径去找
- 库文件最好不要""包含,因为这样会导致效率下降,还不能分清哪个是库文件,哪个是本地文件
当同一个头文件被多次包含的时候,会造成代码冗余,要想解决这个问题有两种方法:
- 条件编译,借助上述条件编译指令,防止头文件被多次包含
- #pragma once预处理执行
//方法一:
#ifndef __TEST_H__
#define __TEST_H__
//头文件的内容
#endif //__TEST_H_
//2.也可以在每个头文件的开头写
#pragma once