1. 基本解釋
typedef為 C 語言的關鍵字,作用是為一種資料類型定義一個新名字。這裡的資料類型包括内部資料類型(int,char等)和自定義的資料類型(struct等)。
在程式設計中使用typedef目的一般有兩個,一個是給變量一個易記且意義明确的新名字,另一個是簡化一些比較複雜的類型聲明。
至于typedef有什麼微妙之處,請你接着看下面對幾個問題的具體闡述。
2. typedef & 結構的問題
當用下面的代碼定義一個結構時,編譯器報了一個錯誤,為什麼呢?莫非C語言不允許在結構中包含指向它自己的指針嗎?請你先猜想一下,然後看下文說明:
typedef struct tagNode { char *pItem; pNode pNext; } *pNode; |
答案與分析 :
1、typedef的最簡單使用
typedef long byte_4; |
給已知資料類型long起個新名字,叫byte_4。
2、 typedef與結構結合使用
typedef struct tagMyStruct { int iNum; long lLength; } MyStruct; |
這語句實際上完成兩個操作:
1) 定義一個新的結構類型
struct tagMyStruct { int iNum; long lLength; }; |
分析:tagMyStruct稱為“tag”,即“标簽”,實際上是一個臨時名字,struct 關鍵字和tagMyStruct一起,構成了這個結構類型,不論是否有typedef,這個結構都存在。
我們可以用struct tagMyStruct varName來定義變量,但要注意,使用tagMyStruct varName來定義變量是不對的,因為struct 和tagMyStruct合在一起才能表示一個結構類型。
2) typedef為這個新的結構起了一個名字,叫MyStruct。
typedef struct tagMyStruct MyStruct; |
是以,MyStruct實際上相當于struct tagMyStruct,我們可以使用MyStruct varName來定義變量。
答案與分析
C語言當然允許在結構中包含指向它自己的指針,我們可以在建立連結清單等資料結構的實作上看到無數這樣的例子,上述代碼的根本問題在于typedef的 應用 。
根據我們上面的闡述可以知道:新結建構立的過程中遇到了pNext域的聲明,類型是pNode,要知道pNode表示的是類型的新名字,那麼在類型本身還沒有建立完成的時候,這個類型的新名字也還不存在,也就是說這個時候編譯器根本不認識pNode。
解決這個問題的方法有多種:
1)、
typedef struct tagNode { char *pItem; struct tagNode *pNext; } *pNode; |
2)、
typedef struct tagNode *pNode; struct tagNode { char *pItem; pNode pNext; }; |
注意:在這個例子中,你用typedef給一個還未完全聲明的類型起新名字。C語言編譯器支援這種做法。
3)、規範做法:
struct tagNode { char *pItem; struct tagNode *pNext; }; typedef struct tagNode *pNode; |
3. typedef & #define的問題
有下面兩種定義pStr資料類型的方法,兩者有什麼不同?哪一種更好一點?
typedef char *pStr; #define pStr char *; |
答案與分析 :
通常講,typedef要比#define要好,特别是在有指針的場合。請看例子:
typedef char *pStr1; #define pStr2 char *; pStr1 s1, s2; pStr2 s3, s4; |
在上述的變量定義中,s1、s2、s3都被定義為char *,而s4則定義成了char,不是我們所預期的指針變量,根本原因就在于#define隻是簡單的字元串替換而typedef則是為一個類型起新名字。
#define用法例子:
#define f(x) x*x main( ) { int a=6,b=2,c; c=f(a) / f(b); printf("%d \n",c); } |
以下程式的輸出結果是: 36。
因為如此原因,在許多 C 語言程式設計規範中提到使用#define定義時,如果定義中包含表達式,必須使用括号,則上述定義應該如下定義才對:
#define f(x) (x*x) |
當然,如果你使用typedef就沒有這樣的問題。
4. typedef & #define的另一例
下面的代碼中編譯器會報一個錯誤,你知道是哪個語句錯了嗎?
typedef char * pStr; char string[4] = "abc"; const char *p1 = string; const pStr p2 = string; p1++; p2++; |
答案與分析 :
是p2++出錯了。這個問題再一次提醒我們:typedef和#define不同,它不是簡單的文本替換。上述代碼中const pStr p2并不等于const char * p2。const pStr p2和const long x本質上沒有差別,都是對變量進行隻讀限制,隻不過此處變量p2的資料類型是我們自己定義的而不是系統固有類型而已。是以,const pStr p2的含義是:限定資料類型為char *的變量p2為隻讀,是以p2++錯誤。
(注:關于const的限定内容問題,在本系列第二篇有詳細講解)。
#define與typedef引申談
1) #define宏定義有一個特别的長處:可以使用 #ifdef ,#ifndef等來進行邏輯判斷,還可以使用#undef來取消定義。
2) typedef也有一個特别的長處:它符合範圍規則,使用typedef定義的變量類型其作用範圍限制在所定義的函數或者檔案内(取決于此變量定義的位置),而宏定義則沒有這種特性。
5. typedef & 複雜的變量聲明
在程式設計實踐中,尤其是看别人代碼的時候,常常會遇到比較複雜的變量聲明,使用typedef作簡化自有其價值,比如:
下面是三個變量的聲明,我想使用typdef分别給它們定義一個别名,請問該如何做?
>1:int *(*a[5])(int, char*); >2:void (*b[10]) (void (*)()); >3. doube(*)() (*pa)[9]; |
答案與分析 :
對複雜變量建立一個類型别名的方法很簡單,你隻要在傳統的變量聲明表達式裡用類型名替代變量名,然後把關鍵字typedef加在該語句的開頭就行了。
(注:如果你對有些變量的聲明文法感到難以了解,請參閱本系列第十篇的相關内容)。
>1:int *(*a[5])(int, char*); //pFun是我們建的一個類型别名 typedef int *(*pFun)(int, char*); //使用定義的新類型來聲明對象,等價于int* (*a[5])(int, char*); pFun a[5]; >2:void (*b[10]) (void (*)()); //首先為上面表達式藍色部分聲明一個新類型 typedef void (*pFunParam)(); //整體聲明一個新類型 typedef void (*pFun)(pFunParam); //使用定義的新類型來聲明對象,等價于void (*b[10]) (void (*)()); pFun b[10]; >3. doube(*)() (*pa)[9]; //首先為上面表達式藍色部分聲明一個新類型 typedef double(*pFun)(); //整體聲明一個新類型 typedef pFun (*pFunParam)[9]; //使用定義的新類型來聲明對象,等價于doube(*)() (*pa)[9]; pFunParam pa; |
http://blog.csdn.net/one_in_one/article/details/8475403
typedef用法詳解
(1) 含義
typedef 定義以關鍵字 typedef 開始,後面是資料類型和辨別符。辨別符或類型名并沒有引入新的類型,而隻是現有資料類型的同義詞。
(2)目的
typedef 通常被用于以下三種目的:
• 為了隐藏特定類型的實作,強調使用類型的目的。
• 簡化複雜的類型定義,使其更易了解。
• 允許一種類型用于多個目的,同時使得每次使用該類型的目的明确。
(3)指針和 typedef
假設給出以下語句:
typedef string *pstring;
const pstring cstr;
很多人都錯誤的認為是:
const string *cstr;//constpstring 是一種指針,指向string 類型的 const 對象
錯誤的原因在于将 typedef 當做文本擴充了。聲明 const pstring 時,const 修飾的是pstring的類型,這是一個指針。是以,該聲明語句應該是把cstr定義為指向string 類型對象的const指針,這個定義等價于:string *const cstr;
(4)用 typedef 簡化函數指針的定義
typedef bool (*cmpFcn)(conststring &, const string &);
該定義表示 cmpFcn 是一種指向函數的指針類型的名字。該指針類型為“指向傳回bool類型并帶有兩個const string引用形參的函數的指針”。在要使用這種函數指針類型時,隻需直接使用cmpFcn即可,不必每次都把整個類型聲明全部寫出來。