typedef简介

typedef¹

typedef工具是一个高级数据特性，利用typedef可以为某一类型自定义名称。这方面与#define类似，但是两者有3处不同：
1、与#define不同，typedef创建的符号名只受限于类型，不能用于值；
2、typedef由编译器解释，不是预处理器；
3、在其受限范围内，typedef比#define更灵活。
下面介绍typedef的工作原理。假设要用BYTE表示1字节的数组。只需像定义个char类型变量一样定义BYTE，然后在定义前面加上关键字typedef即可：

typedef unsigned char BYTE;

随后，便可使用BYTE来定义变量：

BYTE x, y[10], *z;

该定义的作用域取决于typedef定义所在的位置。如果定义在函数中，就具有局部作用域，受限于定义所在的函数。如果定义在函数外面，就具有文件作用域。
通常，typedef定义中用大写字母表示被定义的名称，以提醒用户这个类型名实际上是一个符号缩写。当然，也可以用小写：

typedef unsigned char byte;

typedef中使用的名称遵循变量的命名规则。

为现有类型创建一个名称，看上去真是多此一举，但是它有时的确很有用。在前面的示例中，用BYTE代替unsigned char表明你打算用BYTE类型的变量表示数字，而不是字符码。使用typedef还能提高程序的可移植性。例如，sizeof运算符的返回类型：size_t类型，以及time()函数的返回类型：time_t类型。C标准委员会认为没有哪个类型对于所有的计算机平台都是最优选择。所以，标准委员会决定建立一个新的类型名（如：time_t），并让实现使用typedef来设置它的具体类型。以这样的方式，C标准提供以下通用原型：

time_t time(time_t *);

time_t在一个系统中是unsigned long，在另一个系统中可以是unsigned long long。只要包含time.h头文件，程序就能访问合适的定义，也可以在代码中声明time_t类型的变量。

typedef一些特性与#define的功能重合。例如：

#define BYTE unsigned char

这使预处理器用BYTE替换unsigned char。但是也有#define没有的功能：

typedef char * STRING

没有typedef关键字，编译器将把STRING识别为一个指向char的指针变量。有了typedef关键字，编译器则把STRING解释成一个类型的标识符，该类型是指向char的指针。因此：

STRING name, sign;

相当于：

char * name, * sign;

但是，如果这样假设：

#define STRING char *

然后，下面的声明：

STRING name, sign;

将被翻译成（宏的特性²）

char * name, sign;

这导致只有name才是指针。
还可以把typedef用于结构：

typedef struct complex{
	float real;
	float imag;
}COMPLEX;

然后便可使用COMPLEX类型代替complex结构来表示复数。使用typedef的第1个原因是：
为经常出现的类型创建一个方便、易识别的类型名。
例如，前面的例子中，许多人更倾向于使用STRING或与其等价的标记。
用typedef来命名一个结构类型时，可以省略该结构的标签：

typedef struct{double x; double y;}rect;

假设这样使用typedef定义的类型名：

rect r1 = {3.0, 6.0};
rect r2;

以上代码将被翻译成：

struct{double x; double y;} r1 = {3.0, 6.0};
struct{double x; double y;} r2;

r1 = r2;

这两个结构在声明时都没有标记，它们的成员完全相同（成员名及其类型都匹配），C认为这两个结构的类型相同，所以r1和r2间的赋值是有效操作。
使用typedef的第二个原因是：typedef常用于给复杂的类型命名。例如，下面的声明：

typedef char (* FRPTC ()) [5];

把FRPTC声明为一个函数类型，该函数返回一个指针，该指针指向内含5个char类型元素的数组。
使用typedef时要记住，typedef并没有创建任何新类型，它只是为某个已存在的类型增加了一个方便使用的标签。以前面的STRING为例，这意味着我们创建的STRING类型变量可以作为实参传递给以指向char的指针作为形参的函数。

---

1. 本文主要来源于《C Primer Plus》，经标注后发布； ↩︎

2. 一般而言，预处理器发现程序中的宏后，会用宏等价的替换文本进行替换。如果替换的字符串中还包含宏，则继续替换这些宏。唯一例外的是双引号中的宏。 ↩︎