13、typedef与#define：类型别名定义的区别与陷阱

类型别名这事儿，看着简单，坑却不少。

我刚入行那会儿，总觉得 typedef 和 #define 差不多，都是给类型起个外号嘛。直到有一次，我写了个链表库，用 #define 定义了一个指针类型别名，结果在声明多个变量时出了大问题。调试了一下午，才发现是宏替换的锅。嗯，从那以后，我对这俩东西就格外上心了。

一、本质区别：编译器 vs 预处理器

说白了，typedef 是编译器干的活，#define 是预处理器干的活。这个区别决定了它们的行为完全不同。

对比项	typedef	#define
处理阶段	编译期	预处理期（文本替换）
作用域	遵循 C 语言作用域规则	从定义处到文件末尾（除非 #undef）
类型检查	编译器进行类型检查	纯文本替换，无类型检查
指针声明	正确处理多个变量声明	容易出错
复合类型	支持结构体、联合体、函数指针等	需要小心括号

二、指针别名的陷阱

这是最常见的坑。你想想看，如果我想定义一个整型指针类型，用两种方式写出来会怎样？

// 方式一：使用 typedef
typedef int* PINT;
PINT p1, p2;  // p1 和 p2 都是 int* 类型

// 方式二：使用 #define
#define PINT int*
PINT p3, p4;  // p3 是 int*，p4 是 int！

为什么会这样？因为 #define 只是文本替换。展开后变成：

int* p3, p4;  // 等价于 int *p3; int p4;

我在项目中遇到过好几次这种问题。有个同事用 #define 定义了回调函数的指针类型，结果在声明多个函数指针变量时，只有第一个是指针，后面的都变成了普通函数声明。那 bug 藏得可深了。

三、复合类型定义

对于结构体、函数指针这类复合类型，typedef 的优势就更明显了。

// typedef 方式：清晰明了
typedef struct {
    int x;
    int y;
} Point;

typedef void (*Callback)(int event, void* data);

// #define 方式：需要小心括号
#define POINT struct { int x; int y; }
#define CALLBACK void (*)(int event, void* data)

// 使用 #define 定义变量
POINT pt;        // 可以工作，但每次定义都会创建一个新的匿名结构体类型
CALLBACK handler; // 编译错误！宏展开后语法不对

我个人习惯，凡是涉及结构体、联合体、枚举，一律用 typedef。宏定义更适合做常量、条件编译这类工作。

四、作用域与可读性

typedef 遵循作用域规则，可以在函数内部、文件内部、头文件中定义。而 #define 一旦定义，就全局可见，直到被 #undef 取消。

// 文件 A.c
typedef struct {
    int id;
    char name[32];
} LocalData;  // 只在当前文件可见

// 文件 B.c
#define GLOBAL_SIZE 1024  // 所有包含此文件的代码都能看到

你想想看，如果在一个大型项目里，某个头文件用 #define 定义了一个通用的类型别名，然后另一个模块不小心重名了……嗯，那画面太美我不敢看。

五、知识体系图

下面这张图帮你理清 typedef 和 #define 的核心区别与适用场景：

六、避坑指南

我曾经踩过的坑，总结成几条经验，分享给你：

1. 不要用 #define 定义指针类型别名。 除非你确保每个变量都单独声明，否则迟早会出问题。
2. 函数指针类型一定要用 typedef。 宏定义函数指针时，括号嵌套很容易搞错，而且可读性极差。
3. 头文件中的类型别名用 typedef。 避免宏定义污染其他模块的命名空间。
4. const 修饰符的位置要注意。 比如 typedef int* PINT; const PINT p; 等价于 int* const p;，而不是 const int* p;。这个细节很多人会搞混。

好了，关于 typedef 和 #define 的区别，就聊到这儿。记住一句话：类型别名用 typedef，常量宏用 #define。各司其职，代码才能清爽又安全。

---

公众号:蓝海资料掘金营，微信deep3321