再談typedef（重點為函數指針）??

2009-09-17 10:15:43|??分類： linux學習 |字號?訂閱

有種很方便的寫法。

typedef int *p；

p pointer；

這時直接把pointer帶入原式中，取代p然后去掉typedef，得到的結果就是int * pointer；

哈哈，這樣直接替換就很直觀多了。

C語言語法簡單，但內涵卻博大精深；如果在學習時只是止步于表面，那么往往后期會遇到很多困 難。typedef是C語言中一個很好用的工具，大量存在于已有代碼中，特別值得一提的是：C++標準庫實現中更是對typedef有著大量的使用。但很 多初學者對其的理解僅局限于：typedef用來定義一個已有類型的"別名(alias)"。正是因為有了這樣的理解，才有了后來初學者在typedef int myint和typedef myint int之間的猶豫不決。很多國內大學的C語言課之授課老師也都是如是說的，或者老師講的不夠透徹，導致學生們都是如是理解的。我這里想結合C語言標準文檔 以及一些代碼實例，也說說typedef。

int??? *p;

這樣的代碼是C語言中最最基礎的一個語句了，大家都知道這個語句聲明了一個變量p，其類型是指向整型的指針(pointer to int)；如果在這個聲明的前面加上一個typedef后，整個語義(semantics)又會是如何改變的呢？

typedef? int??? *p;

我們先來看看C99標準中關于typedef是如何詮釋的？C99標準中這樣一小段精辟的描 述："In a declaration whose storage-class specifier is typedef, each declarator defines an identifier to be a typedef name that denotes the type specified for the identifier in the way described in xx"。

參照這段描述，并拿typedef? int??? *p作為例子來理解：在一個聲明中，如果有存儲類說明符typedef的修飾，標識符p將被定義為了一個typedef name，這個typedef name表示(denotes)一個類型，什么類型呢？就是int *p這個聲明(declarator)中標識符(indentifier)p的類型(int*)。

再比對一下兩個聲明：

int??? *p;

typedef? int??? *p;

是不是有點"茅舍頓開"的感覺，int *p中, p是一個變量，其類型為pointer to int；在int *p前面增加一個typedef后，p變為一個typedef-name，這個typedef-name所表示的類型就是int *p聲明式中p的類型(int*)。說句白話，typedef讓p去除了普通變量的身份，搖身一變，變成了p的類型的一個typedef-name了。

為了鞏固上面的理解，我們再來看看"C語言參考手冊(C: A Reference Manual)"中的說法：任何declarator(如typedef int?? *p)中的indentifier(如p)定義為typedef-name， 其(指代p)表示的類型是declarator為正常變量聲明(指代int? *p)的那個標識符(指代p)的類型(int*)。有些繞嘴，不過有例子支撐：

[例1]

typedef double MYDOUBLE; ?

分析:

去掉typedef ，得到正常變量聲明=> double MYDOUBLE;

變量MYDOUBLE的類型為double;

=> "typedef double MYDOUBLE"中MYDOUBLE是類型double的一個typedef-name。

MYDOUBLE??? d; <=> d是一個double類型的變量

[例2]

typedef double *Dp; ?

分析:

去掉typedef? ，得到正常變量聲明=> double *Dp;

變量Dp的類型為double*，即pointer to double;

=> "typedef double *Dp"中Dp是類型double*的一個typedef-name。

Dp??? dptr; <=> dptr是一個pointer to double的變量

[例3]

typedef int* Func(int);

分析:

去掉typedef? ，得到正常變量聲明=> int* Func(int);

變量Func的類型為一個函數標識符，該函數返回值類型為int*，參數類型為int;

=> "typedef int* Func(int)"中Func是函數類型(函數返回值類型為int*，參數類型為int)的一個typedef-name。

Func??? *fptr; <=> fptr是一個pointer to function with one int parameter, returning a pointer to int

Func???? f;?? 這樣的聲明意義就不大了。

[例4]

typedef int (*PFunc)(int);

分析:

去掉typedef? ，得到正常變量聲明=> int (*PFunc)(int);

變量PFunc的類型為一個函數指針，指向的返回值類型為int，參數類型為int的函數原型;

=> "typedef int (*PFunc)(int)"中PFunc是函數指針類型(該指針類型指向返回值類型為int，參數類型為int的函數)的一個typedef-name。

PFunc???? fptr; <=> fptr是一個pointer to function with one int parameter, returning int

#include "iostream"

using namespace std;

int add(int a,int b){
return (a+b);
}

typedef int (* func)(int ,int ) ;

void main(){
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的類型為pointer to an array with 5 int elements；

=> "typedef??? int?? (*A)[5]"中A是"pointer to 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]

typedef struct _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 {...//}是一個無"標志名稱(tag name)"的結構體聲明。

參考資料：

1、"ISOIEC-98991999(E)--Programming Languages--C"之Page 123;

2、C語言參考手冊(中文版) 之 Page 119

轉載于:https://www.cnblogs.com/artstyle/archive/2012/03/30/2425750.html

《新程序員》：云原生和全面數字化實踐50位技術專家共同創作，文字、視頻、音頻交互閱讀

總結

以上是生活随笔為你收集整理的typedef 用法总结的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。