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