Почему массив не меняется в цикле foreach?

Question

[Евгений Обыкновенный]

Почему такое поведение? Оператор foreach копирует массив перед проходом? Как сделать, чтобы массив изменялся по ходу выполнения цикла?

$arr = ['a', 'b', 'c', 'd'];

foreach ($arr as $key => $val) {
  echo "key=$key, val=$val\n";

  foreach ($arr as $k => $v) {
    if ($v == 'b') {
      $arr[$k] = 'x';
      echo "arr[$k] is set to x\n";
    }
  }
}

Результат:

key=0, val=a
arr[1] is set to x
key=1, val=b
key=2, val=c
key=3, val=d

UPD: Без вложенного цикла то же самое

$arr = ['a', 'b', 'c', 'd'];

foreach ($arr as $key => $val) {
  echo "key=$key, val=$val\n";

  if ($key == 0) {
    $arr[1] = 'x';
    echo "arr[1] is set to x\n";
  }
}

Comments

[Zerg89]

А вы сами свой код читали? И точно циклы должны быть вложенными? И правильная ли у них последовательность?

[Евгений Обыкновенный]

Zerg89, что значит должны или не должны. Код валидный и работает. Вопрос в том, почему он работает так. Это упрощенный пример для иллюстрации.

[Zerg89]

Евгений Обыкновенный, хорошо, зайдем сдругой стороны, зачем вы вместо одного раза пытаетесь прочитать каждую переменную одного и тогоже массива 16 раз?

Код валидный и работает.

но приэтом почемуто не так как вам нужно, тоесть не работает(рабочим кодом называется то что выдает нужный результат, а не лижбы запускалось)

[Zerg89]

Евгений Обыкновенный, ну почти только значение надо выводить после его изменения

[Евгений Обыкновенный]

Zerg89, в реальной задаче надо было сгруппировать данные в элементах массива по некоторому принципу. Для этого вложенные проходы по массиву. Убрал из примера вложенный цикл и странное поведение соханилось.

[AUser0]

Евгений Обыкновенный, а так?

$arr = ['a', 'b', 'c', 'd'];

foreach ($arr as $key => $val) {
  echo "key={$key}, val={$val}";
  foreach ($arr as $k => $v) {
    if ($v == 'b') {
      $arr[$k] = 'x';
      echo " __arr[1] is set to x__ ";
    }
  }
  echo " / key={$key}, val={$arr[$key]}\n";
}

[Zerg89]

Евгений Обыкновенный, еще раз, вы выводите значение массива до изменения параметра в массиве, какое поведение странное? Код делает ровно то что вы в нем написали

[Zerg89]

AUser0,

$arr = ['a', 'b', 'c', 'd'];
  foreach ($arr as $k => $v) {
    if ($v == 'b') {
      $arr[$k] = 'x';
      echo " __arr[$k] is set to x__ ";
    }
  }
  echo " / key={$k}, val={$arr[$k]}\n";
}

Учитесь читать код и понимать как он работает иначе в програмировании вы результатов не достигнете

[Евгений Обыкновенный]

AUser0, но почему изменения элементов массива в цикле не видны до выхода из цикла? Это странное поведение. Получется, что в цикле есть два массива с именем $arr: один для итерирования, другой для запоминания изменений.

[AUser0]

Евгений Обыкновенный, не совсем.
Поменяйте echo "key=$key, val=$val\n"; на echo "key=$key, val=$val, val_=$arr[$key]\n";, удивитесь.

[AUser0]

Zerg89, а ваш код - рабочий, прямо без ошибок?

[Zerg89]

AUser0, я php плохо знаю(с точки зрения типов и классов, да и не программист, а админ), но то что было в первой версии даже с натяжкой сложно назвать кодом ученика в плоскости алгоритма
Было чтото такое

$arr = ['a', 'b', 'c', 'd'];

