PHP中数组内部指针自增与foreach循环：求底层实现解析

你的猜测完全正确！ #

现代PHP（PHP 5及以后）中，foreach默认迭代的是原数组的快照副本，只会修改副本的内部指针，原数组的内部指针完全不受影响——这也是官方文档表述的核心依据。

底层实现细节 #

• 快照创建时机：当foreach循环启动时，PHP会立刻为目标数组创建一个哈希表快照（可理解为数组的完整独立副本），后续所有迭代操作都基于这个快照进行，和原数组彻底分离。
• 双指针独立机制：原数组的内部指针（由current()、next()等函数操控），与foreach迭代快照所用的指针是两个完全独立的指针空间。foreach的循环过程只会移动快照的指针，根本不会触碰原数组的指针。

用代码可直观验证：

$arr = ['苹果', '香蕉', '橙子'];
// 先手动移动原数组的内部指针
next($arr);
echo current($arr); // 输出：香蕉

// 执行foreach循环
foreach ($arr as $fruit) {
    // 循环内不做任何指针操作
}

// 原数组的内部指针位置完全没变
echo current($arr); // 仍然输出：香蕉

为什么书籍会有相反表述？ #

你看到的书籍内容应该是针对PHP 4版本的描述——在PHP 4中，foreach并没有快照机制，而是直接迭代原数组，此时确实会移动原数组的内部指针。随着PHP版本迭代，官方为了避免原数组状态被意外修改，将foreach的实现改成了快照模式，这才和旧文档、旧书籍的表述产生了差异。

特殊情况：引用迭代 #

如果用foreach ($arr as &$val)这种引用方式迭代，PHP不会创建快照，而是直接操作原数组的元素，但即便如此，原数组的内部指针也不会被foreach修改。示例：

$arr = ['apple', 'banana', 'orange'];
next($arr);
echo current($arr); // 输出：banana

foreach ($arr as &$fruit) {
    $fruit = strtoupper($fruit); // 修改元素值
}

echo current($arr); // 仍然输出：banana
print_r($arr); // 输出：Array ( [0] => APPLE [1] => BANANA [2] => ORANGE )

内容的提问来源于stack exchange，提问作者Federica Guidotti