關于記號粘貼操作符(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程序
用宏定義一個變量,同時用直接方式定義一個相同的變量,編譯報告重復定義;
用宏定義一個變量,直接使用該宏定義的變量名稱,編譯通過且運行結果正確;