C++/C巨集定義中## 連線符與# 符的含義
阿新 • • 發佈:2019-01-25
## 連線符號由兩個井號組成,其功能是在帶引數的巨集定義中將兩個子串(token)聯接起來,從而形成一個新的子串。但它不可以是第一個或者最後一個子串。所謂的子串(token)就是指編譯器能夠識別的最小語法單元。具體的定義在編譯原理裡有詳盡的解釋,但不知道也無所謂。同時值得注意的是#符是把傳遞過來的引數當成字串進行替代。下面來看看它們是怎樣工作的。這是MSDN上的一個例子。
假設程式中已經定義了這樣一個帶引數的巨集:
#define paster( n ) printf( "token" #n " = %d", token##n )
同時又定義了一個整形變數:
int token9 = 9;
現在在主程式中以下面的方式呼叫這個巨集:
paster( 9 );
那麼在編譯時,上面的這句話被擴充套件為:
printf( "token" "9" " = %d", token9 );
注意到在這個例子中,paster(9);中的這個”9”被原封不動的當成了一個字串,與”token”連線在了一起,從而成為了token9。而#n也被”9”所替代。
可想而知,上面程式執行的結果就是在螢幕上打印出token9=9
關於記號貼上操作符(token paste operator): ##
1. 簡單的說,“##”是一種分隔連線方式,它的作用是先分隔,然後進行強制連線解釋成分段標誌,對於每一段和前面比較,相同的就被替換。但是這樣做的結果是,
被替換段之間存在一些空格。如果我們不希望出現這些空格,就可以通過新增一些
##來替代空格。 另外一些分隔標誌是,包括操作符,比如 +, -, *, /, [,], …,所以儘管下面的
巨集定義沒有空格,但是依然表達有意義的定義: define add(a, b) a+b 而其強制連線的作用是,去掉和前面的字串之間的空格,而把兩者連線起來。 2. 舉列 – 試比較下述幾個巨集定義的區別 #define A1(name, type) type name_##type##_type 或
#define A2(name, type) type name##_##type##_type A1(a1, int); /* 等價於: int name_int_type; */
A2(a1, int); /* 等價於: int a1_int_type; */ 解釋:
1) 在第一個巨集定義中,”name”和第一個”_”之間,以及第2個”_”和第二個
”type”之間沒有被分隔,所以前處理器會把name_##type##_type解釋成3段:
“name_”、“type”、以及“_type”,這中間只有“type”是在巨集前面出現過
的,所以它可以被巨集替換。 2) 而在第二個巨集定義中,“name”和第一個“_”之間也被分隔了,所以
前處理器會把name##_##type##_type解釋成4段:“name”、“_”、“type”
以及“_type”,這其間,就有兩個可以被巨集替換了。 3) A1和A2的定義也可以如下:
#define A1(name, type) type name_ ##type ##_type
<##前面隨意加上一些空格>
#define A2(name, type) type name ##_ ##type ##_type 結果是## 會把前面的空格去掉完成強連線,得到和上面結果相同的巨集定義 3. 其他相關 – 單獨的一個 # 至於單獨一個#,則表示 對這個變數替換後,再加雙引號引起來。比如 #define __stringify_1(x) #x
那麼
__stringify_1(linux) <==> ”linux” 所以,對於MODULE_DEVICE_TABLE 1) #define MODULE_DEVICE_TABLE(type,name)
MODULE_GENERIC_TABLE(type##_device,name)
2) #define MODULE_GENERIC_TABLE(gtype,name)
extern const struct gtype##_id __mod_##gtype##_table
__attribute__ ((unused, alias(__stringify(name)))) 得到
MODULE_DEVICE_TABLE(usb, products)
/*notes: struct usb_device_id products; */
<==> MODULE_GENERIC_TABLE(usb_device,products)
<==> extern const struct usb_device_id __mod_usb_device_table
__attribute__ ((unused, alias(”products”))) 注意到alias attribute需要一個雙引號,所以在這裡使用了__stringify(name)來
給name加上雙引號。另外,還注意到一個外部變數”__mod_usb_device_table”被alias
到了本驅動專用的由使用者自定義的變數products<usb_device_id型別>。這個外部變數
是如何使用的,更多的資訊請參看《probe()過程分析》。 4. 分析方法和驗證方式 – 編寫一個簡單的C程式 用巨集定義一個變數,同時用直接方式定義一個相同的變數,編譯報告重複定義;
用巨集定義一個變數,直接使用該巨集定義的變數名稱,編譯通過且執行結果正確;
使用printf列印字串資料。printf(”token macro is %s”, __stringify_1(a1));