C++中巨集定義中字串拼接，標誌貼上
阿新 • • 發佈：2019-01-26
關於記號貼上操作符(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));
#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));