C語言條件編譯及編譯預處理階段

轉自：http://www.cnblogs.com/rusty/archive/2011/03/27/1996806.html

一、C語言由源代碼生成的各階段如下：

C源程序－>編譯預處理－>編譯－>優化程序－>彙編程序－>鏈接程序－>可執行文件

       其中 編譯預處理階段，讀取c源程序，對其中的僞指令（以#開頭的指令）和特殊符號進行處理。或者說是掃描源代碼，對其進行初步的轉換，產生新的源代碼提供給編譯器。預處理過程先於編譯器對源代碼進行處理。

       在C語言中，並沒有任何內在的機制來完成如下一些功能：在編譯時包含其他源文件、定義宏、根據條件決定編譯時是否包含某些代碼。要完成這些工作，就需要使用預處理程序。儘管在目前絕大多數編譯器都包含了預處理程序，但通常認爲它們是獨立於編譯器的。預處理過程讀入源代碼，檢查包含預處理指令的語句和宏定義，並對源代碼進行響應的轉換。預處理過程還會刪除程序中的註釋和多餘的空白字符。

二、僞指令（或預處理指令）定義

      預處理指令是以#號開頭的代碼行。#號必須是該行除了任何空白字符外的第一個字符。#後是指令關鍵字，在關鍵字和#號之間允許存在任意個數的空白字符。整行語句構成了一條預處理指令，該指令將在編譯器進行編譯之前對源代碼做某些轉換。下面是部分預處理指令：

指令  用途 # 空指令，無任何效果 #include 包含一個源代碼文件 #define 定義宏 #undef 取消已定義的宏 #if 如果給定條件爲真，則編譯下面代碼 #ifdef 如果宏已經定義，則編譯下面代碼 #ifndef 如果宏沒有定義，則編譯下面代碼 #elif 如果前面的#if給定條件不爲真，當前條件爲真，則編譯下面代碼，其實就是else if的簡寫 #endif 結束一個#if……#else條件編譯塊 #error 停止編譯並顯示錯誤信息

三、預處理指令主要包括以下四個方面：

1、宏定義指令

      宏定義了一個代表特定內容的標識符。預處理過程會把源代碼中出現的宏標識符替換成宏定義時的值。宏最常見的用法是定義代表某個值的全局符號。宏的第二種用法是定義帶參數的宏（宏函數），這樣的宏可以象函數一樣被調用，但它是在調用語句處展開宏，並用調用時的實際參數來代替定義中的形式參數。

 

1.1 #define指令
1.1.1 #define預處理指令用來定義宏。該指令最簡單的格式是：聲明一個標識符，給出這個標識符代表的代碼（比如像圓周率這樣的數）。在後面的源代碼中，我們就可以使用定義的宏取代要使用的代碼，舉例如下：

//例1 #define MAX_NUM 10 int array[MAX_NUM]; for(i=0;i<MAX_NUM;i++)

   在這個例子中，對於閱讀該程序的人來說，符號MAX_NUM就有特定的含義，它代表的值給出了數組所能容納的最大元素數目。程序中可以多次使用這個值。作爲一種約定，習慣上總是全部用大寫字母來定義宏，這樣易於把程序的宏標識符和一般變量標識符區別開來。如果想要改變數組的大小，只需要更改宏定義並重新編譯程序即可。

1.1.2 使用宏的好處有兩點：

一是使用方便。如下：

//例2 #define PAI 3.1415926

PAI顯然比3.1415926寫着方便。

二是定義的宏有了意義，可讀性強。如例1，MAX_NUM，望文生意便知是最大數量的意思，比單純使用10這個數字可讀性要強的多。

三是容易修改。如例1，如果在程序中有幾十次會使用到MAX_NUM，修改只需要在宏定義裏面修改一次就可以，否則你會修改到崩潰。

1.1.3 宏表示的值可以是一個常量表達式，允許宏嵌套（必須在前面已定義）。例如：

//例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指令（宏函數）
    帶參數的宏和函數調用看起來有些相似。看一個例子：

//例4 #define Cube(x) (x)*(x)*(x)

    可以時任何數字表達式甚至函數調用來代替參數x。這裏再次提醒大家注意括號的使用。宏展開後完全包含在一對括號中，而且參數也包含在括號中，這樣就保證了宏和參數的完整性。看一個用法：

//例4用法 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++;

宏函數使用不當會出現一些難以發現的錯誤，請慎重使用。

1.3 #運算符
    出現在宏定義中的#運算符把跟在其後的參數轉換成一個字符串。有時把這種用法的#稱爲字符串化運算符。例如：

