解剖关键字typedef

带你解剖typedef之前&＃xff0c;让我们先来看看POSIX.1中对信号处理函数signal的原型说明&＃xff1a;

void (*signal(int sig, void (*func)(int)))(int);

&＃xff08;说明&＃xff1a;这是一个函数&＃xff0c;名字叫signal&＃xff0c;它的输入参数是“int sig, void (*func)(int)”&＃xff0c;返回值是一个函数指针&＃xff0c;函数指针形式是void(*b)(int)&＃xff09;

调用举例&＃xff1a;

void bb(int);

void (*aa)(int);

aa &＃61; signal(5, &bb);

aa(3);

对于不熟悉C语言声明的朋友&＃xff0c;看到这样的函数原型估计离崩溃不远了&＃xff0c;我们再来看看ANSI C中对此函数原型是作如何解释的&＃xff1a;

typedef void (*sighandler_t)(int);

sighandler_t signal(int signum, sighandler_t handler);

此处由于加了typedef自定义了一个新类型sighandler_t&＃xff0c;所以第二行的函数原型看起来顺眼多了&＃xff0c;形式跟int func(char c, int i)无异&＃xff0c;但是如果看不懂typedef语句&＃xff0c;这两句话仍然是噩梦。

要理解typedef&＃xff0c;只要记住一句话就差不多了&＃xff0c;那就是&＃xff1a;typedef在语句中所起的作用只不过是把语句原先定义变量的功能变成了定义类型的功能而已。我们只消看几个例子立即明白。

例如语句 typedef int *apple; 理解它的正确步骤是这样的&＃xff1a;先别看typedef&＃xff0c;就剩下int *apple; 这个语句再简单不过&＃xff0c;就是声明了一个指向整型变量的指针apple (注意&＃xff1a;定义只是一种特殊的声明)&＃xff0c;加上typedef之后就解释成声明了一种指向整型变量指针的类型apple 。

现在&＃xff0c;回过来看上面的这个函数原型 typedef void (*sighandler_t)(int)&＃xff0c;盖住 typedef不看 &＃xff0c;再简单不过&＃xff0c;sighandler_t就是一个函数指针&＃xff0c;指向的函数接受一个整型参数并返回一个无类型指针 。加上typedef之后sighandler_t就是一种新的类型&＃xff0c;就可以像int一样地去用它&＃xff0c;不同的是它声明是一种函数指针&＃xff0c;这种指针指向的函数接受一个整型参数并返回一个无类型指针 。怎么样&＃xff1f;简单吧。

再来做一个更酷的练习&＃xff0c;请看&＃xff1a;typedef char *(* c[10])(int **p);

去 掉typedef就变成char *(* c[10])(int **p)&＃xff0c;先不管这个语句有多难看&＃xff0c;它一定是声明了一个拥有10个元素的数组c对不对&＃xff1f;okay没什么了不起的&＃xff0c;只不过这个数组c的元素有点特别&＃xff0c;它们都 是函数指针&＃xff0c;并且它们所指向的这些函数统统都接受一个二级指针然后返回一直指向字符型的指针。加上typedef之后&＃xff0c;c就不是一个数组了&＃xff0c;而是一种类型 了&＃xff0c;什么类型现在你能说出来了吧。 ^_^

说到typedef就不能不把它跟宏替换比较&＃xff0c;typedef相对于宏替换是一种彻底的“替换”&＃xff0c;#define之所以被称为宏替换&＃xff0c;是因为它就是简单地照搬替换字符串。来看个例子&＃xff1a;

例1 typedef int x[10];

例2 #define x int[10]

例1定义了类型x&＃xff0c;此时我们就可以用它来定义别的变量了&＃xff0c;比如x y; 此时y是一个拥有10个整型变量的数组&＃xff0c;效果与语句int y[10]无异。typedef带给我们的是一种彻底的封装 。

例2用了宏定义的方式&＃xff0c;将来在该宏的作用域范围内的任何地方遇到的x都将被简单地替换成int [10]。

&＃xff08;注意到&＃xff0c;宏替换结尾是不带分号的&＃xff0c;不同于typedef语句&＃xff09;

对于typedef和宏可以有以下总结&＃xff1a;

1、宏定义可以扩展&＃xff0c;彻底封装的typedef不可以。

//以下代码完全没问题&＃xff1a;

#define apple int;

unsigned apple i;

//以下代码则完全行不通&＃xff1a;

typedef int apple;

unsigned apple i;

2、在连续声明几个变量的时候typedef可以完全保证变量是同一种类型&＃xff0c;而宏替换无法保证。

#define apple int *;

apple a, b; //a和b类型完全不同&＃xff0c;a是指向整型变量的指针&＃xff0c;b是整型变量。

typedef int *apple;

apple a, b; //a和b的类型完全相同&＃xff0c;都是指向整型变量的指针。

永远要记住的是&＃xff0c;typedef定义的是一种类型而不是变量&＃xff0c;不能指望用它来定义一个变量。