目录
一 代码的编译
程序要运行起来,必须要经过四个步骤:预处理、编译、汇编和链接。接下来通过几个简单的例子来详细讲解一下这些过程。
对于链接,是先将所有.c
文件编译,最后汇总链接
组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个 人的程序库,将其需要的函数也链接到程序中。
1.1 编译,汇编,链接
编译过程是将预编译处理好的C代码经过一系列处理转换为汇编代码。
主要有以下几个方面的处理:
1、语法分析
2、词法分析
3、语义分析
4、符号汇总
编译过程完成后,进入汇编过程,该过程会将汇编代码转换为二进制代码(机器语言),并会形成符号表。
链接过程会对所有源文件编译汇编后的代码进行合并段表和对符号表进行合并和重定义,也就是链接。
1.2 程序的执行过程
1. 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序 的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
2. 程序的执行便开始。接着便调用main函数。
3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回 地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程 一直保留他们的值。
4. 终止程序。正常终止main函数;也有可能是意外终止。
1.3 预处理
程序只进行预编译,对应生成一个.i文件。
预处理过程进行的操作:
1、将所有的“#define”删除,并且展开所有的宏定义
2、处理所有的条件编译指令,比如“#if”、“#ifdef”、“#elif”、“#else”、“#endif”
3、处理“#include”预编译指令,将被包含的头文件插入到该编译指令的位置。(这个过程是递归进行的,因为被包含的文件可能还包含了其他文件)
4、删除所有的注释“//”和“/* */”。
5、添加行号和文件名标识,方便后边编译时编译器产生调试用的行号心意以及编译时产生编译错误或警告时能够显示行号。
6、保留所有的#pragma编译指令,因为编译器需要使用它们。
二 #define定义宏
1、不带参数的宏
我们可以使用宏来替换一些常量,关键字等标识符。注意宏末尾不要加分号
宏的替换列表可以包括标识符、关键字、数值常量、字符常量、字符串字面量、操作符和排列。当预处理器遇到一个宏定义时,会做一标识符代表 替换列表的记录。在文件后面的内容中,不管标识符在哪里出现,预处理器都会用替换列表代替它。
#define 标识符 替换列表
#define MAX 100
#define MIN 1
#define _CRT_SECURE_NO_WARNINGS 1 //vs编译器下,防止使用不安全函数而报错,如scanf。
#define reg register //为 register这个关键字,创建一个简短的名字
#define do_forever for(;;) //用更形象的符号来替换一种实现
#define CASE break;case //在写case语句的时候自动把 break写上。
// 如果定义的 被替换符 过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠(续行符)。
#define DEBUG_PRINT printf("file:%s\tline:%d\t \
date:%s\ttime:%s\n" ,\
__FILE__,__LINE__ , \
__DATE__,__TIME__ )
2、带参数的宏
宏还可以带参数,可以当做函数使用,但是宏与函数完全不同,只是在少数情况下可能与函数一样。
#define 标识符(x1,x2,….,xm) 替换列表
#define ADD(a,b) (a)+(b) //使用宏求两数之和
#define MAX(a,b) (a > b ? (a) : (b)) //使用宏求两数最大值
#define IS_EVEN(n) ((n) % 2 == 0) //使用宏定义判断是否为偶数的条件
注意: 参数列表的左括号必须与name紧邻。 如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分
//预处理前
i= MAX(j+k,m-n);
if(IS EVEN(i)) i++;
//预处理后
i =((j+k) > (m-n) ? (j+k) : (m-n));
if(((i) % 2 == 0)) i++;
使用带参数的宏时,要对参数加上括号。因为,程序预处理的时候,会把定义的宏替换。看下面的示例。
#define SQUARE( x ) x * x
int main()
{
int a = 1;
SQUARE(a + 1);
return 0;
}
预处理之后:
#define SQUARE( x ) x * x
int main()
{
int a = 1;
a + 1 * a + 1;
return 0;
}
这显然不是我们想要的结果,所以,使用带参数的宏时,需要给参数带上括号。
#define 替换规则
在程序中扩展#define定义符号和宏时,需要涉及几个步骤。
1、在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先 被替换。
2、替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值替换。
3、最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上 述处理过程。
注意:
1、宏参数和#define 定义中可以出现其他#define定义的变量。但是对于宏,不能出现递归
2、当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索
2.1 #和##
首先我们看看这样的代码:
char* p = "hello ""bit\n";
printf("hello"," bit\n");
printf("%s", p);
输出结果为,"hello bit"。我们发现字符串是有自动连接的特点的。
那我们可以这样写代码
#define PRINT(FORMAT, VALUE)\
printf("the value is "FORMAT"\n", VALUE);
...
PRINT("%d", 10);
这里只有当字符串作为宏参数的时候才可以把字符串放在字符串中
我们先来看这样一个代码
void Printf(int n)
{
printf("the value of n is %d\n", n);
}
int main()
{
int a = 10;
int b = 20;
Print(a);
Print(b);
}
我想要Print函数中,使用printf的时候,形参n可以随着传入的参数改变。即Print(a),the value of a is 10。Print(b),the value of b is 20。这个时候该怎么办呢?
解决方法, 使用 # ,把一个宏参数变成对应的字符串。
int i = 10;
#define PRINT(FORMAT, VALUE)\
printf("the value of " #VALUE "is "FORMAT "\n", VALUE);
...
PRINT("%d", i+3);//产生了什么效果?
输出结果为,the value of i+3 is 13
##运算符可以把位于它两边的符号合成一个符号。它允许宏定义从分离的文本片段创建标识符。
具体来说,##运算符可以将两个记号(如标识符)“粘合”在一起。成为一个记号。(无需惊讶,##运算符被称为“记号粘合”。)如果其中一个操作数是宏参数,“粘合”会在形式参数被相应的实际参数替换后发生。考虑下面的宏:
#define ADD_TO_SUM(num, value) \
sum##num += value;
...
ADD_TO_SUM(5, 10);//作用是:给sum5增加10.
注:
这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。
2.2 宏和函数对比
宏通常被应用于执行简单的运算。比如在两个数中找出较大的一个。
#define MAX(a,b) (a > b ? (a) : (b)) //使用宏求两数最大值
那为什么不用函数来完成这个任务?
原因:
1、用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜一筹。
2、更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于>来比较的类型。宏是类型无关的。
当然和宏相比函数也有劣势的地方:
1、每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,否则可能大幅度增加程序的长度。
2、宏是没法调试的。
3、宏由于类型无关,也就不够严谨。
4、宏可能会带来运算符优先级的问题,导致程容易出现错。
宏有时候可以做函数做不到的事情。比如:宏的参数可以出现类型,但是函数做不到。
#define MALLOC(num, type)\
(type *)malloc(num * sizeof(type))
...
//使用
MALLOC(10, int);//类型作为参数
//预处理器替换之后:
(int *)malloc(10 * sizeof(int));
命名约定
一般来讲函数的宏的使用语法很相似。所以语言本身没法帮我们区分二者。
那我们平时的一个习惯是:
1、把宏名全部大写
2、函数名不要全部大写
2.3 带副作用的宏参数
当宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能 出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如:
x+1;//不带副作用
x++;//带有副作用
MAX宏可以证明具有副作用的参数所引起的问题。
#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
...
x = 5;
y = 8;
z = MAX(x++, y++);
printf("x=%d y=%d z=%d\n", x, y, z);//输出的结果是什么?
这里我们得知道预处理器处理之后的结果是什么:
z = ( (x++) > (y++) ? (x++) : (y++));
先计算三木操作符第一个部分,计算出括号里面的表达式(x++)和(y++),x和y的值分别为,6和8。所以计算之后,应该为,(6 > 8 ? (x++) : (y++))。因为6 > 8为假,所以,执行第二个表达式,先使用y的值,再++。所以z = 9;而y = 10;
2.4 预定义宏
C语言有一些预定义宏,每个宏表示一个整数常量或字符串字面量。如下,这些宏提供了当前编译或编译器本身的信息。
__FILE__ //进行编译的源文件
__LINE__ //文件当前的行号
__DATE__ //文件被编译的日期
__TIME__ //文件被编译的时间
__STDC__ //如果编译器遵循ANSI C,其值为1,否则未定义
C99新增的一些宏:
2.5 条件编译
C语言的预处理器可以识别大量用于支持条件编译的指令。条件编译是指根据预处理器所执行的测试结果来包含或排除程序的片断。
调试性的代码,删除可惜,保留又碍事,所以我们可以选择性的编译。
如:
#if 常量表达式 //常量表达式为非0,则编译,否则不编译
...//选择编译取
#endif
示例代码
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
#undef指令可以删除一个宏定义
#undef 标识符
会删除宏N当前的定义。(如果N没有被定义成一个宏,#undef指令没有任何作用。)#undef指令的一个用途是取消宏的现有定义,以便于重新给出新的定义。
2.6 文件包含
#include 指令主要有两种书写格式。第一种格式用于属于C语言自身库的头文件∶
#include<文件名>
查找头文件直接去标准路径下去查找,如果找不到就提示编译错误。
第二种格式用于所有其他头文件,也包含任何自己编写的文件∶
#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__
在VS编译器下还可以使用
#pragma once