1. 程式人生 > >C++/C巨集定義中## 連線符與# 符的含義

C++/C巨集定義中## 連線符與# 符的含義

轉載

## 連線符號由兩個井號組成,其功能是在帶引數的巨集定義中將兩個子串(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));