在总结typedef之前,先了解一个专业术语:
常量指针(const pointer):常量指针在定义的时候必须被初始化,而且一旦初始化完成,则它的值就不能再改变。
int errNumb = 0;
int *const curErr = &errNumb; // curErr将一直指向errNumb,不可以改变。
1.typede是什么。
类型别名(type alias)是一个名字,它是某种类型的同义词。使用类型别名有很多好处,它可以让复杂的类型名字变得简单明了、易于理解和使用,还有助于程序员清楚地知道使用该类型的真实目的。
传统的方法是使用关键字typedef:
typedef double wages; // wages是double的同义词
typedef wages base, *p; // base是double的同义词,p是double *的同义词
其中,关键字typedef作为声明语句中的基本类型的一部分出现。含有typedef的声明语句定义的不再是变量而是类型别名。和以前的普通基本类型声明一样,这里的声明也可以包含类型修饰,从而也能由基本类型构造出符合类型来。
2.如何理解使用typedef来给基本数据类型起一个别名。
如果某个类型别名指代的是复合类型或常量,那么,把它用到声明语句里就会产生意想不到的后果。例如下面的声明语句用到了类型pstring,它实际上是类型char*的别名:
typedef char *pstring;
const pstring cstr = 0; // cstr是指向char的常量指针
const pstring *ps; // ps是一个指针,它的对象是指向char的常量指针
上述两条声明语句的基本数据类型都是const pstring,和过去一样,const是对给定的类型的修饰。pstring实际上是指向char的指针,因此,const pstring就是指向char的常量指针,而非指向常量字符的指针。
遇到一条使用了类型别名的声明语句时,人们往往会错误地尝试把类型别名替换成它本来的样子,以理解该语句的含义:
const char *cstr = 0; // 是对const pstring cstr的错误理解
再强调一遍:这种理解是错误的。声明语句中用到pstring时,其基本数据类型是指针。可是用char重写了声明语句后,数据类型就变成了char, 而成为了声明符的一部分。这样的改写显然是错误的。这样改写的结果是,const char 成了基本数据类型。前后两种声明含义截然不同,前者声明了一个指向char的常量指针,改写后的形式则声明了一个指向const char的普通指针。
我写的测试代码如下:
#include <stdio.h>
typedef char *pstring;
int main(char argc, char *argv[]) {
char a = 'h', b = 'f';
pstring cstr = NULL;
const char *t = NULL;
cstr = &a;
const pstring pa, pb = &b;
t = &a;
pa = &a; // compile error: assignment of read-only variable 'pa'
printf("hello world\n");
return 0;
}
3.如何理解typedef给函数指针类型起一个别名。
在我们平时写代码的过程中,我们虽然不能定义一个函数类型的行参,但是行参可以是指向函数的指针。此时,行参看起来是函数类型,实际上却是当成指针使用:
// 第三个行参是函数类型,它会自动转换成指向函数的指针
void useBigger(const char *s1, const char *s2,
bool pf(const char *, const char *));
// 等价的声明:显式地将行参定义成指向函数的指针
void useBigger(const char *s1, const char *s2,
bool (*pf)(const char *, const char *));
我们可以直接把函数作为实参使用,此时它会自动转换成指针:
// 自动将函数函数lengthCompare转换成指向该函数的指针
useBigger(s1, s2, lengthCompare);
正如useBigger的声明语句所示,直接使用函数指针类型显得冗长而繁琐。我们可以通过typedef来加以简化使用了函数指针的代码:
// Func是函数类型
typedef bool Func(const char *, const char *);
// FuncP是指向函数的指针
typedef bool (*FuncP)(const char *, const char *);
我们使用typedef定义自己的类型。Func是函数类型,而FuncP是指向Func类型函数(函数原型,形如Func)的指针类型。
参考:
《C++Primer中文第5版》:Page56,60,61,222