再談typedef(重點爲函數指針)
有種很方便的寫法。
typedefint *p;
ppointer;
這時直接把pointer帶入原式中,取代p然後去掉typedef,得到的結果就是int* pointer;
哈哈,這樣直接替換就很直觀多了。
C語言語法簡單,但內涵卻博大精深;如果在學習時只是止步於表面,那麼往往後期會遇到很多困難。typedef是C語言中一個很好用的工具,大量存在於已有代碼中,特別值得一提的是:C++標準庫實現中更是對typedef有着大量的使用。但很多初學者對其的理解僅侷限於:typedef用來定義一個已有類型的"別名(alias)"。正是因爲有了這樣的理解,纔有了後來初學者在typedefint myint和typedefmyintint之間的猶豫不決。很多國內大學的C語言課之授課老師也都是如是說的,或者老師講的不夠透徹,導致學生們都是如是理解的。我這裏想結合C語言標準文檔以及一些代碼實例,也說說typedef。
int *p;
這樣的代碼是C語言中最最基礎的一個語句了,大家都知道這個語句聲明瞭一個變量p,其類型是指向整型的指針(pointerto int);如果在這個聲明的前面加上一個typedef後,整個語義(semantics)又會是如何改變的呢?
typedef int *p;
我們先來看看C99標準中關於typedef是如何詮釋的?C99標準中這樣一小段精闢的描述:"Ina declaration whose storage-class specifier is typedef, eachdeclarator defines an identifier to be a typedef name that denotesthe type specified for the identifier in the way described in xx"。
參照這段描述,並拿typedef int *p作爲例子來理解:在一個聲明中,如果有存儲類說明符typedef的修飾,標識符p將被定義爲了一個typedefname,這個typedefname表示(denotes)一個類型,什麼類型呢?就是int*p這個聲明(declarator)中標識符(indentifier)p的類型(int*)。
再比對一下兩個聲明:
int *p;
typedef int *p;
是不是有點"茅舍頓開"的感覺,int*p中,p是一個變量,其類型爲pointerto int;在int*p前面增加一個typedef後,p變爲一個typedef-name,這個typedef-name所表示的類型就是int*p聲明式中p的類型(int*)。說句白話,typedef讓p去除了普通變量的身份,搖身一變,變成了p的類型的一個typedef-name了。
爲了鞏固上面的理解,我們再來看看"C語言參考手冊(C:A Reference Manual)"中的說法:任何declarator(如typedefint *p)中的indentifier(如p)定義爲typedef-name,其(指代p)表示的類型是declarator爲正常變量聲明(指代int *p)的那個標識符(指代p)的類型(int*)。有些繞嘴,不過有例子支撐:
[例1]
typedefdouble MYDOUBLE;
分析:
去掉typedef,得到正常變量聲明=>double MYDOUBLE;
變量MYDOUBLE的類型爲double;
=>"typedef double MYDOUBLE"中MYDOUBLE是類型double的一個typedef-name。
MYDOUBLE d; <=> d是一個double類型的變量
[例2]
typedefdouble *Dp;
分析:
去掉typedef ,得到正常變量聲明=>double *Dp;
變量Dp的類型爲double*,即pointerto double;
=>"typedef double *Dp"中Dp是類型double*的一個typedef-name。
Dp dptr; <=> dptr是一個pointerto double的變量
[例3]
typedefint* Func(int);
分析:
去掉typedef ,得到正常變量聲明=>int* Func(int);
變量Func的類型爲一個函數標識符,該函數返回值類型爲int*,參數類型爲int;
=>"typedef int*Func(int)"中Func是函數類型(函數返回值類型爲int*,參數類型爲int)的一個typedef-name。
Func *fptr; <=> fptr是一個pointerto function with one int parameter, returning a pointer to int
Func f; 這樣的聲明意義就不大了。
[例4]
typedefint (*PFunc)(int);
分析:
去掉typedef ,得到正常變量聲明=>int (*PFunc)(int);
變量PFunc的類型爲一個函數指針,指向的返回值類型爲int,參數類型爲int的函數原型;
=>"typedef int(*PFunc)(int)"中PFunc是函數指針類型(該指針類型指向返回值類型爲int,參數類型爲int的函數)的一個typedef-name。
PFunc fptr; <=> fptr是一個pointerto function with one int parameter, returning int
#include"iostream"
usingnamespace std;
intadd(int a,int b){
return (a+b);
}
typedefint (* func)(int ,int ) ;
voidmain(){
func f = add;
int n = f(1,2);
cout << n <<endl;
}
[例5]
typedef int A[5];
分析:
去掉typedef,得到正常變量聲明=>int A[5];
變量A的類型爲一個含有5個元素的整型數組;
=>"typedef int A[5]"中A是含有5個元素的數組類型的一個typedef-name。
A a = {3, 4, 5, 7, 8};
A b = { 3, 4, 5, 7, 8, 9}; /* 會給出Warning:excess elements in array initializer */
[例6]
typedef int (*A)[5]; (注意與typedef int* A[5]; 區分)
分析:
去掉typedef,得到正常變量聲明=>int (*A)[5];
變量A的類型爲pointerto an array with 5 int elements;
=>"typedef int (*A)[5]"中A是"pointerto an array with 5 int elements"的一個typedef-name。
int c[5] = {3, 4, 5, 7, 8};
A a = &c;
printf("%d\n",(*a)[0]); /* output: 3 */
如果這樣賦值:
int c[6] = {3, 4, 5, 7, 8, 9};
A a = &c; /* 會有Warning:initialization from incompatible pointer type */
[例7]
typedefstruct _Foo_t Foo_t;
分析:
去掉typedef,得到正常變量聲明=>struct _Foo_t Foo_t;
變量Foo_t的類型爲struct_Foo_t;
=>"typedef struct _Foo_t Foo_t"中Foo_t是"struct_Foo_t"的一個typedef-name。
[例8]
typedef struct { ... // } Foo_t;
分析:
去掉typedef,得到正常變量聲明=>struct { ... // } Foo_t;
變量Foo_t的類型爲struct{ ... // } ;
=>"typedef struct { ... // } Foo_t"中Foo_t是"struct{ ... // }"的一個typedef-name。這裏struct{...//}是一個無"標誌名稱(tagname)"的結構體聲明。
參考資料:
1、"ISOIEC-98991999(E)--ProgrammingLanguages--C"之Page123;
2、C語言參考手冊(中文版)之Page119