本文深入探讨php中自增运算符`++$i`、`$i++`与普通加法`$i+1`的细微差异，尤其聚焦于`$i = $i++`这种赋值操作的潜在陷阱。我们将揭示后置自增运算符在赋值表达式中返回其原始值的特性，解释为何它与`$i++`或`$i+1`在特定场景下表现不同，并提供正确的使用建议，以避免常见的逻辑错误。
在PHP等编程语言中，自增运算符（++）是用于快速增加变量值的一种便捷方式。然而，其前置（++$i）和后置（$i++）形式的细微差别，尤其是在与赋值操作结合时，常常会成为开发者踩坑的源头。理解这些运算符的精确行为，对于编写健壮且可预测的代码至关重要。
PHP自增运算符的基础概念
PHP提供了两种自增运算符：前置自增和后置自增，它们与常规的加法操作在行为上有所不同。
-
前置自增 (++$i)
- 行为： 首先将变量 $i 的值增加 1，然后返回增加后的新值。
-
示例：
$i = 5; $j = ++$i; // $i 变为 6，然后将 6 赋给 $j echo "i: $i, j: $j"; // 输出: i: 6, j: 6
-
后置自增 ($i++)
立即学习“PHP免费学习笔记（深入）”；
- 行为： 首先返回变量 $i 的当前值，然后将变量 $i 的值增加 1。
-
示例：
$i = 5; $j = $i++; // 首先将 $i 的当前值 5 赋给 $j，然后 $i 变为 6 echo "i: $i, j: $j"; // 输出: i: 6, j: 5
-
普通加法 ($i + 1 或 $i += 1)
行为： 计算 $i 与 1 的和，并将结果作为表达式的值返回。如果使用复合赋值运算符 $i += 1，则会将计算结果直接赋回给 $i。
-
示例：
$i = 5; $j = $i + 1; // $j 变为 6，$i 保持 5 echo "i: $i, j: $j"; // 输出: i: 5, j: 6 $i = 5; $i += 1; // $i 变为 6 echo "i: $i"; // 输出: i: 6
从上述例子可以看出，++$i 和 $i += 1 在最终变量值和表达式返回值上通常是等效的（当它们独立作为语句或直接用于赋值时）。然而，$i++ 在表达式中的返回值是其自增前的值，这是理解其陷阱的关键。
核心问题剖析：$i = $i++ 的陷阱
许多开发者会误认为 $i = $i++ 与 $i++ 或 $i = $i + 1 的效果相同，但实际上并非如此。这主要源于PHP（以及C/C++等语言）中后置自增运算符的求值顺序和赋值操作的交互。
考虑以下PHP代码片段，它展示了$i = $i++与$i = $i+1之间的差异：
$data1 = $data2 = [
['id' => 0],
['id' => 1],
['id' => 2],
];
// 场景一：使用 $val['id'] = $val['id']++
foreach ($data1 as $key => &$val) {
// $val 是一个引用，直接修改会影响原数组
$val['id'] = $val['id']++;
}
// 场景二：使用 $val['id'] = $val['id']+1
foreach ($data2 as $key => &$val) {
$val['id'] = $val['id']+1;
}
var_dump($data1 == $data2); // 结果是 false。为什么？为了理解 var_dump($data1 == $data2) 为 false 的原因，我们需要详细分析 foreach 循环中 $val['id'] = $val['id']++ 的执行过程：
假设 $val['id'] 的初始值为 X。
-
求值右侧表达式 ($val['id']++)：
- 后置自增运算符首先返回 $val['id'] 的当前值，即 X。
- 然后，$val['id'] 的值被自增 1，变为 X + 1。
-
执行赋值操作 =：
- 将右侧表达式返回的值（即 X）赋给左侧的 $val['id']。
- 因此，$val['id'] 最终被设置为 X。
结果： 在语句 $val['id'] = $val['id']++; 执行完毕后，$val['id'] 的值实际上没有改变，它仍然是其初始值 X。
让我们追踪 $data1 的变化：
- 当 $val['id'] 为 0 时：0 = 0++ 导致 $val['id'] 最终仍为 0。
- 当 $val['id'] 为 1 时：1 = 1++ 导致 $val['id'] 最终仍为 1。
- 当 $val['id'] 为 2 时：2 = 2++ 导致 $val['id'] 最终仍为 2。
所以，$data1 最终会是 [['id' => 0], ['id' => 1], ['id' => 2]]。
而 $data2 的循环中使用的是 $val['id'] = $val['id']+1：
- 当 $val['id'] 为 0 时：0 = 0 + 1 导致 $val['id'] 变为 1。
- 当 $val['id'] 为 1 时：1 = 1 + 1 导致 $val['id'] 变为 2。
- 当 $val['id'] 为 2 时：2 = 2 + 1 导致 $val['id'] 变为 3。
所以，$data2 最终会是 [['id' => 1], ['id' => 2], ['id' => 3]]。
显然，$data1 和 $data2 的内容不相同，因此 var_dump($data1 == $data2) 返回 false。
正确实践与建议
要避免 $i = $i++ 这样的陷阱，并确保代码行为符合预期，请遵循以下建议：
-
简单自增变量： 如果你只是想让变量自身的值增加 1，并且不关心表达式的返回值（或者不需要将返回值赋给其他变量），直接使用 ++$i 或 $i++ 即可。
// 推荐用法：让变量自身自增 foreach ($data1 as $key => &$val) { $val['id']++; // 或者 ++$val['id']; } // 此时 $data1 会变成 [['id' => 1], ['id' => 2], ['id' => 3]] // 并且 var_dump($data1 == $data2) 将会是 true在这种情况下，$val['id']++ 会先返回 $val['id'] 的原始值，然后 $val['id'] 自身增加 1。由于没有后续的赋值操作覆盖，$val['id'] 的增量效果得以保留。
-
将自增后的值赋给另一个变量： 如果你需要将变量自增后的新值赋给另一个变量，请使用前置自增。
$i = 5; $j = ++$i; // $i 变为 6，$j 变为 6
-
将自增前的值赋给另一个变量： 如果你需要将变量自增前的原始值赋给另一个变量，然后让原变量自增，请使用后置自增。
$i = 5; $j = $i++; // $j 变为 5，$i 变为 6
-
明确的加法操作： 如果你需要进行明确的加法运算并将结果赋回变量，使用 $i = $i + 1 或 $i += 1。这通常是最清晰且不易出错的方式。
$i = 5; $i = $i + 1; // $i 变为 6 $i += 1; // $i 变为 7
避免歧义： 强烈建议避免使用 $i = $i++ 或 $i = ++$i 这种形式，因为它们容易导致混淆，并且在不同的编程语言或编译器中可能会有不同的行为。保持代码的简洁性和可读性，避免这种复杂的单行表达式。
总结
PHP中的自增运算符，尤其是后置自增 ($i++)，在与赋值操作结合时，其行为可能与直觉相悖。核心在于 $i++ 表达式会返回变量自增前的值，然后才将变量自身的值增加。当这个返回的旧值又被赋回给变量自身时，就会覆盖掉变量已经完成的自增操作，导致变量值保持不变。
为了避免此类编程陷阱，开发者应深入理解前置自增、后置自增和普通加法的执行机制，并优先采用清晰、无歧义的代码写法，如直接使用 $i++ 进行自增，或使用 $i = $i + 1 进行明确的加法赋值。遵循这些最佳实践，可以显著提升代码的健壮性和可维护性。
