typedef 有一個(gè)重要的用途,那就是定義機(jī)器無(wú)關(guān)的類型,例如,你可以定義一個(gè)叫 REAL 的浮點(diǎn)類型,在目標(biāo)機(jī)器上它可以獲得最高的精度:typedef long double REAL;
在不支持 long double 的機(jī)器上,該 typedef 看起來(lái)會(huì)是下面這樣:typedef double REAL;
并且,在連 double 都不支持的機(jī)器上,該 typedef 看起來(lái)會(huì)是這樣:typedef float REAL;
不用對(duì)源代碼做任何修改,便可以在每一種平臺(tái)上編譯這個(gè)使用 REAL 類型的應(yīng)用程序。唯一要改的是 typedef 本身。在大多數(shù)情況下,甚至這個(gè)微小的變動(dòng)完全都可以通過(guò)奇妙的條件編譯來(lái)自動(dòng)實(shí)現(xiàn)。不是嗎? 標(biāo)準(zhǔn)庫(kù)廣泛地使用 typedef 來(lái)創(chuàng)建這樣的平臺(tái)無(wú)關(guān)類型:size_t,ptrdiff 和 fpos_t 就是其中的例子。此外,象 std::string 和 std::ofstream 這樣的 typedef 還隱藏了長(zhǎng)長(zhǎng)的,難以理解的模板特化語(yǔ)法,例如:basic_string,allocator》 和 basic_ofstream》。
在C還是C++代碼中,typedef都使用的很多,在C代碼中尤其是多。typedef與#define有些相似,其實(shí)是不同的,特別是在一些復(fù)雜的用法上,看了網(wǎng)上一些C/C++的學(xué)習(xí)者的博客,其中有一篇關(guān)于typedef的總結(jié)還是很不錯(cuò),由于總結(jié)的很好,我就不加修改的引用過(guò)來(lái)了,加上自己的一個(gè)分析。
基本定義:
typedef為C語(yǔ)言的關(guān)鍵字,作用是為一種數(shù)據(jù)類型定義一個(gè)新名字。這里的數(shù)據(jù)類型包括內(nèi)部數(shù)據(jù)類型(int,char等)和自定義的數(shù)據(jù)類型(struct等)。 在編程中使用typedef目的一般有兩個(gè),一個(gè)是給變量一個(gè)易記且意義明確的新名字,另一個(gè)是簡(jiǎn)化一些比較復(fù)雜的類型聲明。
用途一:與#define的區(qū)別
typedef 行為有點(diǎn)像 #define 宏,用其實(shí)際類型替代同義字。不同點(diǎn)是 typedef 在編譯時(shí)被解釋,因此讓編譯器來(lái)應(yīng)付超越預(yù)處理器能力的文本替換。
用途二:減少錯(cuò)誤
定義一種類型的別名,而不只是簡(jiǎn)單的宏替換。可以用作同時(shí)聲明指針型的多個(gè)對(duì)象。比如:
?。踓pp] view plain copychar* pa, pb; // 這多數(shù)不符合我們的意圖,它只聲明了一個(gè)指向字符變量的指針,
// 和一個(gè)字符變量;
以下則可行:
[cpp] view plain copytypedef char* PCHAR;
PCHAR pa, pb;
這種用法很有用,特別是char* pa, pb的定義,初學(xué)者往往認(rèn)為是定義了兩個(gè)字符型指針,其實(shí)不是,而用typedef char* PCHAR就不會(huì)出現(xiàn)這樣的問(wèn)題,減少了錯(cuò)誤的發(fā)生。
用途三:直觀簡(jiǎn)潔
用在舊的C代碼中,幫助struct。以前的代碼中,聲明struct新對(duì)象時(shí),必須要帶上struct,即形式為: struct 結(jié)構(gòu)名對(duì)象名,如:
?。踓pp] view plain copystruct tagPOINT1
{
int x;
int y;
};
struct tagPOINT1 p1;
而在C++中,則可以直接寫:結(jié)構(gòu)名對(duì)象名,即:tagPOINT1 p1;
?。踓pp] view plain copytypedef struct tagPOINT
{
int x;
int y;
}POINT;
POINT p1; // 這樣就比原來(lái)的方式少寫了一個(gè)struct,比較省事,尤其在大量使用的時(shí)候,或許,在C++中,typedef的這種用途二不是很大,但是理解了它,對(duì)掌握以前的舊代碼還是有幫助的,畢竟我們?cè)陧?xiàng)目中有可能會(huì)遇到較早些年代遺留下來(lái)的代碼。
用途四:平臺(tái)無(wú)關(guān)性
用typedef來(lái)定義與平臺(tái)無(wú)關(guān)的類型。
typedef 有另外一個(gè)重要的用途,那就是定義機(jī)器無(wú)關(guān)的類型,例如,你可以定義一個(gè)叫 REAL 的浮點(diǎn)類型,在目標(biāo)機(jī)器上它可以獲得最高的精度:
?。踓pp] view plain copytypedef long double REAL;
在不支持 long double 的機(jī)器上,該 typedef 看起來(lái)會(huì)是下面這樣:
[cpp] view plain copytypedef double REAL;
并且,在連 double 都不支持的機(jī)器上,該 typedef 看起來(lái)會(huì)是這樣:
?。踓pp] view plain copytypedef float REAL;
也就是說(shuō),當(dāng)跨平臺(tái)時(shí),只要改下 typedef 本身就行,不用對(duì)其他源碼做任何修改。
標(biāo)準(zhǔn)庫(kù)就廣泛使用了這個(gè)技巧,比如size_t。另外,因?yàn)閠ypedef是定義了一種類型的新別名,不是簡(jiǎn)單的字符串替換,所以它比宏來(lái)得穩(wěn)健。
用途五:掩飾復(fù)合類型
typedef 還可以掩飾復(fù)合類型,如指針和數(shù)組。
例如,你不用像下面這樣重復(fù)定義有 81 個(gè)字符元素的數(shù)組:
?。踓pp] view plain copychar line[81];
char text[81];
定義一個(gè) typedef,每當(dāng)要用到相同類型和大小的數(shù)組時(shí),可以這樣:
?。踓pp] view plain copytypedef char Line[81];
此時(shí)Line類型即代表了具有81個(gè)元素的字符數(shù)組,使用方法如下:
?。踓pp] view plain copyLine text, secondline;
getline(text);
同樣,可以象下面這樣隱藏指針語(yǔ)法:
[cpp] view plain copytypedef char * pstr;
int mystrcmp(pstr, pstr);
這里將帶我們到達(dá)第一個(gè) typedef 陷阱。標(biāo)準(zhǔn)函數(shù) strcmp()有兩個(gè)‘ const char *‘類型的參數(shù)。因此,它可能會(huì)誤導(dǎo)人們象下面這樣聲明 mystrcmp():
?。踓pp] view plain copyint mystrcmp(const pstr, const pstr);
用GNU的gcc和g++編譯器,是會(huì)出現(xiàn)警告的,按照順序,‘const pstr’被解釋為‘char* const‘(一個(gè)指向 char 的指針常量),兩者表達(dá)的并非同一意思。為了得到正確的類型,應(yīng)當(dāng)如下聲明:
[cpp] view plain copytypedef const char* pstr;
用途六:代碼簡(jiǎn)化
代碼簡(jiǎn)化。為復(fù)雜的聲明定義一個(gè)新的簡(jiǎn)單的別名。方法是:在原來(lái)的聲明里逐步用別名替換一部分復(fù)雜聲明,如此循環(huán),把帶變量名的部分留到最后替換,得到的就是原聲明的最簡(jiǎn)化版。舉例:
原聲明:
?。踓pp] view plain copyvoid (*b[10]) (void (*)());
變量名為b,先替換右邊部分括號(hào)里的,pFunParam為別名
?。踓pp] view plain copytypedef void (*pFunParam)();
再替換左邊的變量b,pFunx為別名二:
[cpp] view plain copytypedef void (*pFunx)(pFunParam);
原聲明的最簡(jiǎn)化版:
?。踓pp] view plain copypFunx b[10];
原聲明:
?。踓pp] view plain copydoube(*)() (*e)[9];
變量名為e,先替換左邊部分,pFuny為別名一:
[cpp] view plain copytypedef double(*pFuny)();
再替換右邊的變量e,pFunParamy為別名二
?。踓pp] view plain copytypedef pFuny (*pFunParamy)[9];
原聲明的最簡(jiǎn)化版:
?。踓pp] view plain copypFunParamy e;
理解復(fù)雜聲明可用的“右左法則”:從變量名看起,先往右,再往左,碰到一個(gè)圓括號(hào)就調(diào)轉(zhuǎn)閱讀的方向;括號(hào)內(nèi)分析完就跳出括號(hào),還是按先右后左的順序,如此循環(huán),直到整個(gè)聲明分析完。舉例:
?。踓pp] view plain copyint (*func)(int *p);
首先找到變量名func,外面有一對(duì)圓括號(hào),而且左邊是一個(gè)*號(hào),這說(shuō)明func是一個(gè)指針;然后跳出這個(gè)圓括號(hào),先看右邊,又遇到圓括號(hào),這說(shuō)明(*func)是一個(gè)函數(shù),所以func是一個(gè)指向這類函數(shù)的指針,即函數(shù)指針,這類函數(shù)具有int*類型的形參,返回值類型是int。
?。踓pp] view plain copyint (*func[5])(int *);
func右邊是一個(gè)[]運(yùn)算符,說(shuō)明func是具有5個(gè)元素的數(shù)組;func的左邊有一個(gè)*,說(shuō)明func的元素是指針(注意這里的*不是修飾func,而是修飾func[5]的,原因是[]運(yùn)算符優(yōu)先級(jí)比*高,func先跟[]結(jié)合)。跳出這個(gè)括號(hào),看右邊,又遇到圓括號(hào),說(shuō)明func數(shù)組的元素是函數(shù)類型的指針,它指向的函數(shù)具有int*類型的形參,返回值類型為int。
用途七:typedef 和存儲(chǔ)類關(guān)鍵字(storage class specifier)
這種說(shuō)法是不是有點(diǎn)令人驚訝,typedef 就像 auto,extern,mutable,static,和 register 一樣,是一個(gè)存儲(chǔ)類關(guān)鍵字。這并不是說(shuō) typedef 會(huì)真正影響對(duì)象的存儲(chǔ)特性;它只是說(shuō)在語(yǔ)句構(gòu)成上,typedef 聲明看起來(lái)象 static,extern 等類型的變量聲明。下面將帶到第二個(gè)陷阱:
[cpp] view plain copytypedef register int FAST_COUNTER; // 錯(cuò)誤
編譯通不過(guò)。問(wèn)題出在你不能在聲明中有多個(gè)存儲(chǔ)類關(guān)鍵字。因?yàn)榉?hào) typedef 已經(jīng)占據(jù)了存儲(chǔ)類關(guān)鍵字的位置,在 typedef 聲明中不能用 register(或任何其它存儲(chǔ)類關(guān)鍵字)。
評(píng)論
查看更多