面试题：C++ 宏定义在复杂场景下的副作用及规避方法

命名冲突：
- 当不同模块使用相同名称的宏定义时，就会发生命名冲突。例如，模块 A 定义了 #define MAX 100 用于表示数组的最大长度，而模块 B 定义 #define MAX(a, b) ((a) > (b)? (a) : (b)) 用于比较两个数的大小。如果这两个模块在同一个编译单元中使用，就会产生冲突。
- 宏定义没有作用域限制，在全局范围内有效。如果在一个头文件中定义了宏，当多个源文件包含该头文件时，宏会在所有包含它的源文件中生效，增加了命名冲突的可能性。
意外的代码替换：
- 宏展开可能会因为运算符优先级问题导致意外的结果。例如 #define MULT(a, b) (a * b)，如果调用 MULT(2 + 3, 4)，宏展开后为 (2 + 3 * 4)，这与预期的 ((2 + 3) * 4) 不同，因为乘法运算符优先级高于加法。
- 宏参数在展开时可能会被多次求值。比如 #define SQUARE(x) ((x) * (x))，如果传入一个有副作用的表达式，如 int i = 0; SQUARE(i++)，i 会被自增两次，这可能不是预期的行为。

使用命名空间：
- 可以通过自定义命名空间来避免命名冲突。将宏定义封装在命名空间相关的宏中，例如：
```
#define MY_NAMESPACE_BEGIN namespace my_namespace {
#define MY_NAMESPACE_END }
MY_NAMESPACE_BEGIN
// 在这里定义宏，例如
#define MY_MAX 100
MY_NAMESPACE_END
```
这样在不同命名空间中的宏不会相互冲突。
使用常量和内联函数代替宏：
- 常量代替宏：对于简单的常量定义，使用 const 变量代替宏。例如，原来 #define MAX 100，可以改为 const int MAX = 100;。const 变量有类型信息，并且作用域可以控制，避免了宏的一些问题。
- 内联函数代替宏：对于具有逻辑的宏，如 #define MAX(a, b) ((a) > (b)? (a) : (b))，可以改为内联函数：
```
inline int max(int a, int b) {
    return (a > b)? a : b;
}
```
内联函数具有函数的特性，如参数类型检查，避免了宏展开可能带来的意外代码替换问题。
使用 #ifdef 等预处理指令控制宏的作用域：
- 通过 #ifdef、#ifndef 等指令，可以限制宏定义的作用范围。例如：
```
#ifndef MY_MODULE_MACROS
#define MY_MODULE_MACROS
// 这里定义本模块专用的宏
#define MY_MODULE_SPECIFIC_MACRO 1
#endif
```
这样可以确保这些宏只在特定模块中生效，减少命名冲突的机会。

星途面试题库