预处理指令(1) - 序

        编译C程序之前，先由预处理器检查和处理程序代码；根据程序中使用的预处理指令，预处理器使用符号缩略语代表的内容替换程序中的缩略语。预处理器可以根据请求包含其他文件，还可以选择让编译器要处理的代码块。预处理器一般是接受一些文本，并转换成其他格式。

===============================================================

一、预处理前动作

1.1、源代码中字符集映射到源字符集；

1.2、查找并合并逻辑行

C源码中\后紧跟ENTER的两行实际上是逻辑上的一行，在预处理前会将其先合并成一个逻辑行，因此，一个逻辑行可能包含若干个物理行；并且由于预处理的单位是一逻辑行，此处为预处理做了充分的准备；（源文件中 \ + ENTER键实现两个物理行链接成一个逻辑行）

示例

#define HAL "what are you \

going to do !"

物理上的两行，在预处理前被处理成

#define HAL "what are you going to do !"

逻辑上的一行内容（上下两行首位内容的直接拼接在一起构成一行）

1.3、每一个逻辑行划分为语言符号(token) 序列、空白字符、注释序列

token代表由 空白字符 分割的单独的“词(word)”

空白字符包括 空格、tab、制表符号、换行符

编译器使用 一个空格字符 代替每一个逻辑行中的 注释序列；用 一个空格字符 代替每一空 白字符序列（不包括换行符号，否则就会破坏逻辑行；逻辑行的分割记号就是换行符）

----------------------------------------------------------------------

语言符号(token)   型字符串

字符型                  字符串

token是宏主体中使用【空白字符】分割的单独的“词(word)”

在处理主体中得多个空格字符时，二者是不同的：

当主体解释为token型字符串时，预处理器使用由单个空格分割的token序列实现宏替换

当主体解释为字符型字符串时，预处理器使用原始的主体字符串实现宏替换

例子

下例中[]代表一个空格，以使表达清晰

#define[]A[]2*2                 定义了一个语言符号2*2

#define[]A[]2[]*[]2             定以来三个语言符号2、*、2

#define[]A[]2[][][]*[][][]4     定义了三个语言符号2、*、4

当作token型字符串时，使用2[]*[]4 进行替换

当作字符型字符串时，使用2[][][]*[][][]4进行替换

----------------------------------------------------------------------

1.4、开始进行预处理，预处理指令是一些由#开头指令

===============================================================

二、预处理指令规范

2.1、ANSI规范

2.1.1、#符号前可以有空格或制表符号

2.1.2、#符号和其后预处理指令间可以有空格

为了兼容老版本C，和使源代码阅读方便，建议#在每行最左边一列，并且#和其后预处理指 令间没有任何字符。

2.2、预处理指令作用域

预处理指令可以出现在源文件中的任何地方，其作用域是从定义出现的位置开始直到该文件的结尾。

2.3、预处理指令包含的字符内容

预处理指令是从#开始，直到其后的第一个换行符为止，其间的字符序列构成一条预处理指令，即预处理指令的长度是一个逻辑行（见1.2）

===============================================================

注意事项PS

1、双引号中的字符串是字符串常量，其存储在以\0结尾的字符串数组中

示例

#define HAL 'Z'    定义的是单个字符常量

#define HAL "Z"   定义的是一个字符串常量

2、一般而言，预处理器发现程序中的宏后，会用 主体 递归式的替换宏名；但是对于出现在双引号中的宏名，则预处理器不进行宏替换；

3、从宏变成最终的替换文本的过程成为 宏展开（macro expansion）

4、在预处理行中可以使用标准的C注释，此时注释在预处理前会用单个空格代替（见1.3）

5、有些预处理器支持宏嵌套，而有些则不支持（我想现在还是支持宏嵌套的预处理器居多）

~~~~~~~~~~~未完待续~~~~~~~~~~~