進入正文：

　程式碼簡化, 促進跨平臺開發的目的.

　typedef 行為有點像 #define 巨集，用其實際型別替代同義字。

　不同點：typedef 在編譯時被解釋，因此讓編譯器來應付超越前處理器能力的文字替換。

用法一：

typedef int (*MYFUN)(int, int); 
這種用法一般用在給函式定義別名的時候
上面的例子定義MYFUN 是一個函式指標, 函式型別是帶兩個int 引數, 返回一個int 

在分析這種形式的定義的時候可以用下面的方法: 
先去掉typedef 和別名, 剩下的就是原變數的型別. 
去掉typedef和MYFUN以後就剩: 
int (*)(int, int)

用法二：

typedef給變數型別定義一個別名.

typedef struct{ 
int a; 
int b; 
}MY_TYPE; 

這裡把一個未命名結構直接取了一個叫MY_TYPE的別名, 這樣如果你想定義結構的例項的時候就可以這樣: 
MY_TYPE tmp;

第二種用法：typedef 原變數型別 別名

簡單的函式指標的用法

//形式1：返回型別（*函式名）（引數表）

char（*pFun)(int);

//typedef char(*pFun)(int)   //跟上一行功能等同

/*typedef的功能是定義新的型別。第一句就是定義了一種PTRFUN的型別，並定義這種型別為指向某種函式的指標，這種函式以一個int為引數並返回char型別。*/

char glFun(int a){return;}

void main()

{

pFun =glFun;

(*pFun)(2);

}

第一行定義了一個指標變數pFun.它是一個指向某種函式的指標，這種函式引數是一個int型別，返回值是char型別。只有第一句我們還無法使用這個指標，因為我們還未對它進行賦值。

第二行定義了一個函式glFun().該函式正好是一個以int為引數返回char的函式。我們要從指標的層次上理解函式-函式的函式名實際上就是一個指標，函式名指向該函式的程式碼在記憶體中的首地址。

 1 //#include<iostream.h> 2 #include<stdio.h>
 3
 
 
 4 typedef int (*FP_CALC)(int, int);
 5 //注意這裡不是函式宣告而是函式定義，它是一個地址，你可以直接輸出add看看 6 int add(int a, int b)
 7 {
 8      return a + b;
 9 }
10 int sub(int a, int b)
11 {
12      return a - b;
13 }
14 int mul(int a, int b)
15 {
16      return a * b;
17 }
18 int div(int a, int b)
19 {
20      return b? a/b : -1;
21 }
22 //定義一個函式，引數為op，返回一個指標。該指標型別為 擁有兩個int引數、
23 //返回型別為int 的函式指標。它的作用是根據操作符返回相應函式的地址24 FP_CALC calc_func(char op)
25 {
26      switch (op)
27      {
28      case '+': return add;//返回函式的地址29      case '-': return sub;
30      case '*': return mul;
31      case '/': return div;
32      default:
33          return NULL;
34      }
35      return NULL;
36 }
37 //s_calc_func為函式，它的引數是 op，
38 //返回值為一個擁有 兩個int引數、返回型別為int 的函式指標39 int (*s_calc_func(char op)) (int, int)
40 {
41      return calc_func(op);
42 } 
43 //終端使用者直接呼叫的函式，該函式接收兩個int整數，和一個算術運算子，返回兩數的運算結果44 int calc(int a, int b, char op)
45 {
46      FP_CALC fp = calc_func(op); //根據預算符得到各種運算的函式的地址47          int (*s_fp)(int, int) = s_calc_func(op);//用於測試
48 // ASSERT(fp == s_fp);   // 可以斷言這倆是相等的49      if (fp) return fp(a, b);//根據上一步得到的函式的地址呼叫相應函式，並返回結果50      else return -1;
51 }
52 
53 void main()
54 {   
55     int a = 100, b = 20;
56 
57      printf("calc(%d, %d, %c) = %d\n", a, b, '+', calc(a, b, '+'));
58      printf("calc(%d, %d, %c) = %d\n", a, b, '-', calc(a, b, '-'));
59      printf("calc(%d, %d, %c) = %d\n", a, b, '*', calc(a, b, '*'));
60      printf("calc(%d, %d, %c) = %d\n", a, b, '/', calc(a, b, '/'));
61 }

以上轉載地址：http://fouri.iteye.com/blog/483974

以下是另一篇，介紹的思路有些不同

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

 1 #include "iostream"
 2 
 3 using namespace std;
 4 
 5 int add(int a,int b){
 6 return (a+b);
 7 }
 8 
 9 typedef int (* func)(int ,int ) ;
10 
11 void main(){
12 func f = add;
13 int n = f(1,2);
14 cout << n << endl;
15 }

[例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)--Proamgrming Languages--C"之Page 123;

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