c語言裡的宏（翻譯）4

原文在這裡

宏參數

function-like宏可以帶參數，就好像函數帶參數一樣。定一個一個帶參數宏的時候，把參數插入到兩個括弧之間，就好像定義函數的參數一樣。這就是該類宏被稱為function-like宏的原因。宏參數必須是合法的C標識，由逗號和空格隔開。

調用帶參數的宏，你可以在寫完宏名之後插一對括弧，然後在括弧裡跟實參，由逗號隔開。宏調用的代碼並不是必須寫在一行裡，你可以想寫多少行就寫多少行。實參的數目必須符號定義時參數的數目。宏展開時，宏內容裡的參數會自動被實參內容替代。（並不是所有的參數都必須在宏內容裡出現。）

舉個例子，這裡有一個宏，作用是計算兩個數值中較小的那一個，c語言的代碼裡常出現這樣的宏

     #define min(X, Y)  ((X) < (Y) ? (X) : (Y))       x = min(a, b);          ==>  x = ((a) < (b) ? (a) : (b));       y = min(1, 2);          ==>  y = ((1) < (2) ? (1) : (2));       z = min(a + 28, *p);    ==>  z = ((a + 28) < (*p) ? (a + 28) : (*p));

（在這個小宏裡面，你已經可以看到很多帶參數宏的危險，詳情請看宏的陷阱）

起始的和末尾的空格會被慮掉，兩個記號之間的所有空格都會被替換成一個空格。每個參數間的括弧必須配對；括弧內的逗號不會結束語句。然而，中括弧和大括弧則不必配對，並且中括弧或大括弧內的逗號會被當成是分割兩個參數的記號，所以

     macro (array[x = y, x + 1])

解析出了兩個參數：array[x = y， 以及x + 1]。如果你想要的結果是把array[x=y, x+1]整個當成參數，那麼你就得這樣寫：array[(x=y, x+1)]。

所有的宏參數都在替換到宏內容之前展開。替換了之後，完整的內容又被掃描一遍，以便宏內容包括參數本身被展開。這條規則看上去很奇怪，但它是仔細設計過的，這麼做的結果就是，你完全不必關心你調用的到底是函數還是宏。實際上如果你想在這點上表現的聰明點，結果反而會很糟。參看參數預掃描擷取更多的細節。

舉個例子，min (min (a, b), c)首先被展開成

 min (((a) < (b) ? (a) : (b)), (c))

然後展開成

     ((((a) < (b) ? (a) : (b))) < (c)      ? (((a) < (b) ? (a) : (b)))      : (c))

（這裡的分行只是為了看著方便，不是真的會展開成分行的代碼）

你可以把宏參數留空，前置處理器不會認為這是個錯誤（但是很多宏會展開成不合法代碼）。但是你不能完全不管參數。如果一個宏帶兩個參數，參數列表的頂層必須只能有一個逗號

     min(, b)        ==> ((   ) < (b) ? (   ) : (b))     min(a, )        ==> ((a  ) < ( ) ? (a  ) : ( ))     min(,)          ==> ((   ) < ( ) ? (   ) : ( ))     min((,),)       ==> (((,)) < ( ) ? ((,)) : ( ))          min()      錯誤，min宏要求兩個參數，但這裡只有一個參數

min(,,)    錯誤，min宏裡面傳入了3個參數，但實際只需要兩個

空格不是預先處理符號，所以如果宏foo帶一個參數，foo  ()和foo  (   )都提供給宏一個空參數。之前的GNU前置處理器對這一點的實現和文檔都是錯誤的。

字元常量裡出現的宏參數名不會展開：

#define foo(x) x, "x"

foo(bar)        ==> bar, "x"