概述:
宏是C和C++語言的抽象設(shè)施中最生硬的工具,它是披著函數(shù)外衣的饑餓的狼,很難馴服,它會我行我素地游走于各處。要避免使用宏。
討論:
在C++中,幾乎從不需要使用宏。
可以用const或者enum定義易于理解的常量,用inline避免函數(shù)調(diào)用的開銷,用template指定函數(shù)系列和類型系列,用namespace避免名稱沖突。
C++的宏的主要問題在于,它們表面上看起來很好,而實(shí)際上做的卻是另一回事。宏會忽略作用域,忽略類型系統(tǒng),忽略所有其他的語言特性和規(guī)則,而且會劫持它為文件其余部分所定義(#define)的符號。宏調(diào)用看上去很像符號或者函數(shù)調(diào)用,但實(shí)際上并非如此。宏不太“衛(wèi)生”,也就是說,它會根據(jù)自己被使用時所處的環(huán)境引人注目而且令人驚奇地展開為各種東西。宏需要進(jìn)行文本替換,因此編寫遠(yuǎn)距離也正確的宏接近于一種魔法,而精通這種魔法既無意義又無趣味。
不少人認(rèn)為與模板相關(guān)的錯誤都是最難以解讀的,他們可能還沒有看到誤寫和誤用的宏所引起的那些錯誤。模板是C++類型系統(tǒng)的一部分,因此編譯器可以更好地對它們進(jìn)行處理,而宏天生是與語言本身割裂開來的,因此很難處理。更糟的是,與模板不同,宏可能展開為在偶然情況下能夠編譯的“傳輸線噪音”。最后,宏中的錯誤可能只有在宏展開之后才能被報告出來,而不是在定義時。
即使在極少的情況下,有正當(dāng)理由編寫宏,也決不要考慮編寫一個以常見詞或者縮略語為名字的宏。盡可能快的取消宏的定義(#undef)。
示例:
1、定義一個宏#define min(n, m) ((n) < (m) ? (n) : (m))
定義兩個變量a和b,min(++a, b) 傳入之后是這樣 ((++a) < (b) ? (++a) : (b)) 如果++a小于b的話,a就自加了兩次,很明顯不符合宏使用的初衷。
2、將模板實(shí)例化轉(zhuǎn)給宏,宏僅能理解C語言的小括號和方括號,并將其進(jìn)行匹配。然而,C++又定義了一個新的括號結(jié)構(gòu),即模板中使用的尖括號<和>。宏無法正確的匹配它們,這意味著在下面的宏調(diào)用中:
MACRO(Foo<int,double>)
宏會認(rèn)為傳給自己的是兩個參數(shù),即Foo<int和double>,而事實(shí)上該結(jié)構(gòu)是一個C++實(shí)體。
例外情況:
宏仍然是幾個重要任務(wù)的唯一解決方案,比如#include保護(hù)符,條件編譯中的#ifdef和#ifndef,以及assert的實(shí)現(xiàn)。
在條件編譯中,要避免在代碼中到處雜亂地插入#ifdef。相反,應(yīng)該對代碼進(jìn)行組織,利用宏在驅(qū)動一個公共接口的多個實(shí)現(xiàn),然后始終使用該接口。
如果不想到處復(fù)制粘貼代碼段,那么可以使用宏,但要非常小心。
來自:《C++編程規(guī)范》