C語言typedef：給型別起一個別名
C語言typedef：給型別起一個別名
C語言允許為一個數據型別起一個新的別名，起別名的目的不是為了提高程式執行效率，而是為了編碼方便。例如有一個結構體的名字是 stu，要想定義一個結構體變數就得這樣寫：
struct stu stu1;
struct 看起來就是多餘的，但不寫又會報錯。如果為 struct stu 起了一個別名 STU，書寫起來就簡單了：
STU stu1;
這種寫法更加簡練，意義也非常明確，不管是在標準標頭檔案中還是以後的程式設計實踐中，都會大量使用這種別名。
使用關鍵字 typedef 可以為型別起一個新的別名，語法格式為：
typedef oldName newName;
oldName 是型別原來的名字，newName 是型別新的名字。例如：
typedef int INTEGER;
INTEGER a, b;
a = 1;
b = 2;
INTEGER a, b;等效於int a, b;。
typedef 還可以給陣列、指標、結構體等型別定義別名。
先來看一個給陣列型別定義別名的例子：
typedef char ARRAY20[20];
表示 ARRAY20 是型別char [20]的別名。它是一個長度為 20 的陣列型別。接著可以用 ARRAY20 定義陣列：
ARRAY20 a1, a2, s1, s2;
它等價於：
char a1[20], a2[20], s1[20], s2[20];
注意，陣列也是有型別的。例如char a1[20];定義了一個數組 a1，它的型別就是 char [20]，這一點已在VIP教程《陣列和指標絕不等價，陣列是另外一種型別》中講解過。
又如，為結構體型別定義別名：
typedef struct stu{
char name[20];
int age;
char sex;
} STU;
STU 是 struct stu 的別名，可以用 STU 定義結構體變數：
STU body1,body2;
它等價於：
struct stu body1, body2;
再如，為指標型別定義別名：
typedef int (*PTR_TO_ARR)[4];
表示 PTR_TO_ARR 是型別int * [4]的別名，它是一個二維陣列指標型別。接著可以使用 PTR_TO_ARR 定義二維陣列指標：
PTR_TO_ARR p1, p2;
按照類似的寫法，還可以為函式指標型別定義別名：
typedef int (*PTR_TO_FUNC)(int, int);
PTR_TO_FUNC pfunc;
【示例】為指標定義別名。
#include <stdio.h>
typedef char (*PTR_TO_ARR)[30];
typedef int (*PTR_TO_FUNC)(int, int);
int max(int a, int b){
return a>b ? a : b;
}
char str[3][30] = {
"http://c.biancheng.net",
"C語言中文網",
"C-Language"
};
int main(){
PTR_TO_ARR parr = str;
PTR_TO_FUNC pfunc = max;
int i;
printf("max: %d\n", (*pfunc)(10, 20));
for(i=0; i<3; i++){
printf("str[%d]: %s\n", i, *(parr+i));
}
return 0;
}
執行結果：
max: 20
str[0]: http://c.biancheng.net
str[1]: C語言中文網
str[2]: C-Language
需要強調的是，typedef 是賦予現有型別一個新的名字，而不是建立新的型別。為了“見名知意”，請儘量使用含義明確的識別符號，並且儘量大寫。
typedef 和 #define 的區別
typedef 在表現上有時候類似於 #define，但它和巨集替換之間存在一個關鍵性的區別。正確思考這個問題的方法就是把 typedef 看成一種徹底的“封裝”型別，宣告之後不能再往裡面增加別的東西。
1) 可以使用其他型別說明符對巨集型別名進行擴充套件，但對 typedef 所定義的型別名卻不能這樣做。如下所示：
#define INTERGE int
unsigned INTERGE n; //沒問題
typedef int INTERGE;
unsigned INTERGE n; //錯誤，不能在 INTERGE 前面新增 unsigned
2) 在連續定義幾個變數的時候，typedef 能夠保證定義的所有變數均為同一型別，而 #define 則無法保證。例如：
#define PTR_INT int *
PTR_INT p1, p2;
經過巨集替換以後，第二行變為：
int *p1, p2;
這使得 p1、p2 成為不同的型別：p1 是指向 int 型別的指標，p2 是 int 型別。
相反，在下面的程式碼中：
typedef int * PTR_INT
PTR_INT p1, p2;
p1、p2 型別相同，它們都是指向 int 型別的指標。