typedef 用法与陷阱

首先来看一个声明

typedef int Myfunc(const char *, const struct stat *, int);

怎么理解呐？Myfunc（const char *, const struct stat *,int） 是int，是不是有点问题。这就是对typedef的理解出了问题。

之前见到的都是typedef int INT；INT 是int的别名，可以INT a。错误在于我们将typedef int INT；分开来理解了。把int与INT分开来看，int是一部分，INT是另一部分，但实际上根本就不是这么一回事。int与INT是一个整体!就象int i:声明一样是一个整体声明，只不过int i定义了一个变量，而typedef定义了一个别名。

由于持有这种错误的观念，就会无法理解如下一些声明：typedef int a[10]; typedef void (*p)(void); 他们会以为a[10]是int的别名，(*p)(void)是void的别名，但这样的别名看起来又似乎不是合法的名字，于是陷入困惑之中。实际上，上面的语句把a声明为具有10个int元素的数组的类型别名，p是一种函数指针的类型别名。 虽然在功能上，typedef可以看作一个跟int PARA分离的动作，但语法上typedef属于存储类声明说明符，因此严格来说，typedef int PARA整个是一个完整的声明。 定义一个函数指针类型。 比如原函数是 void func(void); 那么定义的函数指针类型就是typedef void (*Fun)(void); 然后用此类型生成一个指向函数的指针： Fun func1; 当func1获取函数地址之后，那么你就可以向调用原函数那样来使用这个函数指针： func1(void);

陷阱一：

　　记住，typedef是定义了一种类型的新别名，不同于宏，它不是简单的字符串替换。比如：

　　先定义：

　　typedef char* PSTR;

　　然后：

　　int mystrcmp(const PSTR, const PSTR);

　　const PSTR实际上相当于const char*吗?不是的，它实际上相当于char* const。

　　原因在于const给予了整个指针本身以常量性，也就是形成了常量指针char* const。

　　简单来说，记住当const和typedef一起出现时，typedef不会是简单的字符串替换就行。

　　陷阱二：

　　typedef在语法上是一个存储类的关键字(如auto、extern、mutable、static、register等一样)，虽然它并不真正影响对象的存储特性，如：

　　typedef static int INT2; //不可行

　　编译将失败，会提示“指定了一个以上的存储类”。

typedef与#define的区别

　　从以上的概念便也能基本清楚，typedef只是为了增加可读性而为标识符另起的新名称(仅仅只是个别名)，而#define原本在C中是为了定义常量，到了C++，const、enum、inline的出现使它也渐渐成为了起别名的工具。有时很容易搞不清楚与typedef两者到底该用哪个好，如#define INT int这样的语句，用typedef一样可以完成，用哪个好呢?我主张用typedef，因为在早期的许多C编译器中这条语句是非法的，只是现今的编译器又做了扩充。为了尽可能地兼容，一般都遵循#define定义“可读”的常量以及一些宏语句的任务，而typedef则常用来定义关键字、冗长的类型的别名。

　　宏定义只是简单的字符串代换(原地扩展)，而typedef则不是原地扩展，它的新名字具有一定的封装性，以致于新命名的标识符具有更易定义变量的功能。请看上面第一大点代码的第三行：

　　typedef (int*) pINT;

　　以及下面这行:

　　#define pINT2 int*

　　效果相同?实则不同!实践中见差别：pINT a,b;的效果同int *a; int *b;表示定义了两个整型指针变量。而pINT2 a,b;的效果同int *a, b;表示定义了一个整型指针变量a和整型变量b。