实用经验 13 typedef使用的陷阱

无论在C还是在C++代码中，typedef都是出现频率较多的一个关键字。typedef本身的功能是很容易理解的，主要功能是定义一个已存在类型的别名。但是和宏在并存，问题就变的复杂了。在加上国内一些教科书的问题。导致一些编程人员将宏和typede混为一谈。

typedef有助于创建平台无关类型，甚至能隐藏复杂和难以理解的语法。使用 typedef 可编写出更加美观和可读的代码。所谓美观，意指 typedef 能隐藏笨拙的语法构造以及平台相关的数据类型，从而增强可移植性以及未来的可维护性。本文将竭尽全力来揭示typedef 强大功能以及如何避免一些常见的使用陷阱。

首先，我们看typedef和宏混用陷阱。为了说明这一问题，我们看下面这段代码。

#define PSTR_MACRO  char*  // 定义一个宏类型PSTR_MACRO
typedef char * PSTR;       // 通过typedef定义一个新类型PSTR

int main(int argc， char* argv[])
{
    // 声明两个变量piVar1和piVar2
    PSTR  piVar1， piVar2;  
    // 声明两个变量piVar3和piVar4
    PSTR_MACRO piVar3， piVar4;

    int iVar = 100;       // 定义一个int变量iVar

    // 将iVar变量地址赋给piVar1，piVar2，piVar3，piVar4四个变量
    piVar1 = &iVar;     
    piVar2 = &iVar;
    piVar3 = &iVar;
    piVar4 = &iVar;

    // 输出piVar1，piVar2，piVar3，piVar4四个变量的值
    printf("piVar1 = %0X\r\n" ， piVar1);
    printf("piVar2 = %0X \r\n" ， piVar2);
    printf("piVar3 = %0X \r\n" ， piVar3);
    printf("piVar4 = %0X \r\n" ， piVar4);

    return 0;
}

代码段的输出为：

piVar1 = 19FC78
piVar2 = 19FC78
piVar3 = 19FC78
piVar4 = 78

通过代码片段的执行结果，可以看出typedef和#define还是有很大的区别的。我们先分析为什么上述代码中四个变量的输出值不同。

PSTR_MACRO为预处理宏，只是简单的字符串替换，piVar3和piVar4经过预处理后“PSTR_MACRO piVar3， piVar4;”声明转化为“char * piVar3， piVar4;”到这儿也许你已经看出问题来了。piVar4是一个char型变量，而不是char*型变量。

PSTR为一个通过typedef定义的类型别名。不进行原地扩展，新定义的别名有一定的封装性。“PSTR piVar1， piVar2;”在编译过程中，由于PSTR为char*的别名。编译器会把“PSTR piVar1， piVar2;”语句当做“char *piVar1， *piVar2;”处理。而不是简单的宏替换。

宏和typedef区别

• 宏定义只是简单的字符串替换；
• typedef定义的类型是类型的别名，typedef后面是一个整体声明，是不能分割的一个整体。具有一定的封装性，不是简单的字符串替换。

通过typedef声明多个指针对象，形式直观，方便省事，例如声明三个指针变量：

char *pszA， *pszB， *pszC;    // 声明三个指针变量，方式1

typedef char * PSTR;          // 声明三个指针变量，方式2：直观省事
PSTR  pszA， pszB， pszC;

小心陷阱
typedef目的是为复杂的声明定义简单的别名，它本身是一种存储类的关键字，与auto、extern、mutable、static、register等关键字不能出现在同一个表达式中。如“typedef static int S_INT;”就是非法的。

讨论了typedef和#define的区别，我们继续讨论typedef的其他用途。

（1）用在旧的C代码中，声明struct新对象时，必须要带上struct，即形式为： struct 结构名对象名，例如：

struct tagPOINT  // 点数据结构
{
    int x; 
    int y; 
};
struct tagPOINT p1;

为了实现，在结构体使用过程中，少写声明头部分的struct，可采用如下实现方式。

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

这样就比原来的方式少写了一个struct，比较省事，尤其在大量使用的时候，在C++中，则可以直接写：结构名+对象名，即：

tagPOINT1 p1;

在C++中，typedef的这种用途就不是很大，但是理解了它，对掌握以前的旧代码还是有帮助的，毕竟我们在项目中有可能会遇到较早些年代遗留下来的代码。

（2）typedef另外一个重要的用途，那就是定义机器无关的类型，保障代码具有较好的跨平台特性。例如，可定义一个叫REAL_NUM的浮点类型，在目标机器上它可以获得最高的精度：

typedef long double REAL_NUM;  // 实数

在不支持long double的机器上，通过typedef可采用如下定义：

typedef double REAL_NUM;  // 实数

对于连double都不支持的机器上，通过typedef可采用如下定义：

typedef float REAL_NUM;  // 实数

采用typedef实现数据类型的定义，你不用对源代码做任何修改，便可以在每一种平台上编译这个使用REAL_NUM类型的应用程序。

唯一需要修改的是 typedef 本身。在大多数情况下，甚至这个微小的变动完全都可以通过奇妙的条件编译来自动实现。不是吗？STL标准库广泛地使用typedef来创建这样的平台无关类型：size_t，ptrdiff 和fpos_t 就是这样的例子。

（3）为复杂的声明定义一个简单的名称，简化代码。这一功能可增强代码的可读性和标示符的灵活性。

我们看下面这个复杂的声明。原始的复杂声明：这个声明中，paFunc为变量名称。

int *(*paFunc[6])(char *pszInput);

现在看通过typedef简化后的声明形式。

Typedef int *  (*pFunc)(char *pszInput);
pFunc paFunc[6];

最后，我们看一下C++类经常使用的回调函数实现。假设有一个类叫隧道CTunnel类，同时若此类接收到某一个数据时，回调一个预先设置好的回调函数。

// Tunnel.h隧道类声明文件
// 回调函数声明
typedef BOOL *CallBackFunc(const char *pszData， const int nDatalength);

// 隧道类声明
class CTunnel
{
	CTunnel();
    virtual ~CTunnel();
    // 设置回调函数
    void SetCallBack(CallBackFunc *pCallBackFunc);
    // 隧道接收数据处理函数
    int  OnRcvData(const char *pszData， const int nDataLength);
private:
    // 回调函数存储指针
    CallBackFunc m_pCallBackFunc;
};

// Tunnel.cpp 隧道类实现文件
CTunnel::CTunnel()
{
    m_pCallBackFunc = NULL;
}
CTunnel::~CTunnel()
{
}
// 设置回调函数
void CTunnel::SetCallBack(CallBackFunc *pCallBackFunc)
{
    m_pCallBackFunc = pCallBackFunc;
}
// 隧道接收数据处理函数
int CTunnel::OnRcvData(const char *pszData， const int nDataLength)
{
    if ((NULL == pszData)||(0 == nDataLength))
    {
        return -1;
    }
        
    .......
    
    if (NULL != m_pCallBackFunc)
    {
        return m_pCallBackFunc(pszData， nDataLength);
    }
    return 0;
}

请谨记

• 区分宏和typedef的差异，不要用宏的思维方式对待typedef，因为typedef声明的新名称具有一定的封装性，而#define宏，只是简单的字符替换。
• 尽量用typedef实现那些复杂的声明形式。保证你的代码清晰，易于阅读。