关于序列点的规则对以下代码有何规定？
int main(void) {
int i = 5;
printf("%d", ++i, i); /* Statement 1 */
}
只有一个%d。我很困惑，因为我在编译器 GCC、Turbo C++ 和 Visual C++ 中得到 6 作为输出。行为是否明确定义？
这和我的last question有关。
【问题讨论】：
标签： c++ c undefined-behavior
根据this documentation，传递给格式字符串的任何附加参数都应被忽略。 mentions for fprintf 也将评估该参数，然后将其忽略。我不确定 printf 是否是这种情况。
【讨论】：
printf /then/ 决定忽略其中一些。尽管如此，您还是提供了这些参数，因此您有未定义的行为™。
未定义有两个原因：
i 的值被使用了两次，中间没有序列点（参数列表中的逗号不是逗号运算符，也没有引入序列点）。
您正在调用范围内没有原型的可变参数函数。
传递给printf()的参数数量与格式字符串不兼容。
默认输出流通常是行缓冲的。如果没有'\n'，则无法保证输出将有效输出。
【讨论】：
3 不是正确的原因。您的参数数量可以大于格式说明符的数量。 BTW +1 提到 2。
'\n' 是一个错误，因为我使用的一些实用程序不考虑最后一个换行符之后的字符。这是实用程序中的错误，而不是 C 语言中的错误 :)
所有参数都被评估。订单未定义。 C/C++ 的所有实现（据我所知）从从右到左评估函数参数。因此i 通常在++i 之前被评估。
在 printf 中，%d 映射到第一个参数。其余的被忽略。
所以打印 6 是正确的行为。
我相信从右到左的评估顺序已经非常古老了（从第一个 C 编译器开始）。当然在 C++ 发明之前，C++ 的大多数实现都会保持相同的评估顺序，因为早期的 C++ 实现只是简单地转换为 C。
从右到左评估函数参数有一些技术原因。在堆栈架构中，参数通常被压入堆栈。在 C 中，您可以调用具有比实际指定更多参数的函数——额外的参数被简单地忽略。如果参数从左到右计算，并从左到右推送，那么堆栈指针正下方的堆栈槽将保存最后一个参数，并且函数无法获取任何特定参数的偏移量（因为实际推送的参数数量取决于调用者）。
在从右到左的推送顺序中，堆栈指针正下方的堆栈槽将始终保存第一个参数，下一个槽保存第二个参数，依此类推。参数偏移量对于函数始终是确定性的（可能在其他地方编写并编译到库中，与调用它的地方分开）。
现在，从右到左的 push 顺序并不强制要求从右到左的 求值 顺序，但是在早期的编译器中，内存是稀缺的。在从右到左的评估顺序中，相同的堆栈可以在就地使用（本质上，在评估参数之后——可能是一个表达式或一个函数调用! -- 返回值已经在堆栈的正确位置）。在从左到右的计算中，参数值必须单独存储，并以相反的顺序推回堆栈。
虽然有兴趣了解从右到左评估背后的真实历史。
【讨论】：
所有参数在调用函数时都会被计算，即使它们没有被使用，所以，由于函数参数的计算顺序是未定义的，你又得到了 UB。
【讨论】：
i 或 ++i 在另一个之前执行。因为i 没有副作用并且被函数忽略（"%d" 将只使用第一个参数），所以printf 的输出必然是固定的。我知道我在这里踩了一条细线，我不太确定这一点，但我不认为它是未定义的。
我认为它的定义很好。 printf 将第一个 % 占位符与第一个参数匹配，在本例中是一个预增量变量。
【讨论】：
i=5。如果首先评估i，则使用6,5 作为参数调用该函数。如果首先评估++i，则以6,6 作为参数调用该函数。它在这里没有区别，但在其他情况下可能会。