foreach ($arr as $key => $val) {
  echo "key={$key}, val={$val}";
  foreach ($arr as $k => $v) {
    if ($v == 'b') {
      $arr[$k] = 'x';
      echo " __arr[1] is set to x__ ";
    }
  }
}

[Евгений Обыкновенный]

AUser0, т.е. я правильно предположил, что foreach для итерирования делает копию масссива. Тогда, наверно, решением будет использовать простой цикл for

for ($key = 0; $key < count($arr); $key++) {
  $val = $arr[$k];
  ...
}

[alexalexes]

Евгений Обыкновенный, такие задачи, обычно, решают через while/for, если неизвестно, как работают итераторы в конкретной реализации ЯП, или когда хотят получить 100% рабочее решение на любой платформе.

[Vitsliputsli]

Евгений Обыкновенный,

т.е. я правильно предположил, что foreach для итерирования делает копию масссива.

Грубо говоря - да, для простоты именно так и считаем. На самом деле, пока изменения не вносятся в массив, новую копию php не создаст.

Тогда, наверно, решением будет использовать простой цикл for

В общем случае для обхода массива нужно использовать итератор массива, это более производительно. For это не итератор, foreach - итератор. Разумеется на маленьких массивах от этого большой выгоды не увидим.
Остальное rPman в ответе расписал.

Answer 1

[rPman]

foreach не трогает массив во время прохода по нему, т.е. можно использовать вложенные циклы по одному и тому же массиву (а так же можно пользоваться current/begin/end для этого у массива отдельная переменная состояния).

Рекомендация, не удалять элементы массива внутри его же перебора (лучше собирать идентификаторы в отдельный массив на_удаление и удалять после или использовать array_filter).

Еще есть не очевидный момент, foreach($mas as $k=>$v) возвращает копию элемента $v, но поведение будет зависеть от типа этого элемента (это не foreach такой это в основе php передача по копированию идет так), например если элемент это массив, $v будет копией массива (но его элементы-объекты будут переданы все еще по ссылке), и изменение в нем не отразится на исходном, а вот если элемент массива будет объектом (экземпляр объекта) то значение его полей будет изменено. Это 'странное' поведение можно детерминировать, определив элемент в итераторе по ссылке &:

$mas=[[1,2],[2,3]];
foreach($mas as $k=>$v) $v[0]=0;
echo json_encode($mas)."\n";
// [[1,2],[2,3]]

$mas=[(object)["a"=>1],(object)["a"=>2]];
foreach($mas as $k=>$v) $v->a=0;
echo json_encode($mas)."\n";
// [{"a":0},{"a":0}]

$mas=[[1,(object)["a"=>1]],[2,(object)["a"=>2]]];
foreach($mas as $k=>$v) $v[1]->a=0;
echo json_encode($mas)."\n";
// [[1,{"a":0}],[2,{"a":0}]] смотрим что атрибут объектов внутри массива все же изменился!


// по ссылке
$mas=[[1,2],[2,3]];
foreach($mas as $k=>&$v) $v[0]=0;
unset($v); // об этом приходится помнить, что бы не получить нежданчик, если после цикла сделать $v=10 изменит последний элемент массива $mas
echo json_encode($mas)."\n";
// [[0,2],[0,3]]

вроде бы бездумное использование $k=>&$v (всегда по ссылке) считается вредным советом, ломает оптимизацию 'интерпретатора' и всегда нужно помнить делать unset после цикла, что бы не случайно не воспользоваться $v, ведь она будет ссылкой на последний элемент перебираемого массива.

Answer 2

[alexalexes]

Евгений Обыкновенный, нет, foreach временно создает объект-итератор.
Чтобы сообщить интерпретатору PHP, что вы хотите иметь связь внутри цикла с объектом-итератором, берите его элементы по ссылке:

foreach ($arr as $key => &$val) {
...
  foreach ($arr as $k => &$v) {
   ...
  }
}

Answer 3

[Михаил Ливач]

https://www.php.net/manual/ru/migration70.incompat... :

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

Comments

[Everything_is_bad]

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