宏定义里面为什么要加括号?


在宏定义当中,常常可以看到宏的参数以及整个宏的定义都被小括号包围,就像下面的 MIN、MAX、ABS 宏一样:

上面的图截取自 iOS 的系统库,那为什么它们需要这些括号包围起来呢?

下面假如我们自定义了宏 ceil_div,代码如下:

#define ceil_div(x, y) (x + y - 1) / y

这个宏的本意是将 x 除以 y,然后将得到的结果向上取整。比如 x = 4,y = 3,那么 ceil_div(4, 3) 的值就是2。如果参数仅仅是这些数字,使用起来没有什么问题,cei_div(4, 3) 经过宏扩展之后成为:

(4 + 3 - 1) / 3

这个符合预期。但是假如参数变得复杂,包含了一些运算符,比如 ceil_div(b & c, sizeof(int)),讲过宏扩展成为下面的样子:

(b & c + sizeof(int) -1 ) / sizeof(int)

由于 & 的优先级比算数运算符 + 的优先级低,那么实际上的运算过程是下面这样的:

(b & (c + sizeof(int)) -1 ) / sizeof(int)

而期望的运算结果是先进行 & 运算,后进行 + 运算:

((b & c) + sizeof(int) -1 ) / sizeof(int)

所以,如果对于宏参数 x、y 不加括号,显然在涉及操作符优先级的情况下,会出现错误。那现在对此进行修正,将宏 ceil_div 的参数用括号进行包围:

#define ceil_div(x, y) ((x) + (y) - 1) / (y)

使用这个定义,就能得到上面期望的结果。但是仅仅只是对宏参数加括号,仍然在一些情况下会有问题,比如像下面使用宏 ceil_div:

sizeof ceil_div(1, 2)

宏被扩展之后,会成为下面的情形:

sizeof ((1) + (2) - 1) / (2)

由于 sizeof 的优先级比算术运算符 / 的优先级高,因此实际上是先进行 sizeof 的运算,再进行除法运算,即:

sizeof (((1) + (2) - 1)) / (2)

而期望的结果是先求宏的值,然后再进行 sizeof 运算:

sizeof (((1) + (2) - 1) / (2))

想要得到正确结果的修改也很简单,直接将整个宏定义使用括号包围即可:

#define ceil_div(x, y) (((x) + (y) - 1) / (y))

因此,宏的参数以及宏定义加括号,是为了解决操作符优先级的问题。