Как на самом деле работает foreach в PHP? Подробный разбор с примерами

Как работает foreach: внутреннее устройство и подводные камни

Отличный вопрос! Чтобы понять foreach, нужно заглянуть в ядро PHP. Всё основано на механизме zval (Zend Value) — внутренней структуре, хранящей переменные. Когда вы передаёте массив в foreach, PHP не копирует его сразу. Он использует refcount (счётчик ссылок) и механизм copy-on-write (копирование при записи).

Основной принцип работы

Когда foreach начинает выполнение:

1. PHP внутренне создаёт итератор, указывающий на первый элемент массива
2. Массив не копируется, пока вы не попытаетесь его изменить внутри цикла
3. Если изменений нет — используется оригинальный массив (экономия памяти)
4. Если изменение происходит — создаётся копия (только для изменяемой части)

Проблема с ссылкой (&$value)

Ваш пример демонстрирует классическую ловушку:

<?php
$array = [1, 2, 3];
foreach ($array as &$value) {
    $value *= 2;
}
// Теперь $value — это ссылка на последний элемент ($array[2])
// Когда вы делаете второй foreach:
foreach ($array as $value) { // $value перезаписывается!
    echo $value; // На каждой итерации $value меняет $array[2]!
}
?>

Что происходит: После первого цикла переменная $value остаётся ссылкой на $array[2]. Во втором цикле foreach ($array as $value) на каждой итерации значение текущего элемента присваивается в $value, которая является ссылкой на $array[2]. Таким образом, вы неявно изменяете последний элемент массива!

Как исправить

<?php
$array = [1, 2, 3];
foreach ($array as &$value) {
    $value *= 2;
}
unset($value); // ВАЖНО: уничтожаем ссылку после цикла
foreach ($array as $value) {
    echo $value; // 2 4 6 — корректно
}
?>

Вложенные foreach с ссылками

Ещё более коварная ситуация:

<?php
$matrix = [[1, 2], [3, 4]];
foreach ($matrix as &$row) {
    foreach ($row as &$cell) {
        $cell *= 2;
    }
}
// После первого цикла $row — ссылка на последнюю строку
// После второго цикла $cell — ссылка на последний элемент этой строки
// Если не unset() — при следующем использовании будет путаница
unset($row, $cell);
?>

Copy-on-write в действии

Рассмотрим пример:

<?php
$bigArray = range(1, 1000000);
$copy = $bigArray; // refcount = 2, но память общая
foreach ($bigArray as $key => $value) {
    // Здесь PHP не копирует массив, если мы его не меняем
    if ($value === 500000) {
        $bigArray[$key] = 0; // Только теперь создаётся копия!
    }
}
?>

До момента изменения массива внутри цикла, foreach работает с оригиналом. Как только вы меняете элемент — PHP отделяет копию. Это оптимизация, но она может привести к неожиданному потреблению памяти, если вы меняете много элементов.

Изменение массива внутри foreach

PHP позволяет изменять массив во время итерации, но с оговорками:

<?php
$array = [1, 2, 3, 4, 5];
foreach ($array as $key => $value) {
    if ($value === 3) {
        unset($array[$key]); // Удаляем элемент
    }
    echo $value . ' '; // Выведет: 1 2 3 4 5 (все, но 3-й удалён)
}
print_r($array); // [1, 2, 4, 5] — действительно удалён
?>

foreach работает с внутренним указателем массива, который не сбрасывается при удалении текущего элемента. Но если вы добавите элементы — они могут быть или не быть обработаны в зависимости от версии PHP.

Рекомендации

• Всегда unset() переменные, использованные в foreach с &
• Для модификации массива внутри цикла используйте array_walk() или array_map()
• Избегайте ссылок во вложенных foreach без явного unset
• Для больших массивов, которые не меняются, foreach работает оптимально

<?php
$array = [1, 2, 3];
array_walk($array, function(&$value) {
    $value *= 2;
});
// $value не остаётся в глобальной области видимости
print_r($array); // [2, 4, 6]
?>

<?php
$users = [
    ['name' => 'Alice', 'age' => 25],
    ['name' => 'Bob', 'age' => 30]
];
$names = array_map(function($user) {
    return $user['name'];
}, $users);
// foreach здесь излишен
?>

<?php
function getRows($file) {
    $handle = fopen($file, 'r');
    while ($row = fgetcsv($handle)) {
        yield $row; // Не загружает всё в память
    }
    fclose($handle);
}
foreach (getRows('bigfile.csv') as $row) {
    // Обработка по одной строке
}
?>