//例5 #define PASTE(n) "adhfkj"#n int main() { printf("%s\n",PASTE(15)); return 0; } //輸出adhfj15

宏定義中的#運算符告訴預處理程序，把源代碼中任何傳遞給該宏的參數轉換成一個字符串。所以輸出應該是adhfkj15。

1.4 ##運算符（很少用）
    ##運算符用於把參數連接到一起。預處理程序把出現在##兩側的參數合併成一個符號。看下面的例子：

//例6 #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; } //最後程序的輸出爲: 123 aabbcc

 

2、條件編譯指令。

      程序員可以通過定義不同的宏來決定編譯程序對哪些代碼進行處理。條件編譯指令將決定那些代碼被編譯，而哪些是不被編譯的。可以根據表達式的值或者某個特定的宏是否被定義來確定編譯條件。

2.1 #if/#endif/#else/#elif指令
    #if指令檢測跟在製造另關鍵字後的常量表達式。如果表達式爲真，則編譯後面的代碼，知道出現#else、#elif或#endif爲止；否則就不編譯。
    #endif用於終止#if預處理指令。
    #else指令用於某個#if指令之後，當前面的#if指令的條件不爲真時，就編譯#else後面的代碼。

//例7 #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指令的作用。

//例8 #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，重複包含，會出現一些type redefination之類的錯誤。
#if defined等價於#ifdef; #if !defined等價於#ifndef

3、頭文件包含指令。

採用頭文件的目的主要是爲了使某些定義可以供多個不同的C源程序使用。因爲在需要用到這些定義的C源程序中，只需加上一條#include語句即可，而不必再在此文件中將這些定義重複一遍。預編譯程序將把頭文件中的定義統統都加入到它所產生的輸出文件中，以供編譯程序對之進行處理。

  #include預處理指令的作用是在指令處展開被包含的文件。包含可以是多重的，也就是說一個被包含的文件中還可以包含其他文件。標準C編譯器至少支持八重嵌套包含。預處理過程不檢查在轉換單元中是否已經包含了某個文件並阻止對它的多次包含，這個的處理辦法上面已經給出。

  在程序中包含頭文件有兩種格式：
        #include <my.h>
        #include "my.h"
   第一種方法是用尖括號把頭文件括起來。這種格式告訴預處理程序在編譯器自帶的或外部庫的頭文件中搜索被包含的頭文件。第二種方法是用雙引號把頭文件括起來。這種格式告訴預處理程序在當前被編譯的應用程序的源代碼文件中搜索被包含的頭文件，如果找不到，再搜索編譯器自帶的頭文件。
   採用兩種不同包含格式的理由在於，編譯器是安裝在公共子目錄下的，而被編譯的應用程序是在它們自己的私有子目錄下的。一個應用程序既包含編譯器提供的公共頭文件，也包含自定義的私有頭文件。採用兩種不同的包含格式使得編譯器能夠在很多頭文件中區別出一組公共的頭文件。

4、特殊符號。

預編譯程序可以識別一些特殊的符號。預編譯程序對於在源程序中出現的這些串將用合適的值進行替換。

4.1 __LINE__

注意，是雙下劃線，而不是單下劃線 。
__FILE__ 包含當前程序文件名的字符串
__LINE__  表示當前行號的整數
__DATE__ 包含當前日期的字符串
__STDC__  如果編譯器遵循ANSI C標準，它就是個非零值
__TIME__ 包含當前時間的字符串

//例9 #include<stdio.h> int main() {    printf("Hello World!\n");    printf("%s\n",__FILE__);    printf("%d\n",__LINE__);    return 0; }

4.2 #line等

#error指令將使編譯器顯示一條錯誤信息，然後停止編譯。
#line指令改變_LINE_與_FILE_的內容，它們是在編譯程序中預先定義的標識符。
#pragma指令沒有正式的定義。編譯器可以自定義其用途。典型的用法是禁止或允許某些煩人的警告信息。

//例10,#line舉例 #line 100          //初始化行計數器 #include<stdio.h> //行號100 int main() { printf("Hello World!\n"); printf("%d",__LINE__); return 0; } //輸出104

四、預編譯程序所完成的基本上是對源程序的“替代”工作。經過此種替代，生成一個沒有宏定義、沒有條件編譯指令、沒有特殊符號的輸出文件。這個文件的含義同沒有經過預處理的源文件是相同的，但內容有所不同。下一步，此輸出文件將作爲編譯程序的輸出而被翻譯成爲機器指令。