宏是纯文本替换,需用双括号防优先级错误、do-while(0)包多语句、避免自增副作用;现代C++应优先用constexpr和const,仅预处理场景才用宏。

宏定义不是函数,也不是变量,它只是文本替换——写错一个括号或漏个反斜杠,编译器不会报错,但运行时可能崩溃或逻辑错乱。
怎么写一个安全的带参宏(避免常见运算符优先级陷阱)
宏展开是纯文本替换,#define SQUARE(x) x * x 看似简单,但 SQUARE(a + b) 会变成 a + b * a + b,结果完全不对。
- 必须给每个参数和整个表达式加括号:
#define SQUARE(x) ((x) * (x)) - 多语句宏要用
do { ... } while(0)包裹,否则在if后面不加花括号时会出问题 - 避免在宏里用自增/自减操作符(如
x++),因为参数可能被展开多次,导致意外副作用
什么时候该用 const 或 constexpr 而不是宏
宏没有类型、不参与作用域检查、无法调试,现代 C++ 中绝大多数常量场景应避开宏。
- 数值常量:用
constexpr int MAX_SIZE = 1024;,而不是#define MAX_SIZE 1024 - 字符串常量:用
static constexpr char STR[] = "hello";,宏定义的字符串无法推导类型,也容易因拼接出错 - 只有预处理器需要介入的场景才必须用宏:比如条件编译
#ifdef DEBUG、生成重复代码(如枚举转字符串)、或跨翻译单元的编译期开关
#define 和 #undef 的实际作用域与踩坑点
宏的作用域从定义点开始,到文件末尾或遇到 #undef 为止,不受 C++ 作用域(如命名空间、函数体)限制。
立即学习“C++免费学习笔记(深入)”;
- 头文件中定义宏后,所有包含它的源文件都会生效——容易造成隐式污染,尤其和第三方库同名时(如
#define min(a,b) ((a) 会破坏 <code>std::min) - 用
#undef清理宏时,要确保它确实被定义过,否则某些编译器会警告;更稳妥的做法是先#ifdef判断 - 宏名大小写敏感,但习惯上全大写,避免和变量名冲突;同时别用下划线开头(尤其是双下划线或下划线加大写字母),那是保留给编译器和标准库的
宏最危险的地方不是它难写,而是它“看起来像代码,其实不是”——调试器看不到它,IDE 跳转不到定义,重构工具也识别不了。真要用,就只让它干预编译期,别掺和运行逻辑。









