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);
返回函數指針會用在什麼地方呢？且聽下文分解。