宏无法避免副作用，因其纯文本替换特性导致如MAX(i++,j++)中i或j被递增两次；调试需用gcc -E查看预处理结果；多语句宏须用do{...}while(0)；优先用constexpr和inline替代，仅条件编译、字符串化、拼接三类不可替代。
宏定义本身无法避免副作用，只能规避使用场景或换用更安全的替代方案。 它是纯文本替换，不求值、无作用域、不检查类型——所谓“避免副作用”，本质是绕开宏的缺陷设计。
为什么宏参数带i++会出问题
宏展开不做求值保护，MAX(i++, j++)会被替换成((i++) > (j++) ? (i++) : (j++))。比较时先执行一次自增，结果分支里又执行一次，i或j可能被递增两次。这不是 bug，是宏的必然行为。
- 所有含副作用的表达式（
++、--、函数调用、std::rand()等）都不该传给带参宏 - 调试器看不到宏展开过程，gdb 里查不到
i为何突变，只能靠手动展开预处理结果验证 - 用
gcc -E或clang -E导出预处理后代码，是定位这类问题的唯一可靠手段
多语句宏必须用do { ... } while(0)
写成{ ... }会在if后导致else悬空；末尾加分号会和调用处的分号连成两个，引发语法错误。
-
do { if (!cond) { log(); return; } } while(0)让宏行为像单条语句，能安全接在if后、后面跟;也不破环结构 - 宏内声明变量会泄漏到外层作用域（C++17 起可用
[[maybe_unused]]压制警告，但最好别这么干） - 不要在
do-while(0)里写break或continue——它们会跳出循环体，不是你想控制的那个逻辑块
优先用constexpr和inline替代简单宏
现代 C++ 中，90% 的常量定义和单表达式计算，constexpr比#define更安全、可调试、支持类型推导。
立即学习“C++免费学习笔记（深入）”；
-
constexpr int square(int x) { return x * x; }有类型检查，square(2.5)编译报错；而#define SQUARE(x) ((x)*(x))会静默接受并产生隐式转换 -
inline函数调用开销在优化后几乎为零，且参数只求值一次，彻底避开副作用问题 - 只有三类宏仍不可替代：
#ifdef条件编译、#字符串化（如LOG(__FILE__, __LINE__)）、##拼接（如CONCAT(a, b)生成ab）
真正难处理的从来不是怎么写宏，而是怎么说服自己：这个逻辑真的需要宏？多数时候，答案是否定的。
