3、带参宏：带参宏的定义与调用，宏参数与函数参数的区别，常见陷阱（括号问题、副作用）

好，咱们进入带参宏的世界。说实话，带参宏是C语言预处理阶段最灵活、也最容易出幺蛾子的地方。我见过太多工程师在宏上栽跟头，包括我自己刚入行那会儿。

3.1 带参宏的定义与调用

带参宏，说白了就是能接受参数的宏。它的定义格式很简单：

#define 宏名(参数列表) 替换文本

注意！宏名和左括号之间不能有空格。我当年就因为这个空格问题，排查了整整一下午的bug。你想想看，如果写成：

#define SQUARE (x) ((x)*(x))  // 错误！宏名和括号之间有空格

预处理器会把它理解成：宏名是SQUARE，替换文本是(x) ((x)*(x))。后面你再写SQUARE(5)，它根本不会当作带参宏处理。

正确的写法是这样的：

#define SQUARE(x) ((x)*(x))

调用时也很直观：

int result = SQUARE(5);  // 展开为 int result = ((5)*(5));

3.2 宏参数与函数参数的区别

这里我画了一张对比图，帮你快速理解两者的本质差异：

我个人习惯这样记：宏是文本手术刀，函数是逻辑黑盒子。宏在编译前就把代码"剪裁"好了，而函数要到运行时才真正执行。

3.3 常见陷阱

陷阱一：括号问题

这是带参宏最经典的坑。我见过一个同事写的宏：

#define DOUBLE(x) x + x

然后他调用：

int result = 3 * DOUBLE(5);  // 期望 3 * (5+5) = 30

实际展开成什么？

int result = 3 * 5 + 5;  // 结果是 20，不是 30！

为什么会这样？因为宏是纯文本替换，运算符优先级把你"卖了"。正确的做法是：

#define DOUBLE(x) ((x) + (x))

记住一个原则：宏参数和整个宏体都要加括号。我自己的代码规范里，带参宏的括号从来不少于两对。

陷阱二：副作用

嗯，这里要注意。宏参数可能被多次求值，如果参数带有副作用，结果会让你怀疑人生。

看这个例子：

#define MAX(a, b) ((a) > (b) ? (a) : (b))

int x = 5;
int y = 3;
int max = MAX(x++, y++);

你期望max是多少？6？实际展开后：

int max = ((x++) > (y++) ? (x++) : (y++));

x++被求值了两次！最终x变成7，y变成4，max是6。但x和y的值完全不是你预想的那样。

我曾经在项目里用MAX宏取两个数组元素的最大值，传入了arr[i++]作为参数。结果数组索引被多跳了一次，数据全乱了。排查了三个小时才发现是宏的副作用问题。

3.4 带参宏的正确使用姿势

说了这么多坑，那带参宏到底该怎么用？我总结了几条经验：

场景	推荐做法	说明
简单常量计算	带参宏	如 #define ABS(x) ((x) < 0 ? -(x) : (x))
类型无关操作	带参宏	如 #define MIN(a,b) ((a) < (b) ? (a) : (b))
复杂逻辑	内联函数	有类型检查，参数只求值一次
参数有副作用	内联函数	避免多次求值导致的问题
需要调试	内联函数	宏在调试器中难以单步跟踪

我个人习惯是：能用内联函数的地方，尽量不用宏。但有些场景宏确实无可替代，比如获取结构体成员偏移量：

#define OFFSET_OF(type, member) ((size_t)&(((type*)0)->member))

这种操作函数做不到，只能用宏。

3.5 多语句宏的写法

有时候宏需要执行多条语句。新手常犯的错误是：

#define SWAP(a, b) int temp = a; a = b; b = temp;

然后这么用：

if (x > y)
    SWAP(x, y);

展开后：

if (x > y)
    int temp = x;  // 只有这一句属于if
x = y;             // 这两句不在if内！
y = temp;

正确的做法是用do { ... } while(0)包裹：

#define SWAP(a, b) do { \
    int temp = (a); \
    (a) = (b); \
    (b) = temp; \
} while(0)

这样无论外面怎么用，宏都是一个整体。这个技巧我几乎每个项目都会用到，算是带参宏的"标准包装"了。

带参宏就像一把锋利的刀——用好了事半功倍，用不好伤到自己。多写、多踩坑、多总结，慢慢就能掌握它的脾气了。