c - 为什么这些构造使用增量前和增量后未定义的行为？

Question

#include <stdio.h>

int main(void)
{
   int i = 0;
   i = i++ + ++i;
   printf("%d\n", i); // 3

   i = 1;
   i = (i++);
   printf("%d\n", i); // 2 Should be 1, no ?

   volatile int u = 0;
   u = u++ + ++u;
   printf("%d\n", u); // 1

   u = 1;
   u = (u++);
   printf("%d\n", u); // 2 Should also be one, no ?

   register int v = 0;
   v = v++ + ++v;
   printf("%d\n", v); // 3 (Should be the same as u ?)

   int w = 0;
   printf("%d %d\n", ++w, w); // shouldn't this print 1 1

   int x[2] = { 5, 8 }, y = 0;
   x[y] = y ++;
   printf("%d %d\n", x[0], x[1]); // shouldn't this print 0 8? or 5 0?
}

Answer 1

C 具有未定义行为的概念，即某些语言结构在语法上是有效的，但您无法预测代码运行时的行为。

据我所知，该标准没有明确说明为什么存在未定义行为的概念。在我看来，这只是因为语言设计者希望在语义上有一些余地，而不是要求所有实现以完全相同的方式处理整数溢出，这很可能会带来严重的性能成本，他们只是留下了行为未定义，因此如果您编写的代码导致整数溢出，任何事情都可能发生。

那么，考虑到这一点，为什么会出现这些“问题”？该语言清楚地表明某些事情会导致 undefined behavior 。没有问题，不存在“应该”的问题。如果在声明所涉及的变量之一时未定义的行为发生变化 volatile ，则不会证明或改变任何内容。它是未定义；您无法推理该行为。

你看起来最有趣的例子，是带有

u = (u++);

是未定义行为的教科书示例(请参阅维基百科的条目sequence points)。