预处理是C语言的一个重要功能,它由预处理程序负责完成。当对一个源文件进行编译时,系统将自动调用预处理程序对源程序中的预处理部分作处理,处理完毕自动进入对源程序的编译。
C语言提供多种预处理功能,主要处理#开始的预编译指令,如宏定义(#define)、文件包含 (#include)、条件编译(#ifdef)等。合理使用预处理功能编写的程序便于阅读、修改、移植和调试,也有 利于模块化程序设计。
在这里,我们详细说一下宏定义(#define)
#define
指令#define定义了一个宏名标识符及一个字符序列(即字符集合)。在源程序中每次遇到该宏名 标识符时,就用定义的字符序列替换它。标识符被称为宏名,替换过程称为宏替换,指令的一般形式为
#define macro_name char_sequence
注意,该语句没有分号。在标识符和字符序列之间可以有任意个空格。
1.宏常量
例如,如希望用字符序列LEFT代表1,字符序列RIGHT代表0,可以声明这两个#define指令
#define RIGHT 0 //宏定义末尾不必加分号,否则连分号一并替换,宏定义不分配内存,没有类型。
#define LEPT 1
如此,当源文件进行预编译时,每次遇到LEFT或RIGHIT时就用1或0代替,例如下列程序在屏幕输出1 0 1
printf("%d %d %d\n", LEFT, RIGHT, RIGHT + 1);
宏定义最一般的用途是定义程序中常量的名字,例如在数组的定义时,使用宏常量替换,这样做的好处是当我们需要改变数组大小时,不用在繁琐的代码中寻找每个位置进行更改,只需改变宏定义,再对程序进行编译即可。
#define ARR_SIZE 100
int arr[ARR_SIZE];
2.字符序列
宏替换仅仅是以与之关联的字符序列代替标识符。
因此,如果希望定义一个提示信息来提示输入错误,可编写如下代码∶
#define WARR_MES "input error!\n"
printf(WARR_MES);
那么程序在进行预编译的时遇到WARR_MES时,用字符串"input error!\n"进行替换,对编译器来说printf()语句的实际形式为:
printf("input error!\n");
如果在字符串中含有宏名标识符,则不进行替换。例如∶
#define MAX 10
printf("MAX = MAX\n");
如果字符序列超过一行,可以在该行末尾用一个反斜杠续行。例如:
#define TEST "this is a\
long ward.\n"
printf(TEST);
3.定义类似函数的宏
#define命令的另一个有用特性是∶宏名可以有变元。
每次遇到宏名时、其定义中所用的变元均由程序中的实元来代替,这种形式的宏称为类似函数的宏。例如∶
#include <stdio.h>
#define ABS(a) ((a) < 0 ? -(a) : (a))//宏名和变元之间不能有空格
int main()
{
printf("abs(-1) = %d\n", ABS(-1));
return 0;
}
上述程序中包含a的括号确保了每种情形下的正确替换。 例如,如果围绕 a 的括号被去掉,表达式:
#include<stdio.h>
#define ABS(a) a < 0? -a:a
int main()
{
ABS (10-20); //宏替换只作替换,不做计算,不做表达式求解。
return 0;
}
在宏替换后变成:
10-20< 0 ? -10-20 :10-20
显然会出现错误
4.预处理运算符
有三种预处理器运算符∶#,#@,##。这些运算符与#define语句一起使用。
4.1#运算符
通常称为stringifie(字符串化)运算符,使得在它后面的变元转换成带双引号的串。
例如:
include <stdio.h>
#define mkstr(s) #s
int main()
{
printf(mkstr(I Like C));
return 0;
}
那么编译器将printf()语句变为:
printf("I Like C");
4.2 ##操作符
称为 pasting(粘贴,链接)运算符,用于连接两个符号。例如∶
include <stdio.h>
#define concat(a,b) a##b
int main(void)
{
int xy = 10;
printf("%d",concat(x,y));//宏进行的结合不存在类型,也没有类型转换。
printf("%s",concat("hello","myworld"));
return 0;
}
我们也可以简单分析出编译器将printf()语句进行如下替换
printf("%d",xy);
printf("%s","hellomyworld");
4.3 #@操作符
其功能是将其后面的变元进行字符化。例如:
#define TO_CHAR(x) #@x
int main()
{
//通过宏的字符化运算符,可以将数字进行字符转换
char a = TO_CHAR(1);
char b = TO_CHAR(9);
return 0;
}
5 #undef
#undef指令取消其后那个前面已定义过的宏名。#undef的一般形式为:
#undef macro_name
例如:我们可以将前面定义的宏取消定义
#define ARR_SIZE 100
int arr[ARR_SIZE];
#undef ARR_SIZE
直到遇到 #undef语句之前,ARR_SIZE一直存在定义。
#undef 的重要目的是将宏名局限于仅需要它们的代码段中。