C中函数调用中后缀或前缀增量的未定义行为[重复]

Question

我在此站点中看到函数调用中的前缀增量或后缀增量可能会导致未定义的行为。我最近经历了其中之一。源代码是这样的：

#include <stdio.h>

void call(int,int,int);
int main()
{
    int a=10;
    call(a,a++,++a);
    printf("****%d %d %d***_\n",a,a++,++a);
    return 0;
}

void call(int x,int y,int z)
{
    printf("%d %d %d",x,y,z);
}

输出为 12 11 12****14 13 14***_。但是，当函数中首先打印 a 时，它不应该是 10 吗？为什么会变成12？另外，为什么 a++ 从 12 减少到 11？有人可以请解释一下吗？谢谢。

Answer 1

C 和 C++ 标准没有指明函数参数的计算顺序。坦率地说，编译器导致参数从右到左或从左到右进行评估是不正确的。

最好的答案是，远离这种“未定义的行为”；因为它可能会导致微妙的可移植性问题。

Answer 2

您的示例代码需要我们考虑两件事：

1. 未指定函数参数的求值顺序。因此，++a 或 a++ 首先被评估，但它取决于实现。

2. 多次修改a 的值而修改之间没有序列点也是未定义的行为。

由于第 2 点，您在这里有双重未定义的行为（您做了两次）。注意未定义的行为并不意味着什么都没有发生；这意味着任何事情都可能发生。

call(a,a++,++a); /* UB 1 */
printf("****%d %d %d***_\n",a,a++,++a); /* UB 2 */

Answer 3

这是未定义的行为，因此完全取决于编译器的实现，以何种顺序完成以下操作：

1. 提交参数a
2. 提交参数a++
3. 提交参数++a
4. 增加a 为++a
5. 增加a 为a++

编译器唯一知道的是：2. 必须在 5. 之前发生，而 4. 必须在 3. 之前发生。

你正在观察：

++a;
submit argument 2
a++;
submit the other arguments

Answer 4

不要求a 等于任何东西；这就是未定义行为的含义。完全由编译器以它认为合适的任何顺序评估 call 和 printf 的参数，因为语言没有指定它们需要评估的顺序。