關(guān)于記號粘貼操作符(token paste operator): ##
1. 簡單的說，“##”是一種分隔連接方式，它的作用是先分隔，然后進(jìn)行強(qiáng)制連接。
其中，分隔的作用類似于空格。我們知道在普通的宏定義中，預(yù)處理器一般把空格
解釋成分段標(biāo)志，對于每一段和前面比較，相同的就被替換。但是這樣做的結(jié)果是，
被替換段之間存在一些空格。如果我們不希望出現(xiàn)這些空格，就可以通過添加一些
##來替代空格。
另外一些分隔標(biāo)志是，包括操作符，比如 +, -, *, /, [,], …，所以盡管下面的
宏定義沒有空格，但是依然表達(dá)有意義的定義： define add(a, b) a+b
而其強(qiáng)制連接的作用是，去掉和前面的字符串之間的空格，而把兩者連接起來。
2. 舉列 – 試比較下述幾個宏定義的區(qū)別
#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”之間沒有被分隔，所以預(yù)處理器會把name_##type##_type解釋成3段：
“name_”、“type”、以及“_type”，這中間只有“type”是在宏前面出現(xiàn)過
的，所以它可以被宏替換。
2) 而在第二個宏定義中，“name”和第一個“_”之間也被分隔了，所以
預(yù)處理器會把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
結(jié)果是## 會把前面的空格去掉完成強(qiáng)連接，得到和上面結(jié)果相同的宏定義
3. 其他相關(guān) – 單獨的一個 #
至于單獨一個#，則表示 對這個變量替換后，再加雙引號引起來。比如
#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
到了本驅(qū)動專用的由用戶自定義的變量products<usb_device_id類型>。這個外部變量
是如何使用的，更多的信息請參看《probe()過程分析》。
4. 分析方法和驗證方式 – 編寫一個簡單的C程序
用宏定義一個變量，同時用直接方式定義一個相同的變量，編譯報告重復(fù)定義；
用宏定義一個變量，直接使用該宏定義的變量名稱，編譯通過且運(yùn)行結(jié)果正確；