C/C++ typedef 详解

参考:

1、4个用途:

(1)简化定义,避免错误,直观、省事。

         typedef定义一种类型的别名,而不只是简单的宏替换。可同时声明指针型的多个对象。

比如:同时声明两个指针

char* pa, pb; // 错误,它只声明了一个指向字符变量的指针,和一个字符变量;

// 以下则可行:
typedef char* PCHAR; // 一般用大写
PCHAR pa, pb; // 可行,同时声明了两个指向字符变量的指针

// 虽然:
char *pa, *pb;// 也可行,但相对来说没有用typedef的形式直观、省事。

(2)在C语言中,用于简化struct定义(在C++中不需要)。

typedef struct point  
{  
    int x;  
    int y;  
}POINT; 
 
struct point p1; // C语言中定义struct变量时,类型需要带有“struct”。
POINT p2; // 这样就比原来的方式少写了一个struct,省事

(3)跨平台,定义与平台无关的类型。

         比如定义一个叫 REAL 的浮点类型,在目标平台一上,让它表示最高精度的类型为:
                typedef long double REAL; 
         在不支持 long double 的平台二上,改为:
               typedef double REAL; 
         在连 double 都不支持的平台三上,改为:
               typedef float REAL; 
         也就是说,当跨平台时,只要改下 typedef 本身就行,不用对其他源码做任何修改。标准库就广泛使用了这个技巧,比如size_t。

(4)为复杂的声明定义一个新的简单的别名。

方法是:在原来的声明里逐步用别名替换一部分复杂声明,如此循环,把带变量名的部分留到最后替换,得到的就是原声明的最简化版。举例:

1. 原声明:int *(*a[5])(int, char*);
变量名为a,直接用一个新别名pFun替换a就可以了:
typedef int *(*pFun)(int, char*); 
原声明的最简化版:
pFun a[5];

2. 原声明:void (*b[10]) (void (*)());
变量名为b,先替换右边部分括号里的,pFunParam为别名一:
typedef void (*pFunParam)();
再替换左边的变量b,pFunx为别名二:
typedef void (*pFunx)(pFunParam);
原声明的最简化版:
pFunx b[10];

3. 原声明:doube(*)() (*e)[9]; 
变量名为e,先替换左边部分,pFuny为别名一:
typedef double(*pFuny)();
再替换右边的变量e,pFunParamy为别名二
typedef pFuny (*pFunParamy)[9];
原声明的最简化版:
pFunParamy e;

理解复杂声明可用的“右左法则”:从变量名看起,先往右,再往左,碰到一个圆括号就调转阅读的方向;括号内分析完就跳出括号,还是按先右后左的顺序,如此循环,直到整个声明分析完。举例:
int (*func)(int *p);
首 先找到变量名func,外面有一对圆括号,而且左边是一个*号,这说明func是一个指针;然后跳出这个圆括号,先看右边,又遇到圆括号,这说明 (*func)是一个函数,所以func是一个指向这类函数的指针,即函数指针,这类函数具有int*类型的形参,返回值类型是int。
int (*func[5])(int *);
func 右边是一个[]运算符,说明func是具有5个元素的数组;func的左边有一个*,说明func的元素是指针(注意这里的*不是修饰func,而是修饰 func[5]的,原因是[]运算符优先级比*高,func先跟[]结合)。跳出这个括号,看右边,又遇到圆括号,说明func数组的元素是函数类型的指 针,它指向的函数具有int*类型的形参,返回值类型为int。

也可以记住2个模式:
type (*)(....) 函数指针 
type (*)[] 数组指针

2、2大陷阱

(1)陷阱一:typedef是定义了一种新类型(本质不是创建了新类型,只是类型的新别名,但可以理解为新类型),不同于宏的简单替换,要小心 const。

比如:

typedef char* PSTR;
int mystrcmp(const PSTR, const PSTR);

const PSTR相当于const char*吗?不是的,它实际上相当于char* const。
原因在于const给予了变量本身以常量性,只因为这个变量类型是指针,也就形成了常量指针char* const。
记住,小心const,typedef是定义了一种新类型,不同于宏,它不是简单的字符串替换。

(2)陷阱二:typedef在语法上是一个存储类的关键字(如:auto、extern、mutable、static、register等),虽然它并不真正影响对象的存储特性,但是不能同时使用一个以上是存储关键词,如:
typedef static int INT2; //不可行,编译将失败,会提示“指定了一个以上的存储类”。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章