为什么printf（“％d％d％d”，++ i，i，i ++）是未定义的行为？

Question

ISO/IEC 9899（TC2）§6.5 - 2表达告诉我们：

之前和下一序列点的对象应具有其存储的值由表达式的评估修饰的至多一次之间。此外，先验值只能读取以确定要存储的值。

这是我记住，记住，并会告诉任何人问我为什么从标题行产生意想不到的输出。

但今天我刚发现这一行：

§7.19.6 - 1格式的输入/输出功能：

格式的输入/输出功能应表现为，如果有一个序列点之后与每个说明符相关的操作。

这让我假设：

虽然

int i = 0; 
printf ("%d, %d", ++i, i++); 

应该是不确定的，接下来的例子应该是由所提到的条款确定：

int i = 0; 
printf ("%d, %d, %d", ++i, i, i++); 

但输出是：

2, 2, 0 

我从来没有见过这样的更好的例子，表明未定义的行为。

但是为什么？ 如果该条款为真

“[[...]”表现得好像每个说明符相关的操作之后有一个序列点。

然后施加§6.5下的规则 - 2到每个与所述指定符相关联的actiosn不会让我们越过该规则如：

（表示相关的序列点SP）

SP ++i SP i SP i++

从前一个和下一个SP之间的给定范围内的SP1开始，++i是i存储值的唯一修改。

从SP2什么是前一个和下一个SP之间的范围是：++i和i其中++i仍然是该值的唯一修改。

如果我们现在采取SP3一切是怎么回事以前的SP（SP2）和下一个SP（调用结束）之间是：

i和i++仍然只是一个单一的i在整个修改前一个和下一个SP之间的范围。

那么我在这里解释错误的顺序点的工作方式？

Answer 1

问题不在于与说明符相关的操作。问题在于计算printf函数的参数，该函数在第一个说明符执行任何操作之前完成。

试想一下，如果代码是：

void foo (int i1, int i2, int i3) 
{ 
    printf("%d, %d, %d", i1, i2, i2); 
} 

foo (++i, i, i++); 

这将是很清楚的。包装并没有改变任何东西。