宏函數(shù)對(duì)于每個(gè)C++程序員都決不陌生，就算是初出茅廬的C++程序員也知道如何定義、使用宏函數(shù)。

但是當(dāng)初學(xué)者看到類似于以下這種宏函數(shù)嵌套的時(shí)候，可能還是會(huì)比較嘀咕，

#define CONVERTSTR(x) #x
#define CONVERTSTR2(x) CONVERTSTR(x)

第二個(gè)宏函數(shù)所做的事情不就是再一次調(diào)用上面的宏函數(shù)嗎，這難道不屬于畫蛇添足嗎？這樣做有什么意義呢？別急，我們慢慢來捋一下。

了解#和##

要想熟練的寫出宏函數(shù)，了解其中的操作符必不可少，在預(yù)編譯體系自定義的幾個(gè)操作符中， #和##比較特殊，它們的作用是：

將標(biāo)識(shí)符轉(zhuǎn)換為字符串，它又被稱為字符串化操作符，用法如下

#define CONVERTSTR(x) #x
string s3 { CONVERTSTR(4) }; //這里CONVERTSTR(4)被擴(kuò)展為"4"

將不同的標(biāo)識(shí)符連接起來，它被稱為符號(hào)連接操作符，用法如下

struct ABC
{

};

#define DECLARE_MAKE(x) x* Make_##x() {return new x();}
DECLARE_MAKE(ABC) //被擴(kuò)展為 ABC* Make_ABC{return new ABC();}
ABC * ap = Make_ABC();

可見這兩操作符的運(yùn)算結(jié)果取決于傳入的標(biāo)識(shí)符的名稱，那么如果傳入的標(biāo)識(shí)符本身就是一個(gè)宏變量呢？

宏變量亂入的情況

還是剛剛的例子，

#define CONVERTSTR(x) #x
#define VAR 10
std::cout << CONVERTSTR(VAR);

猜猜，這個(gè)時(shí)候的輸出是多少？10 還是 VAR?
按照預(yù)處理器替換的原則，VAR被替換成10，接著10被轉(zhuǎn)換為"10"，但是真是這樣嗎？

運(yùn)行之后發(fā)現(xiàn)，輸出是VAR不是10，為什么呢？

替換規(guī)則

這是因?yàn)楫?dāng)宏函數(shù)中，如果包含了#或者##，替換規(guī)則會(huì)比較特殊，引用一段原文如下：

After the arguments for the invocation of a function-like macro have been identified,
argument substitution takes place. A parameter in the replacement list, unless preceded by
a # or ## preprocessing token or followed by a ## preprocessing token (see below), is
replaced by the corresponding argument after all the macros contained therein have been
expanded. Before being substituted, each argument's preprocessing tokens are completely
macro replaced as if they formed the rest of the preprocessing file; no other preprocessing
tokens is available.

簡(jiǎn)而言之，對(duì)于宏函數(shù)來說，一般情況下當(dāng)看到函數(shù)體的時(shí)候，參數(shù)替換就已經(jīng)完成了（像用10替換VAR），但是對(duì)于有操作符#和##的參數(shù)，這個(gè)參數(shù)替換步驟就不會(huì)發(fā)生，所以CONVERTSTR(VAR)只會(huì)擴(kuò)展為 "VAR"而不會(huì)擴(kuò)展為"10"

修復(fù)方法

其實(shí)講到這里答案已經(jīng)很明顯了，使用間接宏函數(shù)能完美解決這個(gè)問題

#define CONVERTSTR(x) #x
#define CONVERTSTR2(x) CONVERTSTR(x)

在原有函數(shù)的基礎(chǔ)上再定義一個(gè)包裝函數(shù)，這個(gè)包裝函數(shù)并沒有任何#或者##，這樣就確保了參數(shù)可以正確展開，接著轉(zhuǎn)發(fā)請(qǐng)求給真正需要使用的那個(gè)函數(shù)。

#define VAR 10
std::cout << CONVERTSTR2(VAR);

這樣就能確保在使用VAR調(diào)用函數(shù)的時(shí)候它已經(jīng)被正確展開了。

這就是間接宏函數(shù)和為什么要使用它們的原因，希望下次看到它們的時(shí)候不要再覺得這是畫蛇添足了喲。

到此這篇關(guān)于C++中的間接宏函數(shù)的文章就介紹到這了,更多相關(guān)C++間接宏函數(shù)內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論