小心！C 語言巨集定義缺少括號導致的運算子優先權陷阱

在 C 語言程式設計中，巨集是提升程式碼複用性的利器，但若不小心處理運算子優先權，極易引發難以察覺的邏輯錯誤。本文透過一個經典的 max 巨集錯誤案例，深入剖析缺少括號所導致的災難性後果，並給出正確的寫法。

錯誤的巨集定義

#define max_2(a,b) a>b?a:b
#define max_3(a,b,c) (a>b?a:b)>c?(a>b?a:b):c

乍看之下似乎沒問題，但當巨集參數本身包含運算式時，由於三元運算子的優先權極低，編譯器展開後的程式碼行為將與預期大相徑庭。

血淚除錯過程

作者在解決 OJ 題目時，使用上述巨集導致持續 WA（Wrong Answer）。反覆檢查邏輯無果後，最終發現罪魁禍首正是巨集定義。修正後的版本：

#define max_2(a,b) ((a)>(b)?(a):(b))
#define max_3(a,b,c) (( (a)>(b)?(a):(b) )>(c)?( (a)>(b)?(a):(b) ):(c))

加上括號後程式順利 AC（Accepted）。

深度分析：為什麼會錯？

以 max_2(x,y) x>y?x:y 為例，當呼叫 a = max_2(2,1) + 3 時，展開為：

a = 2 > 1 ? 2 : 1 + 3

根據運算子優先權，+ 高於 ?:，因此實際執行的是 a = (2 > 1 ? 2 : (1 + 3))，結果為 2，而非預期的 5。同理，b = max_2(1,2) + 3 展開為 b = 1 > 2 ? 1 : 2 + 3，結果為 5。同樣的巨集，因參數順序不同卻產生不同的運算順序，這極其隱蔽且危險。

即使在外層加上括號：e = (max_2(2,1) + 3) << ...，也無法改變巨集內部展開後的優先權問題。

另一個無法編譯的案例

當巨集用於更複雜的運算式中，甚至會導致語法錯誤，編譯器直接報錯（見原文截圖）。

最佳實踐：永遠記得加括號

• 參數加括號：(a), (b) 防止參數為運算式時優先權錯亂。
• 整體加括號：巨集展開式最外層包裹 ( ... )，確保巨集作為單一運算單元參與外部運算。
• 巢狀巨集同理：max_3 內部呼叫 max_2 時，也必須確保 max_2 已正確加括號。

結語：「不要忘了關鍵的括號，不然害人不淺。」這不僅是巨集定義的鐵律，也是 C/C++ 程式設計師必須內化的防衛性程式設計習慣。