让我先说一下，我知道foreach是什么、做什么以及如何使用它。这个问题涉及到它在引擎盖下的工作方式，我不希望有任何类似于“这是如何使用foreach循环数组”的答案。
在很长一段时间里，我假设foreach使用数组本身。然后，我发现了许多关于它与数组副本一起工作的事实的引用，因此我认为这就是故事的结尾。但我最近就此事进行了一次讨论，经过一点实验后发现，事实上这并非100%正确。
让我表明我的意思。对于以下测试用例，我们将使用以下阵列：
$array = array(1, 2, 3, 4, 5);
测试用例1：
foreach ($array as $item) {
echo "$item\n";
$array[] = $item;
}
print_r($array);
/* Output in loop: 1 2 3 4 5
$array after loop: 1 2 3 4 5 1 2 3 4 5 */
这清楚地表明，我们没有直接使用源数组，否则循环将永远继续，因为我们在循环期间不断将项推到数组上。但为了确保情况是这样的：
测试用例2：
foreach ($array as $key => $item) {
$array[$key + 1] = $item + 2;
echo "$item\n";
}
print_r($array);
/* Output in loop: 1 2 3 4 5
$array after loop: 1 3 4 5 6 7 */
这支持了我们最初的结论，我们在循环期间使用源数组的副本，否则我们将在循环期间看到修改的值。但是
如果我们查看手册，我们会发现以下陈述：
当foreach第一次开始执行时，内部数组指针将自动重置为数组的第一个元素。
正确的这似乎表明foreach依赖于源数组的数组指针。但我们已经证明我们没有使用源阵列，对吗？嗯，不完全是。
测试用例3：
// Move the array pointer on one to make sure it doesn't affect the loop
var_dump(each($array));
foreach ($array as $item) {
echo "$item\n";
}
var_dump(each($array));
/* Output
array(4) {
[1]=>
int(1)
["value"]=>
int(1)
[0]=>
int(0)
["key"]=>
int(0)
}
1
2
3
4
5
bool(false)
*/
因此，尽管我们不是直接使用源数组，但我们是直接使用源阵列指针-指针位于循环末尾的数组末尾这一事实表明了这一点。但这不可能是真的——如果是，那么测试用例1将永远循环。
PHP手册还指出：
由于foreach依赖于内部数组指针，因此在循环中更改它可能会导致意外行为。
好吧，让我们来看看“意外行为”是什么（从技术上讲，任何行为都是意外的，因为我不再知道会发生什么）。
测试用例4：
foreach ($array as $key => $item) {
echo "$item\n";
each($array);
}
/* Output: 1 2 3 4 5 */
测试用例5：
foreach ($array as $key => $item) {
echo "$item\n";
reset($array);
}
/* Output: 1 2 3 4 5 */
……没有什么出乎意料的，事实上，它似乎支持“复制源”理论。
问题
这是怎么回事？我的C-fu不够好，我无法通过查看PHP源代码得出正确的结论，如果有人能为我将其翻译成英语，我将不胜感激。
在我看来，foreach使用数组的副本，但在循环后将源数组的数组指针设置到数组的末尾。
这是正确的吗？如果没有，它到底在做什么？在foreach期间使用调整数组指针的函数（each（）、reset（）等）是否会影响循环的结果？
这个问题很好，因为许多开发人员，甚至是经验丰富的开发人员，都对PHP在foreach循环中处理数组的方式感到困惑。在标准foreach循环中，PHP生成循环中使用的数组的副本。循环完成后，立即丢弃副本。这在简单foreach循环的操作中是透明的。例如：
$set = array("apple", "banana", "coconut");
foreach ( $set AS $item ) {
echo "{$item}\n";
}
这将输出：
apple
banana
coconut
因此，创建了副本，但开发人员没有注意到，因为原始数组在循环内或循环完成后未被引用。但是，当您尝试修改循环中的项时，您会发现它们在完成以下操作时未被修改：
$set = array("apple", "banana", "coconut");
foreach ( $set AS $item ) {
$item = strrev ($item);
}
print_r($set);
这将输出：
Array
(
[0] => apple
[1] => banana
[2] => coconut
)
对原始文件的任何更改都不会引起注意，实际上与原始文件没有任何更改，即使您明确为$item指定了值。这是因为您正在操作$item，因为它出现在正在处理的$set副本中。您可以通过引用抓取$item来覆盖它，如下所示：
$set = array("apple", "banana", "coconut");
foreach ( $set AS &$item ) {
$item = strrev($item);
}
print_r($set);
这将输出：
Array
(
[0] => elppa
[1] => ananab
[2] => tunococ
)
因此，当通过引用操作$item时，对$item所做的更改是对原始$set的成员所做的，这是显而易见的。通过引用使用$item也会阻止PHP创建数组副本。为了测试这一点，首先我们将显示一个演示副本的快速脚本：
$set = array("apple", "banana", "coconut");
foreach ( $set AS $item ) {
$set[] = ucfirst($item);
}
print_r($set);
这将输出：
Array
(
[0] => apple
[1] => banana
[2] => coconut
[3] => Apple
[4] => Banana
[5] => Coconut
)
如示例所示，PHP复制了$set并使用它进行循环，但当在循环中使用$set时，PHP将变量添加到原始数组，而不是复制的数组。基本上，PHP只使用复制的数组来执行循环和分配$item。因此，上面的循环只执行3次，每次都会在原始$set的末尾附加另一个值，使原始$set保留6个元素，但永远不会进入无限循环。
然而，如果我们像我之前提到的那样，通过引用使用$item呢？添加到上述测试的单个字符：
$set = array("apple", "banana", "coconut");
foreach ( $set AS &$item ) {
$set[] = ucfirst($item);
}
print_r($set);
导致无限循环。请注意，这实际上是一个无限循环，您必须自己终止脚本或等待操作系统耗尽内存。我在脚本中添加了以下行，这样PHP会很快耗尽内存，如果要运行这些无限循环测试，我建议您也这样做：
ini_set("memory_limit","1M");
因此，在前面的无限循环示例中，我们看到了编写PHP以创建要循环的数组副本的原因。当创建副本并仅由循环构造本身的结构使用时，阵列在循环的整个执行过程中保持静态，因此您不会遇到问题。
使用foreach（）时需要注意的几点：
a） foreach处理原始阵列的预测副本。这意味着foreach（）将具有SHARED数据存储，除非未创建foreach Notes/User注释。
b） 是什么触发了预期拷贝？根据写时复制策略，即每当传递给foreach（）的数组被更改，原始数组的克隆被创建。
c） 原始数组和foreach（）迭代器将具有DISTINCT SENTINEL VARIABLES，即一个用于原始数组，另一个用于foreach；请参阅下面的测试代码。SPL、迭代器和数组迭代器。
堆栈溢出问题如何确保在PHP的“foreach”循环中重置值？解决问题的案例（3、4、5）。
以下示例显示each（）和reset（）不影响SENTINEL变量（例如，当前索引变量）。
$array = array(1, 2, 3, 4, 5);
list($key2, $val2) = each($array);
echo "each() Original (outside): $key2 => $val2<br/>";
foreach($array as $key => $val){
echo "foreach: $key => $val<br/>";
list($key2,$val2) = each($array);
echo "each() Original(inside): $key2 => $val2<br/>";
echo "--------Iteration--------<br/>";
if ($key == 3){
echo "Resetting original array pointer<br/>";
reset($array);
}
}
list($key2, $val2) = each($array);
echo "each() Original (outside): $key2 => $val2<br/>";
输出：
each() Original (outside): 0 => 1
foreach: 0 => 1
each() Original(inside): 1 => 2
--------Iteration--------
foreach: 1 => 2
each() Original(inside): 2 => 3
--------Iteration--------
foreach: 2 => 3
each() Original(inside): 3 => 4
--------Iteration--------
foreach: 3 => 4
each() Original(inside): 4 => 5
--------Iteration--------
Resetting original array pointer
foreach: 4 => 5
each() Original(inside): 0=>1
--------Iteration--------
each() Original (outside): 1 => 2
PHP foreach循环可以与索引数组、关联数组和Object公共变量一起使用。
在foreach循环中，php所做的第一件事是创建要迭代的数组的副本。然后PHP迭代数组的这个新副本，而不是原始副本。下面的示例演示了这一点：
<?php
$numbers = [1,2,3,4,5,6,7,8,9]; # initial values for our array
echo '<pre>', print_r($numbers, true), '</pre>', '<hr />';
foreach($numbers as $index => $number){
$numbers[$index] = $number + 1; # this is making changes to the origial array
echo 'Inside of the array = ', $index, ': ', $number, '<br />'; # showing data from the copied array
}
echo '<hr />', '<pre>', print_r($numbers, true), '</pre>'; # shows the original values (also includes the newly added values).
除此之外，php还允许使用迭代值作为原始数组值的引用。如下所示：
<?php
$numbers = [1,2,3,4,5,6,7,8,9];
echo '<pre>', print_r($numbers, true), '</pre>';
foreach($numbers as $index => &$number){
++$number; # we are incrementing the original value
echo 'Inside of the array = ', $index, ': ', $number, '<br />'; # this is showing the original value
}
echo '<hr />';
echo '<pre>', print_r($numbers, true), '</pre>'; # we are again showing the original value
注意：它不允许将原始数组索引用作引用。
资料来源：http://dwellupper.io/post/47/understanding-php-foreach-loop-with-examples
