什么时候可以省略宏中参数周围的括号？

Question

我经常并且经常觉得宏定义中的一些围绕参数的括号是多余的。把所有东西都括起来太不方便了。如果我可以保证参数不需要括号，我可以省略括号吗？还是强烈推荐将它们都括起来？

我在写的时候想到了这个问题：

#define SWAP_REAL(a, b, temp) do{double temp = a; a = b; b= temp;}while(0)

我认为如果一个参数作为左值出现在宏中，括号可以省略，因为这意味着参数出现时没有其他操作。

我的理由是：

1. 赋值符号的关联优先级仅高于逗号。

2. 您不能让编译器误以为您的参数是一个带有逗号的表达式。例如，SWAP(a, b, b) 不会被成功解释为

   do{double temp = a, b; a, b = b; b= temp;}while(0)
   

   可以通过编译。

我说的对吗？谁能给我一个反例？

在下面的例子中，

#define ADD(a, b) (a += (b))

我认为参数a 不需要加括号。而且在这种特定情况下，也不需要参数b，对吧？

@JaredPar：

   #include <stdio.h>
   #define ADD(a, b) (a += (b))
   int main(){
      int a = 0, b = 1;
      ADD(a; b, 2);
      return 0;
   }

这在我的 VS2010 上无法编译成功。 Error C2143: syntax error : missing ')' before ';'

---

简而言之，您不需要将在宏中作为左值出现的参数括起来，但强烈建议您将它们全部括起来。

宏规则：

1. 不要制作有副作用的宏！
2. 至于没有副作用的宏，把所有的参数都加括号就行了！
3. 至于有副作用的宏，别再执着了！把它们都括起来！ TnT

Answer 1

在一些宏中，您可以将元素连接成一个字符串（可能使用# 运算符），或者使用## 运算符从宏参数中构建标识符。在这种情况下，您不要将参数括起来。

另外，我认为当宏参数本身作为函数参数传递时，你不必绝对用括号括起来：

#define CALLOC(s, n) calloc(s, n)

你可以调用这样一个宏 (CALLOC({3, 4})) 来玩恶魔游戏，但你得到了你应得的（编译错误）——我不知道调用该宏的方法可以代替宏您编写的参数与直接调用 calloc() 的参数相同。

但是，如果您在大多数算术表达式中使用参数，则需要将它们括在括号中：

#define MIN(x, y) (((x) < (y)) ? (x) : (y))

显然，如果您使用带有副作用的参数调用它，那么您将得到您所得到的。但是如果你写的话，这些论点不会被误解：

#define MIN(x, y) x < y ? x : y

然后调用它为：

MIN(x = 3 * y + 1, y = 2 * x - 2);

---

Moon 的 comment 建议使用 SWAP_INT 宏。

使用该宏的以下代码在使用默认选项编译时可以干净地编译，但在设置 -DWITH_PARENTHESES 时无法编译。

#include <stdio.h>

#ifdef WITH_PARENTHESES
#define SWAP_INT(a, b) do { int temp = (a); (a) = (b); (b) = temp; } while (0)
#else
#define SWAP_INT(a, b) do { int temp = a; a = b; b = temp; } while (0)
#endif

int main(void)
{
    int p = 319;
    int q = 9923;
    int x = 23;
    int y = 300;

    printf("p = %8d, q = %8d, x = %8d, y = %8d\n", p, q, x, y);
    SWAP_INT(p, q);             // OK both ways
    SWAP_INT(x, y);             // OK both ways
    printf("p = %8d, q = %8d, x = %8d, y = %8d\n", p, q, x, y);
    SWAP_INT(x /= y, p *= q);   // Compiles without parentheses; fails with them
    printf("p = %8d, q = %8d, x = %8d, y = %8d\n", p, q, x, y);
    return 0;
}

输出：

p =      319, q =     9923, x =       23, y =      300
p =     9923, q =      319, x =      300, y =       23
p = 41150681, q =       13, x =        0, y =  3165437

这不是一种安全或有效的整数交换方式——不带括号的宏不是一个好主意。

JFTR：在没有-DWITH_PARENTHESES 的情况下编译时，带有表达式的宏行是不可理解的：

do { int temp = x /= y; x /= y = p *= q; p *= q = temp; } while (0);

通常，swap 宏需要两个变量名——或数组元素，或结构或联合成员，或这些的任何组合。它不期望被赋予任意表达式。括号确保分配给x /= y（不是左值）失败；如果没有括号，则表达式会被解释，但它与预期的不同（如果确实在“交换”两个这样的表达式时可以预期任何东西）。

Answer 2

如果您在表达式中使用任何不是最低优先级的运算符，则省略是不安全的。我相信那是逗号。

请注意，我不声称在这些情况下它是安全的。有更多创造性的方法来打破宏。顺便说一句，首先不要使用具有副作用的宏。更一般地说，不要将宏用作函数。 （参见，例如，Effective C++）。

Answer 3

这是一个明显不同的案例

ADD(x;y, 42)

使用括号会导致编译错误，但没有括号会导致代码编译。

(x;y) += 42; // With parens errors
x;y += 42;   // Without parens compiles

这可能看起来像一个愚蠢的例子，但将宏组合在一起很容易导致像上面这样奇怪的代码表达式。

为什么要在这里冒险？就2个字符