c - c 中 #define 的前/后增量

Question

这个问题已经有答案了:

Why are these constructs using pre and post-increment undefined behavior? (14 个回答)

已关闭 8 年前。

我编写了一小段代码，其中使用了带有增量运算符的#define。代码是

#include <stdio.h>
#define square(a) ((a)*(a))

int main ()
{
    int num , res ;
    scanf ("%d",&num ) ;
    res = square ( num++ ) ;
    printf ( "The result is %d.\n", res ) ;
    return 0 ;
}

但是在 gcc 中编译它时，我收到以下注释和警告:

defineTest.c:8:20: warning: multiple unsequenced modifications to 'num' [-Wunsequenced]
    res = square ( num++ ) ;
                      ^~
defineTest.c:2:21: note: expanded from macro 'square'
    #define square(a) ((a)*(a))
                        ^
1 warning generated.

请解释警告和注释。我得到的输出是:

$ ./a.out
1
The result is 2.

$ ./a.out
2
The result is 6.

还解释了代码的工作原理。

Answer 1

您的宏在预处理器展开后将如下所示:

((a++)*(a++))

请注意，a++ 与 a = a + 1 相同，因此您可以将扩展宏重写为:

((a = a + 1)*(a = a + 1))

您在一个语句中两次更改 a(准确地说是 num)的值，这会生成警告，因为这是未定义的行为。

我建议你将宏重写为函数

int square(int x)
{
    return x*x;
}