c - 分配和序列点 : how is this ambiguous?

Question

考虑 C 代码 a = a = a。没有用于分配的序列点，因此此代码在编译时会产生有关 a 上未定义操作的警告。

a 在这里可能有哪些值？ a 似乎无法更改值。这里实际上有未定义的行为还是编译器只是懒惰？

Answer 1

序列点违规的未定义行为规则不对“值不能改变”的情况进行异常(exception)处理。没有人关心值(value)是否改变。重要的是，当您对变量进行任何类型的写入访问时，您就是在修改该变量。即使您正在为变量分配一个它已经拥有的值，您仍然在对该变量进行修改。如果多个修改没有被序列点分隔，则行为未定义。

有人可能会争辩说，这种“非修改性修改”不应该造成任何问题。但是语言规范并不关心这些细节。同样，在语言术语中，每次您将内容写入变量时，您都在修改它。

此外，您在问题中使用“模棱两可”一词的事实似乎暗示您认为该行为未指定。 IE。如“变量的结果值是(或不是)不明确的”。但是，在违反序列点的情况下，语言规范并不局限于声明结果未指定。它走得更远，并声明了 undefined 行为。这意味着这些规则背后的基本原理不仅仅考虑了某些变量的不可预测的最终值。例如，在一些虚构的硬件平台上，非顺序修改可能会导致编译器生成无效代码，或类似的事情。