typedef和#define

本文整理自网络。

一、概述
    不管实在C还是C++代码中，typedef这个词都不少见，当然出现频率较高的还是在C代码中。typedef与#define有些相似，比如替换。但更多的是不同，特别是在一些复杂的用法上，就完全不同了。下面主要讲typedef的用法，在需要的地方会与#define进行比较。
二、主要内容
1.typedef的用途
（1）、定义一种类型的别名，而不只是简单的宏替换。
  这种用途最重要的是可以用作同时声明指针型的多个对象，比如：
  char* pa, pb;
  这个声明不符合我们的要求，它只声明了一个指向字符变量的指针pa，但pb不是指针，而是一个char类型的变量而已；  如何申明多个呢？char* pa;char* pb;似乎也可以，但是多了的话会不会很麻烦呢？这时typedef可以派上用场。 

 typedef char *PCHAR; //注意写法'*'号要挨着PCHAR，而不是char。写成typedef char* PCHAR编译不会错，但不符合规范。
  PCHAR pa, pb; 
  这样一来，pa,pb都是指向char类型的指针了。

这种用法很有用，特别是char* pa, pb的定义，初学者往往认为是定义了两个字符型指针，其实不是，而用typedef char* PCHAR就不会出现这样的问题，减少了错误的发生。

（2）、用在旧的C代码中，帮助struct。

  以前的代码中，声明struct新对象时，必须要带上struct，  即形式为： struct 结构名 对象名，如：

struct tagPOINT1
 {
     int x;
     int y;
 };
struct tagPOINT1 p1;

而在C++中，则可以直接写：结构名 对象名，即：tagPOINT1 p1;

typedef struct tagPOINT
 {
     int x;
     int y;
 }POINT;

POINT p1;

(3)、用typedef来定义与平台无关的类型。

比如定义一个叫 REAL 的浮点类型，在目标平台一上，让它表示最高精度的类型为：

typedef long double REAL;

在不支持 long double 的平台二上，改为：

typedef double REAL;

在连 double 都不支持的平台三上，改为：

typedef float REAL;

也就是说，当跨平台时，只要改下 typedef 本身就行，不用对其他源码做任何修改。

标准库就广泛使用了这个技巧，比如size_t。另外，因为typedef是定义了一种类型的新别名，不是简单的字符串替换，所以编译器能发现一些错误，而宏则不能。

（4）、为复杂的声明定义一个新的简单的别名。
方法是：在原来的声明里逐步用别名替换一部分复杂声明，如此循环，把带变量名的部分留到最后替换，得到的就是原声明的最简化版。举例： 

 原声明：void (*b[10]) (void (*)());

变量名为b，先替换右边部分括号里的，pFunParam为别名一：

typedef void (*pFunParam)();

再替换左边的变量b，pFunx为别名二：

typedef void (*pFunx)(pFunParam);

原声明的最简化版：

pFunx b[10];
 
原声明：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。

这种用法是比较复杂的，出现的频率也不少，往往在看到这样的用法却不能理解，相信以上的解释能有所帮助。

typedef 与 #define的区别：
通过下面两个例子，就能明显的看出两者的区别，
案例一：

通常讲，typedef要比#define要好，特别是在有指针的场合。请看例子：

typedef char *pStr1;
#define pStr2 char *;

pStr1 s1, s2;
pStr2 s3, s4;
在上述的变量定义中，s1、s2、s3都被定义为char *，而s4则定义成了char，不是我们所预期的指针变量，根本原因就在于#define只是简单的字符串替换而typedef则是为一个类型起了一个新名字。

案例二：
下面的代码中编译器会报一个错误，你知道是哪个语句错了吗？

typedef char *pStr;
char chr[4] = "abc";
const char *p1 = chr;
const pStr p2 = chr;

p1++;
p2++;

    上面代码中是p2++出错了。上述代码中，虽然替换回来是一样的代码，但是转换后已经完全不同了。
const char *p1表示指向字符型常量的指针。它表示指针p1所指对象内容是不能改变的，只能进行读取。
但是p1是可以指向别的变量的，所以可以p1++;const pStr p2表示常量指针，它表示p2只能指向现在的对象，
不能再指向别的对象，所以不能p2++。但是可以修改所指对象的内容。这个问题再一次提醒我们：typedef和#define不同，它不是简单的文本替换。
另外：const 对象必须由const指针指向它，const指针则可以指向const和非const对象。