C 17 中是否合法定义了'i = i 1”？

C 17 中 i = i 1 的合法性

C 17 引入了一个微妙但重大的变化，使表达式 i = i 1 合法化； ，这是以前在 C 11 中未定义的行为。

在 C 17 之前

在 C 11 中，赋值表达式的求值顺序指定如下：

• 左右操作数的值计算在实际赋值之前进行排序。
• 但是，赋值本身和右侧潜在副作用之间没有特定的排序要求（ RHS) 表达式。

在 i = i 1; 的情况下，这意味着使用后缀运算符递增 i 的副作用可能发生在赋值之前或之后。缺乏排序导致了未定义的行为。

C 17 中的更改

C 17 在赋值运算符的规范中引入了附加句子：“正确的操作数是在左操作数之前排序。”这个看似无害的添加具有深远的影响。

通过在 LHS 之前对 RHS 进行排序，C 17 现在可以确保 RHS 中的任何副作用都保证在分配本身之前发生。这有效地将赋值操作与任何潜在的未定义行为隔离开来。

重写示例

为了说明这一更改，让我们分解 i = i 1; 的计算；在 C 17 中：

1. 右操作数（RHS）的值计算：i 1

   • 使用后缀递增 i（副作用）。
   • 增加的值加 1。

2. RHS 排序在 LHS 之前：

   • RHS 中的所有副作用（包括增量）都会发生.

3. 左操作数（LHS）的值计算：i

   • 使用 i 的当前值。

4. 赋值：

   • 将 RHS 的结果分配给 LHS。

通过确保所有副作用RHS 在赋值之前，C 17 明确消除了此类表达式中未定义行为的可能性。

以上是C 17 中是否合法定义了'i = i 1”？的详细内容。更多信息请关注PHP中文网其他相关文章！