解释 printf 中的评估顺序 [重复]答案

【问题标题】：Explain the order of evaluation in printf [duplicate]解释 printf 中的评估顺序 [重复]
【发布时间】：2012-10-09 05:47:17
【问题描述】：

main()
{
    int i=5;
    printf("%d%d%d%d%d%d",i++,i--,++i,--i,i);
}

输出是 45545，但我不知道它是如何工作的。有人说函数调用中的参数是从左到右压入堆栈的。

【问题讨论】：

标签： c printf

【解决方案1】：

函数参数的求值顺序未指定。

来自 c99 标准：

6.5.2.2 函数调用

10/ 函数指示符的求值顺序，实际参数，实际参数中的子表达式是未指定，但在实际调用之前有一个序列点。

不过，这只是问题的一部分。另一件事（实际上更糟，因为它涉及未定义的行为）是：

6.5 表达式

2/ 在前一个和下一个序列点之间，一个对象应该有它的存储值最多修改一次由评估表达。此外，先验值应仅读取到确定要存储的值。

在我们的例子中，所有参数评估仅在 2 个序列点之间：前一个 ; 和进入函数之前但在所有参数都被评估之后的点。你最好不要写这样的代码。

C 标准在某些地方相当宽松，为编译器可能进行的优化留出了空间。

【讨论】：

【解决方案2】：

传递给函数的参数的顺序在标准中没有定义，由编译器使用的calling convention 决定。我认为在您的情况下，cdecl 调用约定（许多 C 编译器用于 x86 架构）用于从右到左评估函数中的参数。

【讨论】：

【解决方案3】：

这个函数调用是未定义的行为：

printf("%d%d%d%d%d%d",i++,i--,++i,--i,i);

在两个序列点之间多次修改对象是 C 中未定义的行为。

这也是未定义的行为，因为您有 6 个转换规范，但格式只有 5 个参数。

【讨论】：

由于注释长度有限，我将语句改写为 printf("%d %d %d %d",i,++i, i++,i); with i=1 在评估期间，首先它将从右开始的所有值放入堆栈。如果变量有任何后/前增量，它会评估并存储该值。否则，它将作为变量存储在堆栈中并获取 var 的最终值。最右边的 i - i 在堆栈中，对于 i++ - 1，因为它的 post inc 将 i 更新为 2。对于 ++i - 3，pre inc 并将 i 更新为 3，因为 i 在堆栈中。 for var as i in stack 将 i 的最终值设为 3。最终输出将为 3 3 1 3
@Dinesh 感谢您的反对，但正如其他人已经告诉您的那样，您错了。 C 标准中没有“堆栈”，但有一个具有相关要求的序列点的概念。

【解决方案4】：

两点：

【讨论】：

【解决方案5】：

printf 参数的评估顺序未指定。除其他外，这取决于您使用的系统的调用约定。此外，这也是一种未定义的行为，因为您在没有任何序列点的情况下多次修改i。顺便说一句，缺少一个参数。

【讨论】：