Как на самом деле работает foreach в PHP: анатомия цикла

Онлайн-тренажер Python для начинающих

Изучайте Python легко и без перегрузки теорией. Решайте практические задачи с автоматической проверкой, получайте подсказки на русском языке и пишите код прямо в браузере — без необходимости что-либо устанавливать.

Начать курс

Введение: foreach — не просто синтаксический сахар

Каждый PHP-разработчик, от новичка до гуру, использует foreach практически ежедневно. Он кажется таким простым и понятным: «пробегись по каждому элементу массива». Но задавались ли вы вопросом: как именно PHP это делает? Почему один и тот же foreach ведёт себя по-разному с массивами и объектами? Почему изменение массива внутри цикла иногда приводит к неожиданным результатам?

Вопрос «How does PHP 'foreach' actually work?» на Stack Overflow собрал десятки тысяч просмотров и сотни голосов. Это не случайно: под капотом этого, казалось бы, простого оператора скрывается сложный и элегантный механизм. Сегодня мы заглянем в самое сердце PHP и разберём анатомию цикла foreach шаг за шагом.

К концу этой статьи вы не только поймёте, как работает foreach, но и научитесь избегать типичных ошибок, которые подстерегают даже опытных программистов. Поехали!

Глава 1: foreach и внутренний указатель массива

Когда PHP встречает конструкцию foreach ($array as $value), он не просто «идёт по индексам». В основе работы лежит внутренний указатель массива (internal array pointer). Это невидимая «стрелочка», которая указывает на текущий элемент.

Вот как выглядит этот процесс пошагово:

Сброс указателя. PHP вызывает reset($array) — указатель становится на первый элемент.
Чтение ключа и значения. Берётся текущий элемент массива.
Присваивание. Значение копируется в переменную $value (если нет &).
Сдвиг указателя. PHP перемещает указатель на следующий элемент.
Повторение. Шаги 2-4 выполняются, пока указатель не достигнет конца массива.

Однако есть важный нюанс: PHP создаёт копию массива перед началом итерации! Давайте разберёмся, зачем это нужно.

Пример: сброс указателя внутри цикла

<?php
$array = [10, 20, 30];

foreach ($array as $value) {
    echo "$value\n";
    // Пытаемся сбросить указатель
    reset($array);
}
// Вывод: 10, 20, 30 — reset не повлиял на foreach
?>

Почему reset() не сработал? Потому что foreach работает с копией внутреннего указателя, а не с оригиналом. Это сделано специально, чтобы изменение массива внутри цикла не ломало итерацию.

Глава 2: foreach по значению vs по ссылке

Самый распространённый источник путаницы — разница между foreach ($array as $value) и foreach ($array as &$value). Давайте разложим всё по полочкам.

foreach по значению: копирование на каждом шаге

Когда вы пишете foreach ($array as $value), PHP на каждой итерации копирует текущее значение массива в переменную $value. Это значит, что изменение $value никак не влияет на исходный массив.

<?php
$array = [1, 2, 3];
foreach ($array as $value) {
    $value *= 2; // Меняем копию
}
print_r($array);
// Вывод: [1, 2, 3] — массив не изменился
?>

Плюс: Безопасно, исходные данные не портятся.
Минус: Если элементы массива — большие объекты, копирование может быть затратным. Хотя PHP использует copy-on-write, для массивов с объектами копируются только идентификаторы (handles), а не сами объекты.

foreach по ссылке: работаем с оригиналом

Синтаксис foreach ($array as &$value) заставляет PHP передавать ссылку на элемент, а не его копию. Теперь $value — это алиас на элемент массива.

<?php
$array = [1, 2, 3];
foreach ($array as &$value) {
    $value *= 2; // Меняем оригинал
}
unset($value); // ВАЖНО: удаляем ссылку!
print_r($array);
// Вывод: [2, 4, 6] — массив изменён
?>

Важное предупреждение: После завершения цикла $value всё ещё является ссылкой на последний элемент массива! Если вы забудете вызвать unset($value), любое последующее изменение $value (даже случайное) изменит последний элемент массива. Это классическая ловушка, описанная в документации PHP.

Глава 3: А как же foreach с объектами?

Когда вы передаёте объект в foreach, PHP ведёт себя иначе. Объекты не имеют внутреннего указателя массива. Вместо этого PHP проверяет, реализует ли класс интерфейс Iterator или IteratorAggregate.

Случай 1: Объект реализует Iterator

Если ваш класс implements Iterator, PHP вызывает методы rewind(), valid(), current(), key() и next() в правильном порядке.

<?php
class MyIterator implements Iterator {
    private $data = [10, 20, 30];
    private $position = 0;

    public function rewind() { $this->position = 0; }
    public function valid() { return isset($this->data[$this->position]); }
    public function current() { return $this->data[$this->position]; }
    public function key() { return $this->position; }
    public function next() { $this->position++; }
}

$obj = new MyIterator();
foreach ($obj as $key => $value) {
    echo "$key: $value\n"; // 0:10, 1:20, 2:30
}
?>

Случай 2: Обычный объект (stdClass и другие)

Если объект не реализует Iterator, PHP делает хитрый трюк: он конвертирует публичные свойства объекта в массив и итерируется по нему. Приватные и защищённые свойства игнорируются.

<?php
$obj = new stdClass();
$obj->name = 'Alice';
$obj->age = 30;
$obj->secret = 'hidden'; // если бы было private, его бы не было

foreach ($obj as $key => $value) {
    echo "$key: $value\n"; // name: Alice, age: 30
}
?>