printf中用逗号分隔的表达式给出了意外结果

问题描述

很抱歉，如果它太显眼，但是我有点晦涩。

我编写了以下代码：

#include <stdio.h>
int main() {
    int a = 8,b = 7 ;
    int temp;
    printf("%d\n",temp=a,a=b,b=temp);
    return 0;
}

它发出警告输出：0

据我说，输出应该是8，因为我已经尝试过这种代码printf("%d",a,b);，它输出a的值，导致我得出结论，第一个表达式将被打印警告。 格式的参数过多 。
因此，在我的情况下，temp=a必须是答案，因此应该打印成为8的temp的值。

请说明，我要去哪里错了？

预先感谢您能够提供的任何帮助

解决方法

来自Order of evaluation： [已添加重点]

任何C运算符的操作数求值顺序，包括函数调用表达式中的函数自变量的求值顺序，并且任何表达式中子表达式的求值顺序为未指定（除非另有说明）。编译器将按任何顺序对它们进行求值，并且当再次对同一表达式求值时，可以选择其他顺序。

由于未指定函数参数的评估顺序。您传递给printf()的参数包括相同变量的读取和写入，并且没有序列点，这将导致undefined behaviour。

根据C Standards＃6.5p2

2如果相对于相同标量对象上的不同副作用或使用相同标量对象的值进行的值计算，相对于标量对象的副作用未排序，则行为未定义...

编辑

如果您对逗号作为运算符和逗号作为分隔符感到困惑，则逗号是函数参数列表中的分隔符。

作为参考，引用C Standards＃6.5.17p3

中的示例

3示例如语法所示，逗号运算符（如本节中所述）不能出现在使用逗号分隔列表中的项（例如函数的参数或初始化程序的列表）的上下文中。另一方面，在这种情况下，可以在带括号的表达式中或条件运算符的第二个表达式中使用它。在函数调用中

      f(a,(t=3,t+2),c)

该函数具有三个参数，第二个参数的值为5。

在上面的示例中：

     Here comma is operator,so the expression will be evaluated to 5 (3+2)
         |
         | 
f(a,c)
   |           |
   |           |
   -------------
        |
   here,comma is separator

您的表情

printf("%d\n",temp = a,a = b,b = temp);
//                     ^      ^ argument separator
//             ^^^^^^^^  ^^^^^  ^^^^^^^^ 3 arguments

没有逗号运算符：要打印3个值（已评估2个，但其他情况下将被忽略），一次转换，未定义的行为（未排序的表达式）。

我想你在找什么

printf("%d\n",(temp = a,b = temp));
//                      ^      ^ comma operator
//             ^^^^^^^^^^^^^^^^^^^^^^^^^^^ 1 argument grouped

逗号运算符，1个值，一次转换，假定temp为int且temp，b和a都兼容（它们在您的代码段中），则没有UB。

printf("%d\n",temp=a,a=b,b=temp);中没有逗号运算符。在函数调用的参数列表中，逗号分隔。他们不代表逗号运算符。

因此，在printf("%d\n",b=temp);中，格式字符串后面有三个单独的表达式：temp=a，a=b和b=temp。

C标准未指定评估函数参数甚至函数参数的部分的顺序。这会导致您的代码违反另一条规则，即如果您以无序列的方式修改和使用对象，则行为不会由C标准定义。例如，a=b使用b，而b=temp修改b，并且它们未排序，因此未定义行为。虽然结果通常好像是按一个顺序或另一个顺序对表达式进行求值，但是出现此错误的程序可能会以其他方式出现错误。

您可以在函数调用中使用逗号运算符，但必须使用括号将其与函数自变量区分开，如printf("%d\n",b = temp));。

HS的答案C语言规范中未指定参数的评估顺序是正确的。可以按任何顺序评估参数。

相对常见的是，评估顺序通常是向后的（从最右边的参数到第一个参数）。这是由于堆栈上的参数排序的详细信息。

我们可以推断出参数是这样计算的：

b = temp :: temp未定义，但可能为零，因此b可能为零。
a = b ::如果b为零，那么a现在为零。
temp = a :: temp被分配了a的值，该值可能为零，但可能是temp的未初始化值。这是printf用于格式化%d的参数。多余的参数未使用（可能会生成警告）
"%d\n" ::在这里要评估的只是静态字符串。

尽管输出可能是任何东西（包括鼻恶魔），但这有助于解释为什么输出频繁出现0。

问题不是初始化温度。表达式“ b = temp” 将返回错误。结果是8

printf("%d\n",temp = b,b = a)

您可以评估代码，而仅在printf中使用一个变量

修改根据{{3}}的答案，您不能说评估是从右到左的，因为它是未定义的。

assignment-operator c printf