GCC中C++17赋值求值顺序问题：聚合赋值是否违反标准？

GCC在聚合赋值场景下的行为（O2优化输出0、O0优化输出1，甚至出现左右侧求值交错）确实不符合C++17标准；MSVC仅在常量求值场景存在的差异也不符合标准要求，只有Clang的行为完全符合C++17对赋值表达式求值顺序的规定。

• C++17标准的明确规定：赋值表达式中，右侧表达式的求值及其所有副作用，必须完全先于左侧表达式的求值及副作用执行。标准文本中没有任何条款将聚合赋值（如结构体、数组的赋值操作）排除在这一规则之外。
• 各编译器行为对比：
  • GCC在标量赋值、非聚合赋值场景下的表现符合预期，但聚合赋值时出现优化等级相关的输出差异，甚至打破“先右后左”的求值顺序，这属于实现缺陷，违反了标准的强制要求——无论编译优化等级如何，标准规定的求值顺序都必须被严格遵守。
  • Clang在所有测试场景下输出均为0，说明它全程严格执行了标准要求的求值顺序，行为完全合规。
  • MSVC仅在常量求值场景出现的差异，同样不符合标准：常量求值的逻辑也必须遵循C++17对赋值表达式的求值顺序规则，不存在特殊例外。

内容的提问来源于stack exchange，提问作者maxplus