C/C++编译预处理:宏定义指令、文件包含指令、条件编译指令和特殊符号处理

从源代码生成可执行文件的各个阶段为:

C源程序(.c)->编译预处理(.i)->编译(.s)->优化程序->汇编程序(.o)>链接程序->可执行文件(.exe)

  其中 编译预处理阶段,预处理器读取c源程序,进行初步的转换,即对其中的伪指令(以#开头的指令)和特殊符号进行处理后,翻译得到一个ASCII码的中间文件main.i交给编译器。预处理过程在编译时处理包含其他源文件、定义宏、根据条件决定编译时是否包含某些代码等工作,还会删除程序中的注释和多余的空白字符。

伪指令(或预处理指令)定义    

预处理指令是以#号开头的代码行。#号必须是该行除了任何空白字符外的第一个字符。#后是指令关键字,在关键字和#号之间允许存在任意个数的空白字符。整行语句构成了一条预处理指令,该指令将在编译器进行编译之前对源代码做某些转换。下面是部分预处理指令:

   指令         用途
    #           空指令,无任何效果
    #include    包含一个源代码文件
    #define     定义宏
    #undef      取消已定义的宏
    #if         如果给定条件为真,则编译下面代码
    #ifdef      如果宏已经定义,则编译下面代码
    #ifndef     如果宏没有定义,则编译下面代码
    #elif       如果前面的#if给定条件不为真,当前条件为真,则编译下面代码,其实就是else if的简写
    #endif      结束一个#if……#else条件编译块
    #error      停止编译并显示错误信息
预处理指令主要包括以下四个方面:

1、宏定义指令:#define,这是最常见的用法,它可以定义符号常量、函数功能、重新命名、字符串的拼接等各种功能。       

2、条件编译指令:#if,#ifndef,#ifdef,#elif,#endif,#undef等也是比较常见的预处理,主要是进行编译时进行有选择的挑选,注释掉一些指定的代码,以达到版本控制、防止对文件重复包含的功能。

3、头文件包含指令#include 是一种最为常见的预处理,主要是做为文件的引用组合源程序正文。

4、特殊符号处理:可以识别一些特殊的符号。预编译程序对于在源程序中出现的这些串将用合适的值进行替换。


一、宏定义指令

  宏定义了一个代表特定内容的标识符。预处理过程会把源代码中出现的宏标识符替换成宏定义时的值。宏最常见的用法是定义代表某个值的全局符号。宏的第二种用法是定义带参数的宏(宏函数),这样的宏可以象函数一样被调用,但它是在调用语句处展开宏,并用调用时的实际参数来代替定义中的形式参数。

1.1 #define指令
1.1.1 #define预处理指令用来定义宏。该指令最简单的格式是:声明一个标识符,给出这个标识符代表的代码(比如像圆周率这样的数)。在后面的源代码中,我们就可以使用定义的宏取代要使用的代码,举例如下:

#define MAX_NUM 10
int array[MAX_NUM];
for(i=0;i

  在这个例子中,对于阅读该程序的人来说,符号MAX_NUM就有特定的含义,它代表的值给出了数组所能容纳的最大元素数目。程序中可以多次使用这个值。作为一种约定,习惯上总是全部用大写字母来定义宏,这样易于把程序的宏标识符和一般变量标识符区别开来。如果想要改变数组的大小,只需要更改宏定义并重新编译程序即可。

1.1.2 使用宏的好处有两点:

一是使用方便。如下:

#define PAI 3.1415926
PAI显然比3.1415926写着方便。

二是定义的宏有了意义,可读性强。如例1,MAX_NUM,望文生意便知是最大数量的意思,比单纯使用10这个数字可读性要强的多。

三是容易修改。如例1,如果在程序中有几十次会使用到MAX_NUM,修改只需要在宏定义里面修改一次就可以,否则你会修改到崩溃。

1.1.3 宏表示的值可以是一个常量表达式,允许宏嵌套(必须在前面已定义)。例如:

#define ONE 1
#define TWO 2
#define SUM(ONE+TWO)
这里需要注意两点:
一是注意上面的宏定义使用了括号。尽管它们并不是必须的。但出于谨慎考虑,还是应该加上括号的。例如:
            six=THREE*TWO;
    预处理过程把上面的一行代码转换成:
            six=(ONE+TWO)*TWO;
    如果没有那个括号,就转换成six=ONE+TWO*TWO;了。

也就是说预处理仅是简单的字符替换,要时刻注意这一点,很多错误都会因此出现。

二是虽然我们举例用了#define ONE 1 这个例子,但是一般要求宏定义要有其实际意义,#define ONE 1这种没意义的宏定义是不推荐的。(大概是这么个意思,忘记具体怎么说了)

1.1.4 宏还可以代表一个字符串常量,例如:
            #define VERSION "Version 1.0 Copyright(c) 2003"

1.2 带参数的#define指令(宏函数)
    带参数的宏和函数调用看起来有些相似。看一个例子:

#define Cube(x) (x)*(x)*(x)

    可以时任何数字表达式甚至函数调用来代替参数x。这里再次提醒大家注意括号的使用。宏展开后完全包含在一对括号中,而且参数也包含在括号中,这样就保证了宏和参数的完整性。看一个用法:

int num=8+2;
volume=Cube(num);
  展开后为(8+2)*(8+2)*(8+2);
    如果没有那些括号就变为8+2*8+2*8+2了。
    下面的用法是不安全的:
            volume=Cube(num++);
    如果Cube是一个函数,上面的写法是可以理解的。但是,因为Cube是一个宏,所以 会产生副作用。这里的书写不是简单的表达式,它们将产生意想不到的结果。它们展开后是这样的:
            volume=(num++)*(num++)*(num++);
    很显然,结果是10*11*12,而不是10*10*10;
    那么怎样安全的使用Cube宏呢? 必须把可能产生副作用的操作移到宏调用的外面进行
            int num=8+2;
            volume=Cube(num);
            num++;

宏函数使用不当会出现一些难以发现的错误,请慎重使用。

几点注意:

  • 宏替换只是字符串和标识符之间的简单替换,预处理本身不做任何数据类型和合法性检查,也不分配内存单元
  • 宏定义时,形参通常要用括号括起来,否则容易导致逻辑错误。例如,如果定义:
        #define S(a,b) a*b/2
    那么程序中的S(3+5,4+2)就会被宏展开为3+5*4+2/2,不符合定义的真正的意图。
  • 带参宏定义形式上像定义函数,但它与函数的本质不同。宏定义只是产生字符串替代,不存在分配内存和参数传递。
1.3 #运算符
    出现在宏定义中的#运算符把跟在其后的参数转换成一个字符串。有时把这种用法的#称为字符串化运算符。例如:

#define PASTE(n) "adhfkj"#n
int main()
{
       printf("%s\n",PASTE(15));
       return 0;
}
//输出adhfj15
宏定义中的#运算符告诉预处理程序,把源代码中任何传递给该宏的参数转换成一个字符串。所以输出应该是adhfkj15。


1.4 ##运算符(很少用)
    ##运算符用于把参数连接到一起。预处理程序把出现在##两侧的参数合并成一个符号。看下面的例子:

#define NUM(a,b,c) a##b##c
#define STR(a,b,c) a##b##c
int main()
 {
       printf("%d\n",NUM(1,2,3));
       printf("%s\n",STR("aa","bb","cc"));
       return 0;
 }
//最后程序的输出为:
aabbcc
二、条件编译指令

     程序员可以通过定义不同的宏来决定编译程序对哪些代码进行处理。条件编译指令将决定那些代码被编译,而哪些是不被编译的。可以根据表达式的值或者某个特定的宏是否被定义来确定编译条件。

2.1 #if/#endif/#else/#elif指令
    #if指令检测跟在制造另关键字后的常量表达式。如果表达式为真,则编译后面的代码,知道出现#else、#elif或#endif为止;否则就不编译。
    #endif用于终止#if预处理指令。
    #else指令用于某个#if指令之后,当前面的#if指令的条件不为真时,就编译#else后面的代码。

#define DEBUG       //此时#ifdef DEBUG为真
//#define DEBUG 0  //此时为假
int main()
{
   #ifdef DEBUG
      printf("Debugging\n");
   #else
      printf("Not debugging\n");
   #endif
   printf("Running\n");
   return 0;
}

这样我们就可以实现debug功能,每次要输出调试信息前,只需要#ifdef DEBUG判断一次。不需要了就在文件开始定义#define DEBUG 0

#elif预处理指令综合了#else和#if指令的作用。

#define TWO
int main()
{
   #ifdef ONE
          printf("1\n");
   #elif defined TWO
          printf("2\n");
   #else
          printf("3\n");
   #endif
}
//输出结果是2。

2.2 #ifdef和#ifndef

这二者主要用于防止重复包含。我们一般在.h头文件前面加上这么一段:

//funcA.h
#ifndef FUNCA_H
#define FUNCA_H
//头文件内容
#end if
这样,如果a.h包含了funcA.h,b.h包含了a.h、funcA.h,假如不加上上面这么一段,则意味着重复包含funcA .h头文件,从而会出现一些type redefination之类的错误。
#if defined等价于#ifdef; #if !defined等价于#ifndef

三、头文件包含指令

采用头文件的目的主要是为了使某些定义可以供多个不同的C源程序使用。因为在需要用到这些定义的C源程序中,只需加上一条#include语句即可,而不必再在此文件中将这些定义重复一遍。预编译程序将把头文件中的定义统统都加入到它所产生的输出文件中,以供编译程序对之进行处理。

  #include预处理指令的作用是在指令处展开被包含的文件。包含可以是多重的,也就是说一个被包含的文件中还可以包含其他文件。标准C编译器至少支持八重嵌套包含。预处理过程不检查在转换单元中是否已经包含了某个文件并阻止对它的多次包含,这个的处理办法上面已经给出。

  在程序中包含头文件有两种格式:
        #include
        #include "my.h"
   第一种方法是用尖括号把头文件括起来。这种格式告诉预处理程序在编译器自带的或外部库的头文件中搜索被包含的头文件。第二种方法是用双引号把头文件括起来。这种格式告诉预处理程序在当前被编译的应用程序的源代码文件中搜索被包含的头文件,如果找不到,再搜索编译器自带的头文件。
   采用两种不同包含格式的理由在于,编译器是安装在公共子目录下的,而被编译的应用程序是在它们自己的私有子目录下的。一个应用程序既包含编译器提供的公共头文件,也包含自定义的私有头文件。采用两种不同的包含格式使得编译器能够在很多头文件中区别出一组公共的头文件。

四、特殊符号处理

预编译程序可以识别一些特殊的符号。预编译程序对于在源程序中出现的这些串将用合适的值进行替换。

4.1 __LINE__

注意,是双下划线,而不是单下划线 。
__FILE__ 包含当前程序文件名的字符串
__LINE__  表示当前行号的整数
__DATE__ 包含当前日期的字符串
__STDC__  如果编译器遵循ANSI C标准,它就是个非零值
__TIME__ 包含当前时间的字符串
注意,是双下划线,而不是单下划线 。
__FILE__ 包含当前程序文件名的字符串
__LINE__  表示当前行号的整数
__DATE__ 包含当前日期的字符串
__STDC__  如果编译器遵循ANSI C标准,它就是个非零值
__TIME__ 包含当前时间的字符串
//例9
#include
int main()
{
   printf("Hello World!\n");
   printf("%s\n",__FILE__);//字符串形式输出该程序文件名(含路径)
   printf("%d\n",__LINE__);//输出该行在该文件中的行号
   return 0;
}

4.2 #line等

#error指令将使编译器显示一条错误信息,然后停止编译。
#line指令改变_LINE_与_FILE_的内容,它们是在编译程序中预先定义的标识符。
#pragma指令没有正式的定义。编译器可以自定义其用途。典型的用法是禁止或允许某些烦人的警告信息。

#line   100          //初始化行计数器 
#include    //行号100
int main()
{
    printf("Hello World!\n");
    printf("%d",__LINE__);
    return 0;
}
//输出104


总结:预编译程序所完成的基本上是对源程序的“替代”工作。经过此种替代,生成一个没有宏定义、没有条件编译指令、没有特殊符号的输出文件。这个文件的含义同没有经过预处理的源文件是相同的,但内容有所不同。下一步,此输出文件将作为编译程序的输出而被翻译成为机器指令。





你可能感兴趣的:(C/C++,编译预处理,宏定义,条件编译)