C/C++中 宏定義字串 操作

關於記號粘貼操作符(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));

本文來自CSDN部落格，轉載請標明出處：http://blog.csdn.net/wesleyluo/archive/2010/05/21/5613842.aspx