C - printf("%d %d\n",k=1,k=3); 的输出解释[复制]

Question

如何解释以下代码的输出：

include <stdio.h>

int main(void) {
    int k;
    printf("%d %d\n",k=1,k=3);
    return 0;
}

Ideone Link

我的想法是1 将被分配给k 变量，然后1 将被打印出来。类似地，3 将分配给 k，输出将是 3。

预期输出

1 3

实际输出

1 1

我在推断

int a;
if (a = 3) { 
    ...
} 

等于

if (3) { 
    ... 
}

请让我知道我哪里出错了？

Answer 1

问题是，函数参数的求值顺序没有定义，求值或参数之间没有序列点。所以，这个说法

 printf("%d %d\n",k=1,k=3)

调用undefined behavior，因为您试图多次修改同一个变量，而中间没有序列点。

一旦调用 UB 的程序运行并且（如果）有输出，无论如何都不能证明它是合理的，输出可以是任何东西。

Answer 2

我预计您看到 1 1 的原因是因为两个赋值语句正在发生控制被传递给 printf。

printf("%d %d\n",k=1,k=3);

因此，作为对否决票的回应，是的，这是未定义的行为，因此您不应指望这种行为继续存在。然而，就确定为什么输出是1 1 而不是1 3 而言，我们可以推断3 的分配可能被1 的后续分配所阻碍。

调用 printf 时，调用堆栈包含两个条目，其中包含 k 的最终值，即 1。

您可以通过将它们替换为在执行时打印某些内容的函数来测试这一点。

示例代码：

#include <stdio.h>

int test(int n) {
    printf("Test(%d)\n", n);
    return n;
}

int main(void) {
    int k;
    printf("%d %d\n",k=test(1), k=test(3));
    return 0;
}

输出：

Test(3)
Test(1)
1 1