如何检查c中的行为未定义？

Question

我知道下面是未定义的，因为我试图在同一表达式中读写变量的值，即

int a=5;
a=a++;

但如果是这样，为什么下面的代码片段不是未定义的？

int a=5;
a=a+1;

因为在这里，我也试图修改a的值并同时写入它。

还请解释为什么标准没有纠正或删除这种未定义的行为，尽管他们知道这是未定义的？

Answer 1

匿名用户

长话短说，您可以在标准中找到每个定义的行为。所有没有被定义的东西都是未定义的。

对你的例子的直观解释:

a=a++;

您希望在一条语句中修改变量< code>a两次。

1) a= //first time
2) a++ //second time

如果你看这里：

a=a+1;

变量只能修改一次：

a= // (a+1) - doesn't change the value of a

为什么标准没有定义< code>a=a 行为？

其中一个可能的原因是：编译器可以执行优化。您在标准中定义的情况越多，编译器优化代码的自由度就越低。由于不同的架构可以有不同的递增指令实现，因此编译器不会使用所有处理器指令，以防它们会破坏标准行为。或者在某些情况下，编译器可以更改计算顺序，但是如果要修改某些内容两次，则此限制将强制编译器禁用此类优化。

Answer 2

为什么下面的代码段没有定义

int a=5;
a=a+1;  

该标准规定：

在上一个序列点和下一个序列点之间，对象应通过表达式的求值最多修改一次其存储值。此外，只能访问先前的值以确定要存储的值。

如果a=a 1a只修改一次，访问aa的前一个值只是为了确定要存储在中的值
在a=a的情况下，a被多次修改--由子表达式中的 operator修改，并由 a 修改。现在还没有定义哪个修改（通过或 >）将首先发生。

几乎所有带有-Wall标志的现代编译器在编译第一个代码段时都会发出警告，如：

[Warning] operation on 'a' may be undefined [-Wsequence-point]

进一步阅读：如何理解像本节中这样的复杂表达式，并避免编写未定义的表达式？

Answer 3

它没有定义的原因不是你读和写，而是你写了两次。

a表示读取a并在读取后递增它，但我们不知道它是在=赋值之前发生（在这种情况下，=将用a的旧值覆盖）还是之后发生，在这种情况下a将递增。

就用< code > a；:)

a = a 1 没有问题，因为 a 只写一次。