这是一个很多人都不会用错但是却不甚了解的知识点,(正因为不会用错才不去了解)。
比较下面程序中,const修饰对象分别是什么:
#define PINT_DEF int*
typedef int* PINT_TYP
const int * a;
const PINT_DEF b;
const PINT_TYP c;
有人认为上面三条语句在typedef与#define替换之后皆一样,亦即:
const int * a;
const PINT_DEF b; <==> const int * b;
const PINT_TYP c; <==> const int * c;
定义了三个变量,分别是a,b,c;并且const修饰的均是*a/*b/*c
,那就大错特错了。首先,我们得弄清楚typedef与#define的区别是什么?
typedef是为原有类型声明一个新的名字,“typedef int* PINT_TYP ”就是声明了一个新的数据类型,数据类型名为PINT_TYP,其功能与
int *
是完全一样的,也就是说,PINT_TYP与int *
本质上完全相等(在程序中遇到PINT_TYP不是简单地替换)。而“#define PINT_DEF int*”是简单的宏定义,在预处理阶段就已经将PINT_DEF替换为
int *
了,它与int *
不等价(只是表面的特征相同)。
我们可以查看预处理文件中的变化:
const修饰的是什么?
知道typedef与#define的区别以后我们来分析,以上三条语句中const分别修饰谁:由预处理文件可知:
const int * a;
const PINT_DEF a; <==> const int * b;
const PINT_TYP a; <==> const PINT_TYP c;
对于#define宏定义,其const修饰的就是指针指向的数值(*b),与cosnt int * a;
是一样的(修饰*a)。而typedef其const修饰的是指针,因为PINT_TYP被看做是一个整体,而不是int
与*
两部分。所以cosnt修饰的是PINT_TYP类型,即变量c,而不是*c,因为在const PINT_TYP c
这条语句中,根本就不存在*
这个字符。
再一个例子加深印象:
上例中:
PINT_TYP a3, b3, c3; <==> int *a3, *b3, *c3;
//定义的是三个指针