typedef.md
typedef
typedef可以理解为type define,它的意思就像是给一个类型取一个绰号。取绰号并不是为了提高程序运行效率,而是为了编码方便,一个好的绰号,我们就可以见名知意。
使用关键字 typedef 可以为类型起一个新的别名。typedef 的用法一般为:
1 | typedef oldName newName; |
oldName 是类型原来的名字,newName 是类型新的名字。例如:
1 | typedef int INTEGER; |
INTEGER a, b;等效于int a, b;。
typedef 还可以给数组、指针、结构体等类型定义别名。先来看一个给数组类型定义别名的例子:
1 | typedef char ARRAY20[20]; |
表示 ARRAY20 是类型char [20]的别名。它是一个长度为 20 的数组类型。接着可以用 ARRAY20 定义数组:
1 | ARRAY20 a1, a2, s1, s2; |
它等价于:
1 | char a1[20], a2[20], s1[20], s2[20]; |
为结构体类型定义别名:
1 | typedef struct stu{ |
STU 是 struct stu 的别名,可以用 STU 定义结构体变量:
1 | STU body1,body2; |
它等价于:
1 | struct stu body1, body2; |
为指针类型定义别名:
1 | typedef int (*PTR_TO_ARR)[4]; |
表示 PTR_TO_ARR 是类型int * [4]的别名,它是一个二维数组指针类型。接着可以使用 PTR_TO_ARR 定义二维数组指针:
1 | PTR_TO_ARR p1, p2; |
按照类似的写法,还可以为函数指针类型定义别名:
1 | typedef int (*PTR_TO_FUNC)(int, int); |
需要强调的是,typedef 是赋予现有类型一个新的名字,而不是创建新的类型。为了“见名知意”,请尽量使用含义明确的标识符,并且尽量大写。
typedef 和 #define 的区别
typedef 在表现上有时候类似于 #define,但它和宏替换之间存在一个关键性的区别。正确思考这个问题的方法就是把 typedef 看成一种彻底的“封装”类型,声明之后不能再往里面增加别的东西。
- 可以使用其他类型说明符对宏类型名进行扩展,但对 typedef 所定义的类型名却不能这样做。如下所示:```c
#define INTERGE int
unsigned INTERGE n; //没问题
typedef int INTERGE;
unsigned INTERGE n; //错误,不能在 INTERGE 前面添加 unsigned
1 |
|
经过宏替换以后,第二行变为:
1 | int *p1, p2; |
这使得 p1、p2 成为不同的类型:p1 是指向 int 类型的指针,p2 是 int 类型。
相反,在下面的代码中:
1 | typedef int * PTR_INT |
p1、p2 类型相同,它们都是指向 int 类型的指针。