typedef是一种有趣的声明形式：它为一种类型引入新的名字，而不是为变量分配空间。在某些方面，typedef类似于宏文本替换——它并没有引入新的类型，而是为现有类型取个新名字，但它们之间存在一个关键性的区别。

typedef关键字可以是一个常规声明的一部分，可以出现在靠近声明开始部分的任何地方。事实上，typedef 的格式与变量声明完全一样，只是多了这个关键字，向你提醒它的实质。由于typedef看上去跟变量声明完全一样，它们读起来也是一样的。普通的声明表示“这个名字是一个指定类型的变量”，而typedef关键字并不是创建一个变量，而是宣称“这个名字是指定类型的同义词”。

一般情况下，typedef用于简洁的表示指向其他东西的指针。典型的例子是signal()原型的声明。signal()是一种系统调用，用于通知运行时系统：当某种特定的“软件中断”发生时调用特定的程序。调用signal()并通过传参告诉它中断的类型以及用于处理中断的程序。在ANSI C标准中，signal()的声明如下：

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

用分析C语言的声明(2)介绍的方法分析这个声明：

首先：

void (*signal( ))(int);

signal是一个函数，它返回一个函数指针，后者所指向的函数接受一个int参数并返回void。

其中提取出来的通用的部分是：

void (*func)(int);

这个表示一个函数指针，所指向的函数接受一个int参数，返回值是void。下面用typedef来“代表”通用部分，从而进行简化：

typedef void (*ptr_to_func) (int);

/* 它表示ptr_to_func是一个函数指针，该函数接受一个int参数，返回值为void。*/

ptr_to_func signal(int, ptr_to_func);

/* 它表示signal是一个函数，它接受两个参数，

其中一个是int，另一个是ptr_to_func，返回值是ptr_to_func。*/

然而，说到typedef就不能不说一下它的缺点。它同样具有其他声明一样的混乱语法，同样可以把几个声明器塞到一个声明中去。对于结构体，除了可以在书写时省掉struct关键字之外，typedef并不能提供显著的好处，而少些一个struct其实并没有多大帮助。在任何typedef声明中，甚至不必把typedef放在声明的开始位置。

typedef和#define的区别

typedef和define之间有一个关键性的区别。正确思考这个问题的方法就是把typedef看成是一种彻底的“封装”类型——在声明它之后不能再往里面增加别的东西。它和define的区别体现在两个方面：

1.可以用其他类型说明符对宏类型名进行扩展，但对typedef所定义的类型名却不能这样做。如下所示：

#define peach int

unsigned peach i ; //没有问题

typedef int banana；

unsigned banana i；//错误，非法

2.在连续几个变量的声明中，用typedef定义的类型能够保证声明中所有的变量均为同一种类型，而用#define定义的类型则无法保证。如下所示：

#define int_ptr int *

int_ptr chalk, cheese;

经过宏扩展，第二行变为：

int * chalk, cheese;

这使得chalk和cheese成为不同的类型：chalk是一个指向int的指针，而cheese则是一个int。

typedef char * char_ptr;

char_ptr Bentley, Rolls_Royce;

使用typedef定义的类型能够保证它们的类型相同，都是指向char的指针。

typedef struct foo{ ... foo;}的含义

C语言存在多种名字空间：

标签名(label name)。

标签(tag)：这个名字空间用于所有的结构体、枚举和联合。

成员名：每个结构体或联合都有自身的名字空间。

其他。

在同一个名字空间里，任何名字必须具有唯一性，但在不同的名字空间里可以存在相同的名字。由于每个结构体或联合具有自己的名字空间，所以同一个名字可以出现在许多不同的结构内。有时可以看到这样的代码：

struct foo { int foo;} foo;

这显然会让将来维护这段代码的程序员感到困惑和沮丧，你说sizeof(foo)到底是表示哪个foo呢？

有些东西更加稀罕，像下面这样的声明竟然也是合法的：

typedef struct baz { int baz; } baz;

struct baz variable_1;

baz variable_2;

太多的“baz”了！让我们换一些清楚的名字，整理一下：

typedef struct my_tag { int i; } my_type;

struct my_tag variable_1;

my_type variable_2;

这个typedef声明引入了my_type这个名字作为"struct my_tag { int i; }"的简写形式。如果你用typedef声明一个标识符表示struct 结构类型，那么以后使用这个标识符时前面就不必加上关键字struct 了。但这个typedef声明同时也引入了结构标签my_tag，在它面前加个关键字struct可以表示同样的意思。

下面两个声明具有相似的形式：

typedef struct fruit { int weight , price_per_lb; } fruit; // 语句1

struct veg { int weight , price_per_lb; } veg; //语句2

但它们代表的意思却完全不一样，语句1声明了结构体标签”fruit“和由typedef声明的结构体类型”fruit“，其实际效果如下：

struct fruit mandarin; //使用结构体标签”fruit“

fruit mandarin; //使用结构体类型”fruit“

语句2声明了结构体标签”veg“和变量veg。只有结构体标签能够在以后的声明中使用，如：

struct veg potato;

如果试图使用veg cabbage这样的声明，将是一个错误。

使用typedef的一些提示：

1.不要在一个typedef中放入几个声明器，如下所示：

typedef int *ptr, (fun()), arr[5];

/* ptr是“指向int的指针”类型，

* fun是“指向返回值为int函数的指针”类型

* arr是“长度为5的int型数组”类型

*/

2.千万不要把typedef嵌到声明的中间部分，如下所示：

unsigned const long typedef int volatile *kumquat;

3.typedef为数据类型创建别名，而不是创建新的数据类型，可以对任何类型进行typedef声明。

typedef int (*array_ptr)[100];

4.应该只对所希望的变量类型进行typedef声明，为变量类型取一个喜欢的别名。关键字typedef应该如前所述出现声明的开始位置。在同一个代码块中，typedef引入的名字不能与其他标识符同名。

5.不要为了方便起见对结构体使用typedef。这样做唯一的好处是能使你不必书写”struct“关键字，但这个关键字可以向你提示一些信息，你不应该把它省掉。应该始终在结构体的定义中使用结构标签，即使它并非必须。这种做法可以使代码更为清晰。

6.typedef应该用在：

数组、结构体、指针以及函数的组合类型。

可移植类型。比如当你需要一种至少20bit的类型时，可以对它进行typedef操作。这样，当把代码移植到不同的平台时，要选择正确的类型如short，int，long时，只要在typedef中进行修改就可以了，无需对每一个声明都加以修改。

typedef也可以为后面的强制类型转换提供一个简单的名字，如：

typedef int (*ptr_to_int_fun)(void);

char * p;

...;

... = (ptr_to_int_fun) p;