5、#define 与 typedef 对比：宏定义类型与 typedef 的区别、常见陷阱

说实话，我在面试嵌入式工程师的时候，特别喜欢问这个问题。很多人写了三五年C代码，一上来就说「typedef就是给类型起个别名，跟#define差不多」。嗯，差不多？差得远了去了。

今天咱们就把这两个东西掰开揉碎了讲清楚。你想想看，一个是在预处理阶段就干活的文本替换，一个是编译器真正认识的类型定义，它们能一样吗？

5.1 本质区别：预处理 vs 编译

先看一个最简单的例子：

#define PINT int*
typedef int* TPINT;

PINT a, b;    // 展开后：int* a, b;
TPINT c, d;   // c和d都是int*类型

这里有个经典陷阱。我当年刚入行时，在某个通信协议栈的代码里看到大量#define定义的类型别名，结果调试一个内存越界问题查了整整两天。最后发现就是这里出的问题——PINT a, b; 中，b其实是个int，不是指针。

为什么会这样？因为#define就是纯粹的文本替换。预处理器把PINT换成int*，然后编译器看到的是：

int* a, b;

而typedef是编译器在语法分析阶段处理的，它真正创建了一个新的类型名。所以TPINT c, d;中，c和d都是指针。

5.2 指针、const 与复杂声明的陷阱

再来看一个我项目中真实遇到过的坑。假设你要定义一个「指向常量的字符指针」类型：

#define CPCHAR const char*
typedef const char* TCPCHAR;

const CPCHAR p1;   // 展开后：const const char* p1;
const TCPCHAR p2;  // 这里是什么意思？

先看p1。宏展开后变成 const const char* p1;，两个const修饰同一个类型，编译器会忽略重复的const，所以p1是「指向const char的指针」——指针本身不是const的。

再看p2。这里就更有意思了。const TCPCHAR p2; 等价于 const (const char*) p2;，也就是「const指针指向const char」。p2本身不能修改，它指向的内容也不能修改。

你看，同样的写法，宏和typedef出来的结果完全不同。我个人习惯在涉及指针类型别名时，一律用typedef，绝不偷懒用#define。血的教训啊。

5.3 复合类型与函数指针

说到函数指针，typedef的优势就更明显了。你想想看，用#define定义一个函数指针类型是什么体验？

// 用#define定义函数指针
#define FUNC_PTR int(*)(int, int)

// 用typedef定义函数指针
typedef int(*TFUNC_PTR)(int, int);

// 使用
FUNC_PTR fp1;     // 展开后：int(*)(int, int) fp1; —— 语法错误！
TFUNC_PTR fp2;    // 正确：fp2是一个函数指针

看到了吗？FUNC_PTR fp1; 展开后根本就是语法错误。因为宏替换后，类型名和变量名的位置不对。而typedef就完全没问题。

对于结构体也是一样：

#define ST_POINT struct Point { int x; int y; }
typedef struct Point { int x; int y; } TPoint;

ST_POINT p1;     // 展开后：struct Point { int x; int y; } p1; —— 可以，但很奇怪
TPoint p2;       // 干净利落

5.4 常见陷阱汇总

场景	#define 的问题	typedef 的优势
指针类型别名	int* a, b; 中b不是指针	所有变量都是指针类型
const修饰	const与宏展开后的类型组合可能出乎意料	const修饰的是整个类型，语义清晰
函数指针	宏展开后语法错误	完美支持
结构体定义	宏展开后变量定义位置奇怪	自然流畅
类型检查	无类型检查，纯文本替换	编译器进行类型检查，更安全
调试信息	宏在预处理后消失，调试器看不到	typedef保留在符号表中，可调试

5.5 什么时候该用#define？

说了这么多typedef的好，那#define是不是就该被淘汰了？当然不是。我工作中#define用得比typedef还多，只是用途不同。

我个人习惯这样划分：

• 用#define的场景：数值常量、条件编译（#ifdef/#ifndef）、日志宏、断言宏、简单的函数式宏（如MAX/MIN）
• 用typedef的场景：所有类型别名，包括指针、结构体、枚举、函数指针等

举个例子，我写嵌入式代码时经常这样用：

// #define 适合做常量
#define BUFFER_SIZE      256
#define TIMEOUT_MS       1000
#define DEBUG_ENABLED

// typedef 适合做类型
typedef unsigned char   uint8_t;
typedef unsigned short  uint16_t;
typedef struct {
    uint8_t  id;
    uint16_t length;
    uint8_t  data[BUFFER_SIZE];
} Packet_t;

5.6 知识体系图

下面这张图总结了#define和typedef的核心区别，以及各自的最佳使用场景：

5.7 总结

说白了，记住一句话：#define是文本替换，typedef是类型定义。这两个东西从根上就不一样。

我在代码审查时，看到有人用#define定义类型别名，基本都会建议改成typedef。不是不能用，而是容易出问题。你想想看，一个团队几十个人，每个人对宏的理解深度不一样，用#define定义类型别名就是在埋雷。

反过来，用typedef定义类型别名，编译器会帮你做类型检查，调试器能看到类型信息，代码可读性也好。何乐而不为呢？