PHP7のforeachで、2次元配列を参照渡しにして直接書き換えたい。

Question

PHPのforeachで2次元配列を回す時に、参照渡しができません。
2次元配列には1次元配列を要素として持っており、各1次元配列の値を参照渡しで直接書き換えることが出来ませんでした。
出来ない理由を教えて頂きたいです。具体的なコードは下記に示してあります。

この問題を調べるにあたり、PHPは変数名はシンボルテーブルに、変数の中身はzvalにと、別々のテーブルに分かれていることを知りました。
&を使った参照渡しは、シンボルテーブルに同じ実体を参照する変数を登録するのであって、ポインタを渡しているわけではないということまでは理解しています。

今回のことが不可能だとしても、なぜこのような結果になるのかが知りたいです。

どうぞよろしくお願いします。

<?php

echo phpversion();
// 7.0.11

// 配列型の参照渡しができることを確認
$ary1 = [1,2,3];
$ary2 = &$ary1;
$ary2 = [0];

foreach ($ary1 as $val) echo $val;
// 0

foreach ($ary2 as $val) echo $val;
// 0
unset($ary1, $ary2, $val);

// foreachで配列の要素が参照渡しができることを確認
$ary1 = [1,2,3];
foreach ($ary1 as &$val) {
    $val = 0;
}
unset($val);
foreach ($ary1 as $val) echo $val;
// 000
unset($ary1, $ary2, $val);

// foreachで2次元配列を参照渡しできない
$ary1 = [1,2,3];
$ary2 = [4,5,6];
foreach ([$ary1, $ary2] as &$val) {
   $val = [0];
}
unset($val);
foreach ($ary1 as $val) echo $val;
// 123

foreach ($ary2 as $val) echo $val;
// 456
unset($ary1, $ary2, $val);

Answer 1

foreach ([$ary1, $ary2] as &$val) {
   $val = [0];
}

この[$ary1, $ary2]の部分が、$ary1, $ary2を要素に持つ新しい配列になっているようです。
[&$ary1, &$ary2]に置き換えたところ、それぞれの変数も上書きされるようになりました。

var_dump([$ary1, $ary2]);

// result
array (size=2)
  0 => 
    array (size=3)
      0 => int 1
      1 => int 2
      2 => int 3
  1 => 
    array (size=3)
      0 => int 4
      1 => int 5
      2 => int 6

var_dump([&$ary1, &$ary2]);

// result
array (size=2)
  0 => &
    array (size=3)
      0 => int 1
      1 => int 2
      2 => int 3
  1 => &
    array (size=3)
      0 => int 4
      1 => int 5
      2 => int 6

Comments

[mitsuru793]

ご回答ありがとうございます。おかげ様で、謎が解けました。
[ ]で配列を生成する時に、要素を参照渡しにしないとコピーされた値が使われてしまっていたのですね。
コピーされた配列をforeachで回していたから駄目だったということですか。

原因がわかり、とてもうれしいです。

[KiyoshiMotoki]

nnssn様、mitsuru793

> この[$ary1, $ary2]の部分が、$ary1, $ary2を要素に持つ新しい配列になっているようです。

について、マニュアルで以下のように説明されています。

http://php.net/manual/ja/language.types.array.php
> 配列への代入においては、常に値がコピーされることに注意してください。 配列をリファレンスでコピーする場合には、 リファレンス演算子を使う必要があります。

ちなみに、PHP5.4 でも同様の結果でしたので、PHP7 に限った仕様ではないようです。

[nnssn]

> KiyoshiMotokiさん

ありがとうございます。ちなみに試行バージョンは5.6でした。
配列のドキュメントめちゃくちゃ充実してますね。
今日は復習がてら、これを見ながら寝落ちしたいと思います。