未定义的行为或误报

Question

我(基本上)在野外遇到以下情况

x = x = 5;

显然在早期版本的gcc下完全编译(在gcc 4.5.1下生成警告).据我所知,警告是由-Wsequence-point生成的.所以我的问题是这是否违反了关于在序列点之间操纵变量的标准中的措辞(即,它是根据规范的未定义行为)或者这是gcc误报(即,它是根据规范定义的行为)？关于序列点的措辞有点难以理解.

我说的基本上是因为我实际遇到的(在更大的表达中)是

x[0][0] = x[0][0] = 5;

但我认为这不是警告的重要因素(请纠正我,如果这是重点,而不是我认为是问题的关键).

Answer 1

假设x是内置类型,它分配x两次没有插入序列点,这是你需要知道的.事实上两个赋值具有相同的值(5),并且理论上可以优化为单个赋值(如果x不是易失性的),既不在这里也不在那里.

至少,这就是我如何解释标准中的"修改" - 分配一个值,无论它是否恰好与旧值相同.同样,抛出const并分配给const对象,我认为是UB,无论你指定的值是否恰好等于先前值.否则,如果一个实现想要将字符串文字放入ROM中以防止页面错误,那么所有内存写入都会产生巨大的开销,并且我们通过检查知道编译器不会发出该代码.

一个更令人兴奋的例子是x[0][0] = x[0][i] = 5;,如果(并且仅当)i == 0,则在没有插入序列点的情况下分配给同一对象,因此定义的行为以条件值为条件i.

我不明白为什么编译器可能会在任何一种情况下做任何意想不到的事情,但我的想象力再次缺乏无关紧要:-)

能说什么是正确的.如果您在某些不能使用两个语句的环境中,可以x[0][0] = 5, x[0][i] = 5改为编写.在您的两种情况下,只需抛弃冗余分配.