巨集定義中if語句的用法
阿新 • • 發佈：2019-01-30
當巨集定義中含有 if 時
1) 定義如下巨集
#define DC(p) if( foo(p) )fun(p)
用在下面的環境中
if(k>n)
DC(k);
else
DC(n);
巨集替換後,如下
if(k>n)
if( foo(k) )
fun(k);
else
if( foo(n) )
fun( n );
可見, 原來的 if 和 else 不再配對.
2) 為了避免這類問題, 我們可以將包含if語句的巨集定義為一個整體.
#define DC(p) {if( foo(p) ) fun(p);}
但是, 替換後變為
if(k>n)
{
if( foo(k) )
fun(k);
};else ...
由於else前面多了個分號, 編譯時會提示錯誤沒有與else配對的if.
3)因為這些原因, 在巨集定義中, 經常會將語句序列放入 do{...}while(0)塊中.
如下
#define DC(p) do{( if( foo(p) ) fun(p); }while(0)
替換後
if(k>n)
do
{
if( foo(k) )
fun(k);
}while(0);
else
...
程式可以正常執行
4)替換方案
a)採用 ? : 表示式
#define DC(p) ( (foo(p)) ? (fun(p)):0)
b)利用布林運算的短路徑求值屬性
#define DC(p) ( (foo(p)) && (fun(p), 1) )
1) 定義如下巨集
#define DC(p) if( foo(p) )fun(p)
用在下面的環境中
if(k>n)
DC(k);
else
DC(n);
巨集替換後,如下
if(k>n)
if( foo(k) )
fun(k);
else
if( foo(n) )
fun( n );
可見, 原來的 if 和 else 不再配對.
2) 為了避免這類問題, 我們可以將包含if語句的巨集定義為一個整體.
#define DC(p) {if( foo(p) ) fun(p);}
但是, 替換後變為
if(k>n)
{
if( foo(k) )
fun(k);
};else ...
由於else前面多了個分號, 編譯時會提示錯誤沒有與else配對的if.
3)因為這些原因, 在巨集定義中, 經常會將語句序列放入 do{...}while(0)塊中.
如下
#define DC(p) do{( if( foo(p) ) fun(p); }while(0)
替換後
if(k>n)
do
{
if( foo(k) )
fun(k);
}while(0);
else
...
程式可以正常執行
4)替換方案
a)採用 ? : 表示式
#define DC(p) ( (foo(p)) ? (fun(p)):0)
b)利用布林運算的短路徑求值屬性
#define DC(p) ( (foo(p)) && (fun(p), 1) )
參考書籍: <<程式碼閱讀方法與實踐>>
附例：
#define testError(errType, errCode, fmtString...) do{\ if ((errType == TEST_NOTE) || (errType == TEST_MISC)){\ debugLogPrintf(ERR_TES_CLASS, ERR_MINOR, fmtString);\ }else{\ errLogPrintf(ERR_TES_CLASS, ERR_ERROR, fmtString);\ }}while(0);