宏定义用于文本替换，常见于常量、函数式宏和条件编译；但易因缺少括号、多次求值或命名冲突引发错误，需谨慎使用。
宏定义（#define）是C++预处理指令中的一种，用于在编译前进行文本替换。虽然使用简单、灵活，但若使用不当容易引发难以察觉的错误。下面介绍其常见用法与潜在陷阱。
1. 常见用法
宏定义主要用于常量定义、函数式宏和条件编译等场景：
• 定义常量：
避免使用魔法数字，提高代码可读性。
立即学习“C++免费学习笔记（深入）”；
#define PI 3.14159double area = PI * r * r;
• 函数式宏：
实现简单的“函数”逻辑，避免函数调用开销。
#define SQUARE(x) ((x) * (x))int result = SQUARE(5); // 展开为 ((5) * (5))
• 条件编译：
根据平台或配置启用/禁用代码段。
#ifdef DEBUG printf("Debug: value = %d\n", value);#endif
• 防止头文件重复包含：
通常配合 #ifndef 使用。
#ifndef MY_HEADER_H#define MY_HEADER_H// 头文件内容#endif
2. 常见陷阱与问题
• 缺少括号导致优先级错误：
宏展开时可能因运算符优先级出错。
#define SQUARE(x) x * xSQUARE(3 + 2) 展开为 3 + 2 * 3 + 2，结果是 11 而非 25。
解决方法：给参数和整体加括号：#define SQUARE(x) ((x) * (x))
• 多次求值问题：
带副作用的表达式传入宏可能导致意外行为。
#define MAX(a, b) ((a) > (b) ? (a) : (b))MAX(i++, j++) 可能导致 i 或 j 被递增两次。
建议改用内联函数避免此类问题。
• 宏名冲突与命名污染：
宏是全局替换，不遵循作用域规则。
例如定义了 #define min(a,b) ((a)，可能与标准库中的 std::min 冲突。
命名应尽量唯一，如使用全大写并加前缀：MYLIB_MAX
• 字符串化与连接操作易出错：
使用 # 将参数转为字符串，## 进行拼接。
#define STR(x) #x → STR(hello) 变成 "hello"
#define PASTE(a, b) a##b → PASTE(foo, bar) 变成 foobar
注意：# 和 ## 不会触发宏参数内的宏展开，需借助多层宏规避。
• 调试困难：
宏在预处理阶段被替换，调试器看不到原始宏名，报错信息可能指向展开后的代码，难以定位问题。
建议复杂逻辑使用 constexpr 或 inline 函数替代。
3. 替代方案推荐
现代C++提供了更安全的替代方式：
• 用 constexpr 替代常量宏：
constexpr double PI = 3.14159; 类型安全，支持调试。
• 用内联函数替代函数式宏：
inline int square(int x) { return x * x; } 支持类型检查，无多次求值风险。
• 用 static_assert 和 if constexpr 实现编译期判断：
比 #if 更安全且集成在语言层面。
基本上就这些。宏功能强大，但在C++中应谨慎使用，优先考虑类型安全的现代C++特性。理解其展开机制和陷阱，才能避免埋下隐患。
