深刻理解typedef

 typedef做爲類型定義關鍵字，用於在原有數據類型（包括基本類型、構造類型和指針等）的基礎上，由用戶自定義新的類型名稱。

    在編程中使用typedef的好處，除了爲變量取一個簡單易記且意義明確的新名稱以外，還能夠簡化一些比較複雜的類型聲明。好比：

         typedef int INT32;

將INT32定義爲與int具備相贊成義的名字，這樣類型INT32就可用於類型聲明和類型轉換了，它和類型int徹底相同。好比：              

         INT32      a;                            // 定義整型變量a

         (INT32)    b;                            // 將其它的類型b轉換爲整型

既然已經有了int這個名稱，爲何還要再取一個名稱呢？主要是爲了提升程序的可移植性。好比，某種微處理器的int爲16位，long爲32位。若是要將該程序移植到另外一種體系結構的微處理器，假設編譯器的int爲32位，long爲64位，而只有short纔是16位的，所以必須將程序中的int所有替換爲short，long所有替換爲int，如此這樣修改勢必工做量巨大且容易出錯。若是將它取一個新的名稱，而後在程序中所有用新取的名稱，那麼要移植的工做僅僅只是修改定義這些新名稱便可。也就是說，只須要將之前的：

         typedef int INT16;

         typedef long INT32;

替換成：

     typedef short INT16;

         typedef int INT32;

因而可知，typedef聲明並無建立一個新類型，而是爲某個已經存在的類型增長一個新的名字而已。用這種方式聲明的變量與經過聲明方式聲明的變量具備徹底相同的屬性。

至於typedef如何簡化複雜的類型聲明，將在後續的章節中詳細闡述。

綜上所述，若是在變量定義的前面加上typedef，便可定義該變量的類型。好比：

         int size;

    這裏定義了一個整型變量size，當加上typedef後：

         typedef int size;

那麼，size就成爲了上面的size變量的類型，即int類型。既然size是一個類型，固然能夠用它來定義另一個變量。即：

         size a; 

   

    相似於變量的類型定義，也能夠用typedef聲明新的類型，好比：

         char              *ptr_to_char;            // 聲明ptr_to_char爲一個指向字符的指針

         typedef  char     ptr_to_char;             // 聲明ptr_to_char爲指向char的指針類型

         ptr_to_char       pch;                    // 聲明pch是一個指向字符的指針

    對於初學者來講，也許會產生一個這樣的疑問，爲何不使用#define建立新的類型名？好比：

         #define  ptr_to_char  char*

         ptr_to_char           pch1, pch2;

    因爲有了「#define ptr_to_char char*」，所以「ptr_to_char pch1, pch2」能夠展開爲

         char   *pch1, pch2;

因此pch2爲char型變量。若是用typedef來定義的話，其代碼以下：

         typedef  char*   ptr_to_char;

         ptr_to_char      pch1, pch2;

則「ptr_to_char pch1, pch2」等價於

         char   *pch1;

         char   *pch2;

所以，pch1、pch2都是指針。

    雖然#define語句看起來象typedef，但實際上卻有本質上的差異。對於#define來講，僅在編譯前對源代碼進行了字符串替換處理；而對於typedef來講，它創建了一個新的數據類型別名。因而可知，只是將pch1定義爲指針變量，卻並無實現程序員的意圖，而是將pch2定義成了char型變量。

 

    在指針函數中，有這樣一類函數，它們也返回指針，可是這個指針不是指向int、char之類的基本類型，而是指向函數。對於初學者，別說寫出這樣的函數聲明，就是看到這樣的寫法也是一頭霧水。好比,下面的語句：

         int (*ff(int))(int *, int);

咱們用上面介紹的方法分析一下，ff首先與後面的「()」結合，即：

         int (*(ff(int)))(int *, int);                   // 用括號將ff(int)再括起來

也就意味着，ff是一個函數。

    接着與前面的「*」結合，說明ff函數的返回值是一個指針。而後再與後面的「()」結合，也就是說，該指針指向的是一個函數。

這種寫法確實讓人很是難懂，以致於一些初學者產生誤解，認爲寫出別人看不懂的代碼才能顯示本身水平高。而事實上剛好相反，可否寫出通俗易懂的代碼是衡量程序員是否優秀的標準。通常來講，用typedef關鍵字會使該聲明更簡單易懂。在前面咱們已經見過：

         int (*PF)(int *, int);

也就是說，PF是一個函數指針「變量」。當使用typedef聲明後，則PF就成爲了一個函數指針「類型」，即：

         typedef int (*PF)(int *, int);

這樣就定義了返回值的類型。而後，再用PF做爲返回值來聲明函數:

         PF ff(int);

    返回函數指針會用在什麼地方呢？且聽下文分解。