C预处理器
C预处理器是一种简单的宏处理器。
预处理器是由特殊的预处理器命令行控制的,它们是以#符号开头的源文件行。
预处理器的一般操作:从源文件中删除所有的预处理器命令行,并在源文件中执行这些预处理器命令所指定的转换操作
预处理器代码行的语法与C语言其他部分的语法是完全独立的,但经过预处理所产生的源代码必须在上下文环境中合法
常见的预处理器命令:
#define 定义一个预处理器宏
#undef 取消一个预处理器宏
#include 插入另一个源文件的文本
#if 测试一个常量表达式的值
#ifdef 测试如果一个宏已被定义
#ifndef 测试如果一个宏没有被定义
#else 测试失败后
#endif 终止条件文本
#line 提供用于编译器信息的行号
#elif 与else if相似
defined 判断一个宏是否被定义,已定义返回1,否则返回0,其与#if和#elif联用
# 将#后的宏标记转化为字符串
## 将两个相邻的宏标记连接成一个整体标记
#pragma 指定依赖编译器的信息
#error 用指定的信息产生一个编译时错误
1.预处理器词法约定
·以#开始的行被看成是预处理器命令
·命令的名称必须紧随#字符之后(标准C编译器允许#后出现空格,而一些旧式编译器不允许)
·如果只有一个#,则被看null指令,当成空行处理
·如果命令名称后不包含命令参数,则命令名称后必须是空白字符或注释,例:
#define PLUS + 或 #define PLUS /* */ +
·如果命令名称带参数,则左括号必须紧随命令名称
·如果一个宏被展开之后是一些看上去像预处理器命令,这些命令不会被标准C编译器所认识, 例:
#define GETMATH #include <math.h>
GETMATCH展开后为 # include < math . h>,会被编译为错误C代码
·在命令行末加\可以进行续行,例
#define err(flag,msg) if(flag) \
printf(msg)
2.宏的定义
·语法:
·Object-liked defined
#define 宏名 标记序列
·With parameter list defined
#define 宏名(parameter list) 标记序列
3.宏扫描
·规则:当一个宏被展开之后,对宏调用的扫描就在宏展开的开始位置继续,使宏名称在被展开宏的内部可以被认识,以便进一步的宏替换,例
#define plus(x,y) add(y,x)
#define add(x,y) ((x)+(y))
对plus(plus(a,b),c)进行宏展开,步骤如下:
plus(plus(a,b),c)
=>add(c,plus(a,b))
=>((c)+(plus(a,b)))
=>((c)+(add(b,a)))
=>((c)+((b)+(a)))
·自身宏嵌套
·在标准C中,出现在自身的展开体中的宏并不会被重新展开
·旧式的C预处理器在传统中并不会检测这种递归,而是试图继续展开直到系统出错为止
4.预定义的宏
·常用的预定义的宏有:
__LINE__ 当前源程序行的行号,用十进制整数常量表示
__FILE__ 当前源文件的名称,用字符串常量表示
__FUNCTION__ 当前源函数的名称,用字符串常量表示
__DATE__ 编译时的日期,用“MM dd yyyy”形式的字符串常量表示
__TIME__ 编译时的时间,用“hh:mm:ss”形式的字符串常量表示
__STDC__ 当且只当编译器遵循ISO标准时,它的值是十进制常量1
__STDC__VERSION__ 如果编译器遵循C99,则这个宏的值是199901L,其他情况下,该宏没定义
__STDC__HOSTED__ 当前是宿主系统,该宏值为1,当前是独立系统,这个宏值为0
__STDC__IEC__559__ 如果浮点实现遵循IEC 60599标准,这个宏值为1,否则无定义
__STDC__IEC__559__COMPLEX__ 如果复数运算实现遵循IEC 60559标准,则该宏值为1,否则未定义
__STDC__ISO10646__ 定义为一个长整数常量
5.取消宏定义和宏的重定义
·使用#undef命令,语法:
#undef 宏名
·避免宏的重定义,使用#ifndef或#ifdef命令,例
#ifndef MYHEADER_H
#define MYHEADER_H 2000
#endif
6.宏展开的优先级错误
·宏的操作完全是标记的文本替换,只有在宏展开结束后,才会把宏体解析为声明,表达式或语句,例:
#define SQUARE(x) x*x
SQUARE(a)=>a*a //ok
SQUARE(a+b)=>a+b*a+b //???
·避免这种事件发生,可以使用括号
#define SQUARE(x) (x)*(x)
SQUARE(a+b)=>(a+b)*(a+b) //ok
7.把标记转换为字符串
·在标记序列中使用#,例
#define TEST(a,b) printf( #a "<" #b "=%d\n", (a)<(b) )
TEST(0,0xFFFF)=>printf("0<0xFFFF=%d\n", (0)<(0xFFFF))
8.宏展开中的标记合并
·在标中使用##,例
#define NAME(i) name ## i
NAME(1)=>name1
9.宏的可变参数列表
·使用省略号来表示宏参数中的可变参数列表,语法:
#define 宏名(参数列表,...) 标记序列
#define 宏名(...) 标记序列
·在标记序列中使用__VA__ARGS__来对应参数列表中的...,例
#define MAKE_EM_A_STRING(...) #__VA__ARGS__
MAKE_EM_A_STRING(a,b,c,d)=>"a,b,c,d"
10.文件包含
·使用#include命令,形式如下:
#include <字符序列>
#include "字符序列"
#include 标记序列
·使用<>和""的区别在于编译器查找包含文件的方式
<>:根据编译器的定义规则和路径进行查找
"":从源文件的当前路径开始查找,如果不存在,则以<>形式来处理
11.条件编译
·使用#if,#else,#endif命令,形式:
#if 常量表达式
....
#else
...
#endif
·使用#elif命令,形式
#if 常量表达式1
...
#elif 常量表达式2
...
#elif 常量达式n
...
#else
...
#endif
·使用#ifdef和#ifndef命令,形式
#ifdef 宏名
表示如果该宏名已被定义,则相当于#if 1
如果该宏名没有定义,则相当于#if 0
·defined操作符
·defined操作符可以在#if和#elif表达式中使用,不能用于别处,形式
defined name
defined (name)
例:
#if defined(VAX) 代替
#ifdef VAX
12.显示的行号
·使用#line命令,形式:
#line n "filename"
#line n
表示源代码的下一行来自用户所编写的filename的文件的第n行,n必须是十进制数字
13.pragma指定
·以添加新的预处理器功能或者向编译器提供因实现而异的信息
·标准pragma命令
#pragma [FP_CONTRACT|FENV_ACCESS|CX_LIMITED_RANGE] [ON|OFF|DEFAULT]
·_Pragma操作符,形式:
_Pragma("字符串序列")
例:
_Pragma("STDC FENV_ACCESS ON") 等价于
#pragma STDC FENV_ACCESS ON
14.错误指令
·使用#error命令,形式
#error 预处理器标记
·如果信息中包含有宏,而不想将宏进行展开,可以使用字符串形式
#define SIZE 1024
#if (SIZE%256 !=0 )
#error "SIZE must be a multiple of 256"
#endif
15.关于一些旧编译器空白字符的预处理
例:
#define INC ++
#define TAB internal_table
#define INCTAB table_of _increments
#define CONC(x,y) x/**/y
对于CONC(INC,TAB)进行展开,标准与非标准编译器处理方式:
标准 非标准
CONC(INC,TAB) CONC(INC,TAB)
INC TAB INCTAB 这里出现了不一样的结果
++ internal_table table_of_increments 导致结果也不一样了