目录

• 1、简洁定义
• 2、为已有类型起别名
• 为字符数组起别名
• 为指针起别名
• 3、typedef 和 #define 的区别
• 总结

1、简洁定义

C语言允许为一个数据类型起一个新的别名，就像给人起“绰号”一样。而编程中起别名，是为了编程人员编程方便，例如：

定义如下结构体

struct stu
{
	int ID;
	char name[20];
	float score[3];
	char *data;
};

要想定义一个结构体变量就得这样写：

struct stu Marry；//Marry是定义的新结构体学生

这个地方可以用我们今天的主题语法：typedef，来减少定义时需要的字符，来完成目的，如下：

typedef struct stu
{
	int ID;
	char name[20];
	float score[3];
	char *data;
}STU;
//定义一个Marry学生结构体
STU Marry;

可以看到非常简单的定义字符，完成结构体定义，另外typedef也可以用于已有类型，为已有类型起一个新的名字。

2、为已有类型起别名

typedef 的用法一般为：

typedef oldName newName;

例如如下，为int起名 Integer：

typedef int MY_int;
MY_int a, b;
a = 1;
b = 2;
/*这里  MY_int a, b ;等同于 int a, b; */

这里 MY_int a, b ; 等同于 int a, b;

typedef 还可以给数组、指针、结构体等类型定义别名。先来看一个给数组类型定义别名的例子：

为字符数组起别名

typedef char ARRAY20[20];

表示 ARRAY20 是类型char [20]的别名。它是一个长度为 20 的数组类型。接着可以用 ARRAY20 定义数组：

ARRAY20 a1, a2, s1, s2;

结果如下，可以看到ARRAY20 定义的数组长度是20个字符。

因此 ARRAY20 a1, a2, s1, s2; 等价于 char a1[20], a2[20], s1[20], s2[20]; ，即数组也是有类型的，例如char a1[20];定义了一个数组 a1，它的类型就是 char [20]。

为指针起别名

为指针类型定义别名，例如如下:

typedef int (*ptr_to_arr)[4];

表示 ptr_to_arr是类型int * [4]的别名，它是一个二维数组指针类型。接着可以使用 ptr_to_arr定义二维数组指针：

ptr_to_arr p1, p2;

这代表p1, p2都是二维数组指针，同样也可以为函数指针类型定义别名：

typedef int (*ptr_to_func)(int, int);
ptr_to_func pfunc;

如下表示为指针类型和函数类型起别名：

#include <stdio.h>

typedef char (*ptr_to_arr )[30];
typedef int (*ptr_to_func )(int, int);

int max(int a, int b){
    return a>b ? a : b;
}

char str[3][30] = {
    "Happy New Year",
    "Good Good Study",
    "Day Day up"
};

int main(){
    ptr_to_arr parr = str;//parr 代表一个二维数组指针，指向str这个二维数组对应元素
    ptr_to_func  pfunc = max;//pfunc代表一个函数指针，指向max函数
    int i;
   
    printf("max: %d\n", (*pfunc)(10, 20));
    for(i=0; i<3; i++){
        printf("str[%d]: %s\n", i, *(parr+i));
    }

    return 0;
}

结果如下：

需要强调的是，typedef 是赋予现有类型一个新的名字，而不是创建新的类型。为了“见名知意”，请尽量使用含义明确的标识符，并且尽量大写。

3、typedef 和 #define 的区别

typedef 在表现上有时候类似于 #define，但它和宏替换之间存在一个关键性的区别。正确思考这个问题的方法就是把 typedef 看成一种彻底的“封装”类型，声明之后不能再往里面增加别的东西。例如如下情况：

1）能否使用其他类型说明符对宏类型名进行扩展

用unsigned 配合 #define定义的变量，可以使用：

#define MY_int int
unsigned MY_int n;  //没问题

但是用unsigned 配合 typedef 定义的变量，则不可以使用：

typedef int MY_int ;
unsigned MY_int n;  //错误，不能在 MY_int 前面添加 unsigned

表明了typedef 的完整性。

2）在连续定义几个变量的时候，typedef 能够保证定义的所有变量均为同一类型，而 #define 则无法保证。例如：

#define My_int int *
My_int p1, p2;

//如果用宏替换则变为：

int *p1, p2;

这样会使， p1、p2 成为不同的类型，p1为指向int类型的指针，p2为int类型数据。

对于typedef定义的别名，不存在上述的情况，例如：

typedef int * PTR_INT
PTR_INT p1, p2;

p1、p2 类型相同，它们都是指向 int 类型的指针。

总结