1. 问题描述：循环中变量的意外“继承”
在处理迭代对象（如数组或可遍历集合）时，开发者常在foreach循环内部构建新的数据结构。一个常见的场景是，根据特定条件为新结构中的某个键赋值。然而，如果条件不满足，我们期望该键不被设置或保持默认状态。但实际运行中，可能会出现即使条件不满足，变量的某个部分仍然被设置，并且其值竟然是来自前一个满足条件的迭代项。
考虑以下PHP代码片段，它尝试从$study->children()中提取数据，并根据$isAnnex条件决定是否设置title2字段：
foreach ($study->children() as $rawPart) {
$isAnnex = $rawPart->template()->name() === 'annex';
$preparedPart; // 问题所在行
$preparedPart['title'] = (string)$rawPart->title();
$preparedPart['type'] = (string)$rawPart->template()->name();
// …etc.
if ($isAnnex) {
$preparedPart['title2'] = (string)$rawPart->title();
}
// 假设这里会将 $preparedPart 添加到一个结果数组中
}当$isAnnex为false时，我们期望$preparedPart['title2']不会被设置。然而，实际结果却显示，对于type为part的项，title2字段被意外地赋予了上一个annex类型项的title值。这表明$preparedPart数组在某些情况下，保留了之前迭代的数据。
例如，输出的JSON可能如下所示，其中type为part的条目，其title2值与之前的annex条目相同：
{
"parts": [
{ "title": "Edito de Christo…", "type": "annex", "title2": "Edito de Christo…" },
{ "title": "Introduction", "type": "annex", "title2": "Introduction" },
{ "title": "M\u00e9thodologie", "type": "annex", "title2": "M\u00e9thodologie" },
{ "title": "Le projet et l'组织", "type": "part", "title2": "M\u00e9thodologie" }, // 这里的 title2 错误地继承了上一个 annex 的值
{ "title": "L\u2019adresse aux publics", "type": "part", "title2": "M\u00e9thodologie" } // 同上
]
}2. 根本原因：变量未初始化或重置
这个问题的核心在于foreach循环内部的这一行：
立即学习“PHP免费学习笔记（深入）”；
$preparedPart;
在PHP中，单独写一个变量名，例如$preparedPart;，它仅仅是尝试读取这个变量的值，但并没有对其进行任何赋值、声明或操作。如果$preparedPart在循环外部已经被定义，或者在循环的某个前置迭代中被赋值，那么这行代码不会改变它的状态。
这意味着，当循环进入下一个迭代时，$preparedPart变量会保留其在前一次迭代结束时的值。如果前一次迭代中$preparedPart['title2']被设置了，而当前迭代的条件$isAnnex为false，那么$preparedPart['title2']就不会被重新赋值，从而保留了旧值。
为了更清晰地说明这一点，请看一个简化的例子：
foreach ( [1,2,3,4] as $number ) {
$a = null; // 正确：每次循环都会被清除/重置
$b; // 错误：什么都不做，如果 $b 之前有值，它会保留
if ( $number % 2 === 1 ) { // 如果是奇数
$a = $number;
$b = $number;
}
var_dump('$a:', $a, '$b:', $b);
}运行上述代码，你会观察到以下输出：
string(3) "$a:" NULL string(3) "$b:" NULL string(3) "$a:" int(1) string(3) "$b:" int(1) string(3) "$a:" NULL string(3) "$b:" int(1) // 注意：$b 保持了上一次迭代（$number=1）的值 string(3) "$a:" int(3) string(3) "$b:" int(3) string(3) "$a:" NULL string(3) "$b:" int(3) // 注意：$b 保持了上一次迭代（$number=3）的值
从输出中可以清楚地看到，$a在每次循环开始时都被重置为null，因此它的行为符合预期。而$b由于没有被重置，当if条件不满足时，它就保留了上一次满足条件时的值。
3. 解决方案：显式初始化变量
解决这个问题的关键在于，在foreach循环的每次迭代开始时，显式地初始化或重置用于存储当前迭代数据的变量。对于数组，这意味着将其设置为空数组。
将原代码中的问题行：
$preparedPart;
替换为正确的初始化语句：
$preparedPart = [];
修改后的代码如下：
foreach ($study->children() as $rawPart) {
$isAnnex = $rawPart->template()->name() === 'annex';
$preparedPart = []; // 每次循环迭代开始时，显式初始化为空数组
$preparedPart['title'] = (string)$rawPart->title();
$preparedPart['type'] = (string)$rawPart->template()->name();
// …etc.
if ($isAnnex) {
$preparedPart['title2'] = (string)$rawPart->title();
}
// 假设这里会将 $preparedPart 添加到一个结果数组中
}通过这一简单的修改，$preparedPart在每次循环迭代开始时都会被重置为一个空数组。这样，如果$isAnnex条件不满足，$preparedPart['title2']将根本不会被设置，而不是保留旧值。这将确保每个$rawPart的数据处理都是独立的，不会受到前一个迭代的影响。
4. 注意事项与最佳实践
- 始终显式初始化变量：在循环内部使用变量存储当前迭代的数据时，养成在循环体开始处显式初始化这些变量的习惯。这不仅能避免上述问题，还能提高代码的可读性和可维护性。
- 理解PHP变量作用域：PHP中，foreach循环内部声明的变量，其作用域通常是整个函数或脚本。这意味着它们在循环结束后仍然存在，并且在下一次循环迭代中，如果未重置，会保留上次的值。
- 避免无意义的语句：像$var;这样的语句在PHP中是合法的，但它没有任何实际效果，容易引起误解。如果意图是初始化或声明，请使用赋值操作（如$var = null;或$var = [];）。
- 代码清晰性：明确的变量初始化有助于理解代码的意图。当其他人阅读你的代码时，他们会清楚地知道每个循环迭代都是从一个“干净”的状态开始的。
5. 总结
在PHP的foreach循环中，变量的意外持久化是一个常见的陷阱，它源于对变量初始化和作用域的误解。通过在每次循环迭代开始时，显式地将用于构建数据的变量（尤其是数组）初始化或重置，可以有效避免数据污染和逻辑错误。养成良好的变量初始化习惯是编写健壮、可预测PHP代码的关键。
