typedef工具是一个高级数据特性，利用typedef可以为某一类型自定义名称。这方面与#define类似，但是两者有3处不同：
下面介绍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标准规定sizeof和time()返回整数类型，但是让实现来决定具体是什么整数类型。其原因是，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;
r2 = r1;
这两个结构在声明时都没有标记，它们的成员完全相同（成员名及其类型都匹配），C认为这两个结构的类型相同，所以r1和r2间的赋值操作是有效操作。
使用typedef的第2个原因是：typedef常用于给复杂的类型命名。例如，下面的声明：
typedef char (* FRPTC ()) [5];
把FRPTC声明为一个函数类型，该函数返回一个指针，该指针指向内含5个char类型元素的数组。
使用typedef时要记住，typedef并没有创建任何新类型，它只是为某个已存在的类型增加一个方便使用的标签。以前面的STRING为例，这意味着我们创建的STRING类型变量可以作为实参传递给以指向char指针作为形参的函数。
通过结构、联合和typedef，C提供了有效处理数据的工具和处理可移植数据的工具。
其他复杂的声明
C允许用户自定义数据形式，虽然我们常用的是一些简单的形式，但是根据需要有时还会用到一些复杂的形式。在一些复杂的声明中，常包含下面的符号，如下表:
| 声明时可使用的符号 | |
| 符号 | 含义 |
| * | 表示一个指针 |
| ( ) | 表示一个函数 |
| [ ] | 表示一个数组 |
| 下面是一些较复杂的声明示例 | |
| int board[8][8]; | 声明一个内含int数组的数组 |
| int ** ptr; | 声明一个指向指针的指针，被指向的指针指向int |
| int * risks[10] | 声明一个内含10个元素的数组，每个元素都是一个指向int的指针 |
| int (* rusks)[10] | 声明一个指向数组的指针，该数组内含10个int类型的值 |
| int * off[3][4] | 声明一个3x4的二维数组，每个元素都是指向int的指针 |
| int (* uuf)[3][4] | 声明一个指向3x4二维数组的指针，该数组中内含int类型值 |
| int (* uof[3])[4] | 声明一个内含3个指针元素的数组，其中每个指针都指向一个内含4个int类型元素的数组 |
要看懂以上声明，关键要理解*、( )和[ ]的优先级。记住下面几条规则：
1. 数组名后面的[ ]和函数名后面的( )具有相同的优先级。它们比*(解引用运算符)的优先级高。因此下面声明的risks是一个指针数组，不是指向数组的指针：int * risks[10];
2. [ ]和( )的优先级相同，由于都是从左往右结合，所以下面的声明中，在应用方括号之前，*先与rusks结合。因此rushs是一个指向数组的指针，该数组内含10个int类型的元素：int (* rusks)[10];
3. [ ]和( )都是从左往右结合。因此下面声明的goods是一个由12个内含50个int类型值的数组组成的二维数组，不是一个有50个内含12个int类型值的数组组成的二维数组：int goods[12][50];
把以上规则应用于下面的声明：
int * off[3][4];
[3]比*的优先级高，由于从左往右结合，所以[3]先与off结合。因此，off首先是一个内含3个元素的数组。然后再与[4]结合，所以oof的每个元素都是内含4个元素的数组。*说明这些元素都是指针。最后，int表明了这4个元素都是指向int的指针。因此，这条声明要表达的是：foo是一个内含3个元素的数组，其中每个元素是由4个指向int的指针组成的数组。简而言之，off是一个3x4的二维数组，每个元素都是指向int的指针。编译器要为12个指针预留储存空间。
现在来看下面的声明：
int (* uuf)[3][4];
圆括号使得*先与uuf结合，说明uuf是一个指针，所以uuf是一个指向3x4的int类型二维数组的指针。编译器要为一个指针预留存储空间。
根据这些规则，还可以声明：
char * fump(int); // 返回字符指针的函数
char (* frump)(int); // 指向函数的指针，该函数的返回类型为char
char (* flump[3])(int); // 内含3个指针的数组，每个指针都指向返回类型为char的函数
这3个函数都接受int类型的参数。
可以使用typedef建立一系列相关类型：
typedef int arr5[5];
typedef arr5 * p_arr5;
typedef p_arr5 arrp10[10];
arr5 togs; // togs是一个内含5个int类型值的数组
p_arr5 p2; // p2是一个指向数组的指针，该数组内含5个int类型的值
arrp10 ap; // ap是一个内含10个指针的数组，每个指针都指向一个内含5个int类型值的数组
如果把这些放入结构中，声明会更复杂。