PHPの参照代入に関してです。

パパトモさん、回答＆長文に渡るコメント、ありがとうございます。

読ませてもらい、いろいろ考えたり実験した結果、
TransFreeBSDさんの言うように、

通常変数の代入の場合：
両辺がリファレンスになったあと、両辺デリファレンスされる
配列の要素の代入の場合：
両辺がリファレンスになったあと、左辺の変数だけデリファレンスされる

と考えるのが分かりやすそうです。

ちょっとphp -aで実験です。
まず、&を使うと参照型になるってこと。

php > $a = 1;
php > var_dump($a);
int(1)
php > var_dump(&$a);
&int(1)

でも、通常の参照代入で値が変化することはない。
ただ、おなじモノを指していることにはなる。
解釈としては変数に別名をあたえた、みたいな感じですかね。
ここまではわかりやすい。

php > $a = 1;
php > $b = &$a;
php > var_dump($a);
int(1)
php > var_dump($b);
int(1)
php > $b = 2;
php > var_dump($a);
int(2)
php > var_dump($b);
int(2)

本題はここから。
配列も作っただけなら中身は参照型ではない。
&をつけるだけなら別に中身が変わることはない。

php > $arr = array(1);
php > var_dump($arr);
array(1) {
[0]=>
int(1)
}
php > var_dump($arr[0]);
int(1)
php > var_dump(&$arr[0]);
&int(1)
php > var_dump($arr[0]);
int(1)

ここで、配列の要素の代入を行うと、
その代入を行った要素が参照型に変化してしまう。
しかも、一度参照型になってしまうと、
再度その要素に代入しても参照型のままになってしまう。

php > $arr = array(1);
php > $tmp = &$arr[0];
php > var_dump($arr);
array(1) {
[0]=>
&int(1)
}
php > var_dump($tmp);
int(1)
php > $arr[0] = 'a';
php > var_dump($arr);
array(1) {
[0]=>
&string(1) "a"
}

では、配列の要素を配列の要素に参照代入すると？
このときは代入された配列の中身も参照型になる。

php > $arr1 = array(1);
php > $arr2 = array('a');
php > $arr2[0] = &$arr1[0];
php > var_dump($arr1);
array(1) {
[0]=>
&int(1)
}
php > var_dump($arr2);
array(1) {
[0]=>
&int(1)
}

では、代入される側が配列の要素で、
代入する側が普通の変数の場合は。

php > $arr = array(1);
php > $a = 'a';
php > $arr[0] = &$a;
php > var_dump($a);
string(1) "a"
php > var_dump($arr);
array(1) {
[0]=>
&string(1) "a"
}

やはり参照型で代入されている。

結局何だったのか、というと、
PHPは参照操作をするときは一旦参照型にして演算するけど、
最後に参照型から通常型に戻そうとする。（デリファレンス）
でも、配列の要素までは追っかけてデリファレンスできなくて、
そのまま参照型が残り続ける。

なんてところだと予想されます。

----

なんでこんなことに、と思ってしまいますが、
多分変数自体には「参照型」を作りたくなかったのではないか、と思います。
どんな変数も「箱」のようなもので、値を持っている。
なので、変数に参照型の値を代入しようとしても、基本的にはデリファレンスしてしまう。
デリファレンスの結果、同じ「箱」に別名がついたりする。

配列も、中身の実装はどうなってるかは置いておいて、
「箱」のなかに「箱」があるイメージで扱えるようにしておきたい、
というのがおそらく基本スタイルなんでしょう。
だから通常の配列の代入はコピー。

そこで、配列の要素である、「箱のなかの箱」を参照型にしたあと
デリファレンス(つまり別名をつける)しようとしても、
「箱のなかの箱」には名前をつけることができない。
だから仕方なく「参照型」ということにしておく。

つまり、デリファレンスを後回しにしている感じですね。

この「後回し」が奇妙な結果を産むわけですな。。。
きもちわるいなあ。

----

ちなみに。
関数への参照渡しに配列の要素を与えた場合だとこの珍現象は起きないのでした。
これは関数の実行が終われば、「箱のなかの箱」に別名を与えたものが解消されるから
「参照型」を用意する必要がないからかなーとか思いました。

php > function hoge(&$a){ $a = 123; }
php > $b = 24;
php > hoge($b);
php > var_dump($b);
int(123)
php > $arr = array(1);
php > hoge($arr[0]);
php > var_dump($arr);
array(1) {
[0]=>
int(123)
}

グローバル変数使えば別名付けられるんじゃないか、と思って試してみましたが
そもそも、グローバル変数に参照代入してもグローバル変数には影響与えないみたいです。
こっちもかなり凶悪なハマりポイントですね。。。

php > $g = "default";
php > function hoge(){global $g; $a = 1; $g = &$a; $a = 10; }
php > hoge();
php > var_dump($g);
string(7) "default"

----

以上をまとめると、
１．配列の要素の参照代入は特別な目的がない限りしないこと
２．グローバル変数に参照代入はしないこと
ってところでしょうかねぇ。


適当に実験して得られた結論なので、PHP詳しい人からのアドバイスがほしいです。