【C++_typedef_疑難定義收集整理】

(注：文章謹代表個人了解，如有錯誤，還望盡快指正，大家都能獲益，我定感激不盡^^)

至今已遇到兩個typedef詭異的定義，是以決定下筆記之，以備後用。

【typedef之const指針】

【案例】

typedef string * pstr; 

const pstr cpstr;

問上述代碼中cpstr是一個怎樣的指針？

【分析】

很多朋友，包括我自己在剛接觸到時，第一反應是：cpstr被定義為一個指向const string對象的普通指針，原因很簡單，置換一下string*與pstr的位置就得到

//這顯然就是一個指向const string對象的普通指針 

const string * cpstr; 

然而，事不如人願，cpstr的确切定義為：一個指向string類型的const指針。

看到這個答案，想必不少朋友稍顯驚訝，我也如此，其中内因，且聽我慢慢道來。

之是以出錯，在于我們“置換一下就好了”，“置換”這個詞不應該用在typedef，而該用在#define宏身上，typedef是定義了一個類型别名，定義的結果遵循任何正常定義的标準。那麼這個typedef到底是怎麼定義了一個const指針呢？

首先分析

這段代碼定義了一個pstr類型的const cpstr，實際上就是

pstr const cpstr;

為了便于了解，就拿int定義來說

//二者等價，前者是習慣用法，後者是标準規定 

const int ival = 0; 

int const ival = 0; 

既然了解了cpstr是一個const的pstr類型的對象，pstr是什麼呢？pstr是string*，是以這樣一來，就成了cpstr是一個const的string*類型的對象，也即cpstr是一個指向普通string的const指針。

【總結】

本次誤解主要源于大家認為typedef等同于#define宏定義，以為簡單替換字元就可以了。實則不然。以後見到這樣的定義，最簡單的辦法就是從定義該變量的地方入手

按步驟(熟練了就很快了)思考：

①cpstr是一個類型為 pstr 的常量

②pstr 是什麼？

③pstr 是 string*

④是以，cpstr是一個類型為 string* 的常量，也即 string *const cpstr

【typedef之函數類型】

typedef int FUNC (int);

請問typedef定義了一個什麼類型？

不要驚訝，就是這樣，它不是一個函數指針，也不是被我寫錯了。

它定義了一個函數類型FUNC，這個函數類型要求一個int形參，傳回一個int結果。

FUNC TestFunc(FUNC F);

FUNC的用法是有限制的，上述語句會導緻編譯時錯誤。

上述代碼使用了兩次FUNC，出錯的是第一個，也就是FUNC類型的函數傳回類型是有錯的。

FUNC是函數類型，在另一個函數中，函數類型變量隻能夠用作另一個函數的形參，而不能是傳回類型。

FUNC用作形參時，編譯器會自動将其轉換為FUNC* /*函數指針*/，而編譯器不會将作為函數傳回類型的FUNC進行轉換，是以會出現編譯時錯誤，可修正如下

FUNC* TestFunc(FUNC F);

聲明了一個函數TestFunc，該函數要求一個函數類型為FUNC的函數F作為形參，并傳回一個FUNC類型的函數指針FUNC*

【typedef與#define】

typedef int* Tpi;

#define int* Dpi;

Tpi p1,p2;

Dpi p3,p4;

問上述代碼中定義的四個變量分别為什麼類型？

區分p1,p2,p3,p4四個變量的類型，首先要了解typedef和#define宏的差別，typedef是給已有的類型取别名，而#define隻是簡單的字元替換。于是上述代碼等同于

int *p1,*p2; //typedef的作用

int *p3,p4; //#define的作用

也就是說p3被定義為了一個整型指針，而p4則隻是整型。

需要掌握typedef與#define的差別，以防這些細微的陷阱，為高品質代碼做好保障。

     本文轉自Bill_Hoo 51CTO部落格，原文連結：http://blog.51cto.com/billhoo/519582，如需轉載請自行聯系原作者