PHP“foreach”实际上是如何工作的？

让我先说一下，我知道foreach是什么、做什么以及如何使用它。这个问题涉及到它在引擎盖下是如何工作的，我不想得到任何类似“这就是如何使用foreach循环数组”的答案

---

很长一段时间以来，我一直认为foreach可以处理数组本身。然后我发现了很多关于它与数组的副本一起工作这一事实的参考资料，我认为这就是故事的结尾。但我最近开始讨论这个问题，经过一点实验后发现，事实上这并不是100%正确的

让我来说明我的意思。对于以下测试用例，我们将使用以下阵列：

$array=array（1,2,3,4,5）；

测试用例1：

foreach（$item形式的数组）{
回显“$item\n”；
$array[]=$item；
}
打印（数组）；
/*回路中的输出：1 2 3 4 5
循环后的$array:12345 12345*/

这清楚地表明我们并没有直接使用源数组-否则循环将永远继续，因为我们在循环过程中不断地将项目推送到数组上。但为了确保情况确实如此：

测试用例2：

foreach（$key数组=&gt；$item）{
$array[$key+1]=$item+2；
回显“$item\n”；
}
打印（数组）；
/*回路中的输出：1 2 3 4 5
循环后的$数组：1 3 4 5 6 7*/

这支持了我们最初的结论，我们在循环期间使用源数组的副本，否则我们将在循环期间看到修改后的值<但是…

如果我们查看手册，我们会发现以下陈述：

当foreach第一次开始执行时，内部数组指针将自动重置为数组的第一个元素

对。。。这似乎表明foreach依赖于源数组的数组指针。但是我们刚刚证明了我们没有使用源阵列，对吗？嗯，不完全是这样

测试用例3：

//将数组指针移到一个上，以确保它不会影响循环
var_转储（每个（$array））；
foreach（$数组作为$项）{
回显“$item\n”；
}
var_转储（每个（$array））；
/*输出
阵列（4）{
[1] =&gt；
int（1）
[“值”]=&gt；
int（1）
[0]=&gt；
int（0）
[“键”]=&gt；
int（0）
}
1.
2.
3.
4.
5.
布尔（假）
*/

因此，尽管我们没有直接使用源数组，但我们直接使用源数组指针-指针位于循环末尾的数组末尾的事实表明了这一点。除非这不可能是真的，否则测试用例1将永远循环

PHP手册还规定：

因为foreach依赖于内部数组指针，所以在循环中更改它可能会导致意外行为

好吧，让我们来看看“意外行为”是什么（从技术上讲，任何行为都是意外的，因为我不再知道会发生什么）

测试用例4：

foreach（$key数组=&gt；$item）{
回显“$item\n”；
每个（$阵列）；
}
/*产出：12345*/

测试用例5：

foreach（$key数组=&gt；$item）{
回显“$item\n”；
重置（$阵列）；
}
/*产出：12345*/

…没有什么出人意料的，事实上，它似乎支持“复制源”理论

---

问题

这是怎么回事？我的C-fu不够好，我无法通过查看PHP源代码得出正确的结论，如果有人能帮我翻译成英语，我将不胜感激

在我看来，foreach与数组的副本一起工作，但将源数组的数组指针设置为循环后数组的末尾

• 这是正确的吗？整个故事是这样的吗
• 如果没有，它到底在做什么
• 在foreach期间使用调整数组指针的函数（each（），reset（）等）是否会影响循环的结果

foreach（$k=&gt；$v）{/*…*/}
/*翻译为：*/
if（$IteratorAggregate的实例）{
$it=$it-&gt；getIterator（）；
}
对于（$it-&gt；倒带（）；$it-&gt；有效（）；$it-&gt；下一步（））{
$v=$it-&gt；当前（）；
$k=$it-&gt；键（）；
/* ... */
}

//在此处使用by-ref迭代以确保
//两个循环中的数组相同，而不是副本
foreach（$arr as&amp；v1）{
外汇（$arr as&amp；v）{
// ...
}
}