宏定義尤其是帶參數的宏定義，特別容易出現一些隱藏問題，因為宏定義在預處理階段是按照定義原封不動的進行展開，此時如果展開之后涉及到運算符優先級的問題，那么隱藏bug就此出現。

這里我先列舉一個簡單的例子，然后歸納下帶參數宏定義對于括號使用的一些說明。

1.構造帶有隱藏bug的宏定義

下面定義兩個帶參數宏，MUL_TWO是將兩個數進行相乘，MUL_THREE是將三個數進行相乘。

#defineMUL_TWO(val1,val2)(val1*val2)
#defineMUL_THREE(x,y,z)(MUL_TWO(x,y)*z)

比如我這里計算2 * 3 * 4的運算結果，那么只需調用宏MUL_THREE(2, 3, 4)就可得到計算結果為：24，計算結果是正確的。但是如果將MUL_THREE(2, 3, 4)修改為MUL_THREE(1+1, 1+2, 1+3)，此時的運算結果又是多少呢，很簡單，我們將這個宏進行展開，展開的過程如下所示：

MUL_THREE(1+1,1+2,1+3)=>(MUL_TWO(1+1,1+2)*1+3)
(MUL_TWO(1+1,1+2)*1+3)=>((1+1*1+2)*1+3)

然后我們計算下，得出結果是7，是不是計算錯誤了。

2.改造上述宏定義

這里的宏定義還是比較簡單的，并且大多數的小伙伴應該都知道在定義帶參數的宏時，參數需要使用括號括起來，那么我們改造下上述的宏，改造結果如下所示：

#defineMUL_TWO(val1,val2)((val1)*(val2))
#defineMUL_THREE(x,y,z)(MUL_TWO(x,y)*z)

此時再來對MUL_THREE(1+1, 1+2, 1+3)進行展開，展開的過程如下所示：

MUL_THREE(1+1,1+2,1+3)=>(MUL_TWO(1+1,1+2)*1+3)
(MUL_TWO(1+1,1+2)*1+3)=>(((1+1)*(1+2))*1+3)

然后我們計算下，得出結果是9，計算結果還是有問題。仔細檢查下宏定義，原來是對MUL_THREE宏的z沒有用括號括起來，這個問題也是比較容易犯的，修改好之后的宏如下所示：

#defineMUL_TWO(val1,val2)((val1)*(val2))
#defineMUL_THREE(x,y,z)(MUL_TWO(x,y)*(z))

此時再來對MUL_THREE(1+1, 1+2, 1+3)進行展開，展開的過程如下所示：

MUL_THREE(1+1,1+2,1+3)=>(MUL_TWO(1+1,1+2)*(1+3))
(MUL_TWO(1+1,1+2)*(1+3))=>(((1+1)*(1+2))*(1+3))

此時的計算結果就是沒問題的了。

這里我再提個問題，為什么你在MUL_THREE宏中，只使用括號括起了z，為啥x和y你不同等對待，確實哈，如果對于不是很熟悉的小伙伴，可能看到我說的情況，會毫不猶豫的也對x和y進行同樣的保護；也有的小伙伴看到我說的這個情況可能腦子里面就暈了。

3.帶參數宏定義對于括號使用的一些說明

其實不對x和y做保護是有一個前提的，那就是你所定義的每一個宏定義都要確保對在當前宏中使用到的參數用括號進行保護。不知道各位明白我的意思不，不明白的話，看看我下面的總結吧。

帶參數宏定義，對于括號何時使用的總結：

(1).帶參數宏定義，如果參數在當前的宏中有進行運算，那么必須對該參數使用括號括起來（類似例子中MUL_THREE里面的z，MUL_TWO里面的val1和val2）；

(2).帶參數宏定義，如果參數沒有在當前的宏中有進行運算，而是直接當成參數傳遞給其他的宏，那么該參數是不用使用括號進行保護的（類似例子中MUL_THREE里面的x和y）。

對于上面的總結第(2)點，能夠對傳遞給其他宏的參數不進行括號保護是因為總結的第(1)點已經對宏做了一個規定，只要所有的宏定義都按照第(1)點進行書寫，那么第(2)點自然也就不會出什么問題。

審核編輯：劉清