在C++开发中，宏定义（define）和const常量都是用来定义不可变值的常用方式，但两者在编译全流程中的处理逻辑存在本质区别，理解这些差异能帮我们避开很多预处理阶段的隐蔽问题。
预处理阶段的处理差异
宏定义的处理发生在编译的最前端预处理阶段，预处理器会直接对源码中的宏进行文本替换，不会做任何语法和类型检查。比如我们定义#define MAX_NUM 100，预处理器会把后续所有出现MAX_NUM的地方直接替换成100，这个过程完全不关心上下文的语法逻辑。
而const常量的定义属于C++语言的语法范畴，预处理阶段不会对其做任何处理，它会完整保留到后续的编译阶段。
宏定义的预处理陷阱示例
如果宏定义的替换文本包含表达式，很容易因为优先级问题出现不符合预期的结果，比如下面的代码：
#include <iostream>
// 宏定义，预处理阶段直接文本替换
#define MUL(a, b) a * b
int main() {
int res = MUL(1 + 2, 3); // 预处理器替换后为 1 + 2 * 3，结果为7，不符合预期的9
std::cout << res << std::endl;
return 0;
}
要解决这个问题需要给宏参数和整体加括号，但这种写法依然不如const常量安全：
// 修正后的宏，依然有局限性 #define MUL_FIX(a, b) ((a) * (b))
编译阶段的处理差异
const常量的编译处理
const常量在编译阶段会被编译器识别为具有明确类型的常量实体，会被纳入符号表管理。如果const常量的值是编译期可确定的，编译器还会进行常量折叠优化，直接用常量值替换使用它的地方，和宏定义的效果类似，但多了类型校验。
#include <iostream>
int main() {
const int MAX_SIZE = 10; // 编译期常量，类型为int
int arr[MAX_SIZE]; // 合法，编译期能确定MAX_SIZE的值
// MAX_SIZE = 20; // 编译报错，const常量不可修改
std::cout << MAX_SIZE << std::endl;
return 0;
}
类型检查和作用域差异
宏定义没有类型概念，也没有作用域限制，从定义位置开始到文件结束都有效，除非用#undef取消定义。而const常量有明确的类型，遵循C++的作用域规则，比如在函数内定义的const常量只在函数内有效，还能用命名空间限制其作用范围。
#include <iostream>
namespace Config {
const double PI = 3.1415926; // 命名空间内的const常量
}
int main() {
const float VERSION = 1.0f; // 函数内的const常量，类型为float
std::cout << Config::PI << std::endl;
// std::cout << PI << std::endl; // 报错，PI不在当前作用域
return 0;
}
符号生成和调试差异
宏定义在预处理后被完全替换，不会生成独立的符号，调试时无法看到宏名，只能看到替换后的文本，排查问题难度很大。而const常量会生成对应的符号，调试器可以直接显示常量名和值，方便定位问题。
另外，const常量还支持C++的高级特性，比如可以用constexpr修饰成为编译期常量，参与模板参数推导，而宏定义完全不支持这些特性。
两者的适用场景
如果是定义简单的编译期常量，优先使用const或者constexpr，安全性和可读性都更高。只有在需要做条件编译、定义代码片段等预处理阶段才能处理的场景，才考虑使用宏定义，并且要尽量避免复杂的宏表达式，减少预处理陷阱。
| 对比维度 | 宏定义(define) | const常量 |
|---|---|---|
| 处理阶段 | 预处理阶段文本替换 | 编译阶段处理 |
| 类型检查 | 无 | 有，明确类型 |
| 作用域 | 全局有效，无作用域限制 | 遵循C++作用域规则 |
| 调试支持 | 无符号，无法调试 | 有符号，支持调试 |
| 高级特性支持 | 不支持 | 支持constexpr、模板推导等 |