你必須知道的C語言預先處理的問題詳解

　　C語言前置處理器執行宏替換、條件編譯和檔案包含。通常採用以“#”為行首的提示。下面是C語言預先處理的應用場合：

　　1.三字母詞（Trigraph Sequences）

　　C來源程式的字元集被包含在7位的ASCII字元集中，但是它是ISO 646-1983 Invariant Code Set的超集。為了讓程式可以在縮減集(reduced set)中呈現出來，下面的三字母詞會被替換成相應的單字元.

三字母詞	單字元
??=	#
??/	\
??'	^
??(	[
??)	]
??!	|
??<	{
??>	}
??-	~

　　替換髮生在任何其他處理之前。

　　例如：如果你嘗試列印字串"what??!"　　

複製代碼 代碼如下: printf("what??!\n");

　　會得到字串"what|"。

　　如果你這樣注釋代碼，結果會讓你意外：　　

複製代碼 代碼如下:// Will the next line be executed?????????????/
a++;

　　a++並不會執行。前提是你知道\的作用。

　　注意：由於編譯器對ANSI C的支援不一樣，有些編譯器會把三字母詞當一般字元處理，你需要給編譯選項加上“-trigraphs”

　　2.行拼接

　　以反斜線"\"結尾的行會把該行和下一行拼接成一行(前置處理器做的工作就是把該反斜線'"\"和接著的換行字元'\n'刪除)。［'\'稱為續行符］

　　例如你可以這樣寫

複製代碼 代碼如下:/\
* is a legal comment. *\
/

　　3.宏定義和展開

　　a)簡單宏替換

　　簡單宏替換使程式中能用一個標識符來表示一個單詞串，指令形式為：

複製代碼 代碼如下:#define 標識符 單詞串

　　標識符（稱為宏名）被定義為後面的單詞串；單詞串（簡稱串）是任意以換行結束的用於替換程式中該標識符的本文。如果串太長需要寫成多行，則除了最後一行外每一行末尾都要有一個續行符（即添加一個“\”後斷行符號）。

　　注意：字串常數中出現的與宏名相同的字串不在替換之列。例如：

複製代碼 代碼如下:#define YES 1
printf("YES"); // 輸出 YES，而不是1

　　b)帶參數的宏替換

　　預先處理指令的形式為：

複製代碼 代碼如下:#define 標識符(標識符,標識符,...,標識符) 單詞串

　　“標識符(標識符,標識符,...,標識符)”是被定義的宏，()外面的標識符稱為宏名，()中的標識符是宏的形式參數；宏名與其後的()之間不能有空白符。

　　例如：　　

複製代碼 代碼如下:#define max(a,b) ((a)>(b)? (a): (b))

　　操作符#和##

　　　　操作符#把其後的串變成雙引號包圍的串；

　　　　操作符##把兩個標誌符拼在一起，形成一個新的標識符

複製代碼 代碼如下:#define str(expr)　　　　#expr
#define cat(x,y) 　　x ## y

int ab=12;
printf(str(hello world!));　　　　　　// 會被替換成 printf("hello world!");
printf("ab=%d\n", cat(a,b)); // 會被替換成 printf("ab=%d\n", ab); 輸出 ab=12

　　宏替換時的順序　　複製代碼 代碼如下:#include <stdio.h>
#define f(a,b)　　a##b
#define g(a)　　　#a
#define h(a)　　　g(a)

int main()
{
printf("%s\n", h(f(1,2)));
printf("%s\n", g(f(1,2)));
return 0;
}

　　輸出結果是12和f(1,2)。為什麼會這樣呢，宏的解開不像函數，由裡到外。

　　（1）在""內的宏名或宏參數名不被替換

　　（2）宏替換順序：一個帶參數的宏內部調用另一個宏，參數也是一個宏，則先替換外層的宏，再替換外層宏的參數，最後替換內層宏。

　　知道這些規則對於出現上面的結果就不難理解了。

　　溫馨提示：在寫帶參數的宏替換指令時，推薦的做法時將單詞串中的每一個參數都用()括起來，整個運算式也要用()括起來；否則，替換結果可能不是你想要的，例如：

複製代碼 代碼如下:#define sqr(x) x * x
// 如果程式中的宏的引用形式為
sqr(3.0+1.0); // 經預先處理後會被替換為 3.0 + 1.0 * 3.0 + 1.0

　　結果與你的原意(3.0+1.0)*(3.0+1.0)不等價

　　c)取消宏定義

複製代碼 代碼如下:#undef 標識符

　　會使宏名標識符失去定義。如果#undef 一個沒有定義過的標識符 也不會引發錯誤。

　　4.檔案包含　　

複製代碼 代碼如下:#include <filename>　　　　 // 引用標準庫的標頭檔(編譯器將從標準庫目錄開始搜尋)
#include "filename" // 引用非標準庫的標頭檔(編譯器將從使用者的工作目錄開始搜尋)
#include 標識符 // 標識符是由#define 定義的<filename>或"filename"的宏名

　　5.條件編譯

　　條件編譯指令格式如下：

複製代碼 代碼如下:

if-line 本文
[#elif 常量運算式 本文]
...
[#else 本文]
#endif

　　if-line為下面中的任意一種形式：

　　（1）#if 常量運算式

　　（2）#ifdef 標識符

　　（3）#ifndef 標識符

　　defined操作符用來判斷標識符是否定義過。形式如下：

　　defined identifier

或

　　defined (identifier)

　　下面的

　　#ifdef identifier

　　#ifndef identifier

　　等價於

　　#if defined identifier

　　#if ! defined identifier

　　6.行控制

　　行控制指令有下列兩種形式

　　（1）#line n "filename"

　　（2）#line n

　　行控制預先處理功能為其他產生C來源程式的預先處理程式（例如資料庫系統中的宿主C先行編譯程式）在跟蹤被處理常式（例如被宿主C先行編譯程式處理的副檔名為.pc的先行編譯來源程式）的行號時提供方便，便於終端使用者的來源程式查錯和該錯。它會使編譯器相信n（十進位正整數）為下一個來源程式行的行號，“filename”會被當作當前檔案名稱。

　　7.建置錯誤

　　#error error_messageopt

　　讓編譯器輸出錯誤資訊error_message

　　8.Pragmas

　　#pragma token-sequenceopt

　　#pragma是編譯器實現時定義的指令，它允許由此向編譯器傳入各種指令。例如，一個編譯器可能具有支援跟蹤程式執行的選項，此時可以用#pragma語句選擇該功能。編譯器忽略其不支援的#pragma選項。#pragma提高C來源程式對編譯器的可移植性。

　　9.空指令

　　形如

　　#

　　沒有任何作用

　　10.預定義宏

　　C語言規範了5個固有的預定義宏，他們分別是

　　__LINE__　　當前來源程式的行號

　　__FILE__　　正在編譯的程式的檔案名稱

　　__DATE__　　編譯的日期文字，形如"Mmm dd yyyy"

　　__TIME__　　編譯的時間字串，形如"hh:mm:ss"

　　__STDC__　　如果__STDC__的內容是十進位常數1，則表示編譯器的實現符合標準C