1）可以直接使用C提供的标准类型名(如int、char、float、double、long等)和自己声明的结构体、共用体、指针、枚举类型等；
2）还可以用typedef声明新的类型名来代替已有的类型名。如：
typedef int COUNT；
COUNT i，j；
即将变量i、j定义为COUNT类型，而COUNT等价于int，因此i、j是整型。在程序中将i、j定为COUNT类型，可以使人更一目了然地知道它们是用于计数的。又如：
typedef　struct _date{
     int　month；
     int　day；
     int　year；
}DATE；
DATE birthday；(即将变量birthday定义为DATE类型，它等价结构体类型struct _date)
DATE　*p；(即将p为指针变量，它指向DATE类型数据)
还可以进一步：
① typedef　int　NUM[100]；(声明NUM为整型数组类型)
NUM　n；(定义n为整型数组变量)
② typedef char *STRING； (声明STRING为字符指针类型)
STRING　p，s[10]；(p为字符指针变量，s为指针数组)
③ typedef int (*POINTER)()(声明POINTER为指向函数的指针类型，该函数返回整型值)
POINTER p1，p2; (p1、p2为指针变量, 它指向POINTER类型)　

3)归纳起来，声明一个新的类型名的方法是：
① 先按定义变量的方法写出定义体(如：int　i；)。
② 将变量名换成新类型名(如：将i换成COUNT)。
③ 在最前面加typedef(如：typedef　int　COUNT)。
④ 然后可以用新类型名去定义变量。
再以定义上述的数组类型为例来说明：
① 先按定义数组变量形式书写：int　n[100]；
② 将变量名n换成自己指定的类型名：int　NUM[100]；
③ 在前面加上typedef，得到typedef int NUM[100]；
④ 用来定义变量：NUM　n；
同样，对字符指针类型，也是：
①char　*p；　
②char *STRING；
③typedef　char *STRING；　
④ STRING　p，s[10]；

4)习惯上常把用typedef声明的类型名用大写字母表示，以便与系统提供的标准类型标识符相区别。
5)说明：
(1) 用typedef可以声明各种类型名，但不能用来定义变量。
    用typedef可以声明数组类型、字符串类型，使用比较方便。
如定义数组，原来是用int　a[10]，b[10]，c[10]，d[10]；由于都是一维数组，大小也相同，
可以先将此数组类型声明为一个名字：typedef　int　ARR[10]；然后用ARR去定义数组变量：
ARR　a，b，c，d；ARR为数组类型，它包含10个元素。因此，a、b、c、d都被定义为一维数组，含10个元素。
可以看到，用typedef可以将数组类型和数组变量分离开来，利用数组类型可以定义多个数组变量。同样可以定义字符串类型、指针类型等。
(2) 用typedef只是对已经存在的类型增加一个类型名，而没有创造新的类型。
例如，前面声明的整型类型COUNT，它无非是对int型另给一个新名字。
又如：typedef　int　NUM[10]；无非是把原来用“int n[10]；”定义的数组变量的类型用一个新的名字NUM表示出来。无论用哪种方式定义变量，效果都是一样的。
(3) typedef　与　#define　有相似之处，如：typedef　int　COUNT；
和#define　COUNT　int的作用都是用COUNT代表int。但事实上，它们二者是不同的。#define是在预编译时处理的，它只能作简单的字符串替换，而typedef是在编译时处理的。实际上它并不是作简单的字符串替换，
例如：typedef　int　NUM[10]；并不是用“NUM[10]”去代替“int”，而是采用如同定义变量的方法那样来声明一个类型(就是前面介绍过的将原来的变量名换成类型名)。
(4) 当不同源文件中用到同一类型数据(尤其是像数组、指针、结构体、共用体等类型数据)时，常用typedef声明一些数据类型，把它们单独放在一个文件中，然后在需要用到它们的文件中用#include命令把它们包含进来。
(5) 使用typedef有利于程序的通用与移植。有时程序会依赖于硬件特性，用typedef便于移植。例如，有的计算机系统int型数据用两个字节，数值范围为-32768～32767，而另外一些机器则以4个字节存放一个整数，数值范围为±21亿。如果把一个C程序从一个以4个字节存放整数的计算机系统移植到以2个字节存放整数的系统，按一般办法需要将定义变量中的每个int改为 long。例如，将“int　a，b，c；”改为“long　a，b，c；”，如果程序中有多处用int定义变量，则要改动多处。现可以用一个 INTEGER来声明int：
typedef　int　INTEGER；
在程序中所有整型变量都用INTEGER定义。在移植时只需改动typedef定义体即可：
typedef　long　INTEGER；