一直想动手写关于typedef 和# define的区别,偶然的机会发现这篇博文,觉得写得很好。把自己想要表达的都说的很清楚所以就转载了。感谢dfcao 来自博客园的兄弟。
typedef 和#define 都常用来定义一个标识符及关键字的别名,但他们之间有关键的区别。
typedef 是语言编译过程的一部分;
#define是宏定义语句,它本身并不在编译过程中进行,而是在这之前的预处理过程就已经完成了。
要理解两者的关键区别,可以这么来考虑:
把typedef 看成是一种彻底的"封装"类型,相当于产生了一个新的变量类型(这点与struct 类似,待会会与struct 进行类比来增进理解)。而#define 仅仅是进行宏文本替换。
typedef 和 #define 的区别体现在两个方面:
首先, 可以用其他类型说明符对宏类型名进行扩展,但typedef 所定义的类型名却不能进行扩展。
如下:
#define peach int
unsigned peach i; //没问题,可以这么使用。
typedef int banana;
unsigned banana i; //错误,非法!
#define 仅仅是进行宏文本替换,它并没有产生新的变量类型。以上面代码为例,在预处理阶段, peach 重新被替换为 int, 故可在peach 前面加unsigned;
而typedef 的工作方式则和#define完全不一样,它相当于产生了一个新的变量类型,这个新的变量类型前面不能再进行扩展。这和struct 类型类似,定义了一个struct 也相当于产生了一个新的变量类型,而我们从不会见到类似于 unsigned struct student a; 这种声明。
第二个区别,在连续几个变量的声明中,用typedef 定义的类型能够保证声明中的所有变量均为同一种类型,而用#define 则无法保证。
如下:
#define intp int *
intp a, b;
//经过宏扩展,第二行变为:
int * a, b;
//a是一个指向int变量的指针变量, b是一个int型变量!
typedef int * int_p;
int_p c, d; //c, d都是指向int变量的指针变量!
以上述代码为例,#define仅仅是进行宏替换,在预处理阶段intp被替换为 int *,这显然只能声明a是个指针变量, 而b是int型变量。typedef则相当于定义了一个新的变量类型,能对c、d都起作用。同样与struct作类比, 对于 struct student e,f; e和f都被声明是student类型的变量。
其实我想多写一点关于#define 的宏替换,它是基于标示符的替换,而并非简单的字符串替换。
例如 #define type_32 int
如果程序出现 类似 itype_32 的标示符,虽然他有 type_32 ,但是是不会替换的,因为type_32不是一个完整的标示符。