PHP:循環参照に対する動作の違い

・ 循環参照を持つ変数に何らかの処理を加えた時の動作の相違
・ 循環参照を見つける簡易関数(php5)

自前環境で、循環参照に対する幾つかの関数の動作を試行。
ちなみに、php v5.3 では循環参照をガーベッジ・コレクターが検出し、循環参照に使用されているメモリーを解放することができるとのこと。

■ 循環参照の例
Ａ）配列で値渡し（※）
$a = array();
$a[0] = $a;
Ｂ）配列で参照渡し
$a = array();
$a[0] = &$a;
Ｃ）クラスインスタンスで値渡し
$a = new stdClass;
$a->p = $a;
Ｄ）クラスインスタンスで参照渡し
$a = new stdClass;
$a->p = &$a;

※ うーむ。これは循環参照というのかなぁ？？？

■ 自前の環境
PHP Version 5.2.3
System Windows NT
Server API Apache 2.0

 動作の相違

上記Ａ）〜Ｄ）に以下のスクリプトを実行してみた・・・。
・ Ａ），Ｂ）の場合
var_dump ($a);
echo "<br>";
echo serialize($a) . "<br>";
var_dump (unserialize(serialize($a)));
・ Ｃ），Ｄ）の場合
var_dump ($a);
echo "<br>";
echo serialize($a) . "<br>";
var_dump (unserialize(serialize($a)));
echo "<br>";
var_dump (clone $a);
echo "<br><br>";

Ａ）配列で値渡し
array(1) { [0]=> array(1) { [0]=> *RECURSION* } }
a:1:{i:0;a:1:{i:0;a:1:{i:0;N;}}}
array(1) { [0]=> array(1) { [0]=> array(1) { [0]=> NULL } } }

Ｂ）配列で参照渡し
array(1) { [0]=> &array(1) { [0]=> &array(1) { [0]=> *RECURSION* } } }
a:1:{i:0;a:1:{i:0;R:2;}}
array(1) { [0]=> &array(1) { [0]=> &array(1) { [0]=> *RECURSION* } } }

Ｃ）クラスインスタンスで値渡し
object(stdClass)#1 (1) { ["p"]=> object(stdClass)#1 (1) { ["p"]=> *RECURSION* } }
O:8:"stdClass":1:{s:1:"p";r:1;}
object(stdClass)#2 (1) { ["p"]=> object(stdClass)#2 (1) { ["p"]=> *RECURSION* } }
object(stdClass)#3 (1) { ["p"]=> object(stdClass)#1 (1) { ["p"]=> object(stdClass)#1 (1) { ["p"]=> *RECURSION* } } }

Ｄ）クラスインスタンスで参照渡し
object(stdClass)#3 (1) { ["p"]=> &object(stdClass)#3 (1) { ["p"]=> *RECURSION* } }
O:8:"stdClass":1:{s:1:"p";R:1;}
object(stdClass)#4 (1) { ["p"]=> object(stdClass)#4 (1) { ["p"]=> *RECURSION* } }
object(stdClass)#5 (1) { ["p"]=> &object(stdClass)#3 (1) { ["p"]=> &object(stdClass)#3 (1) { ["p"]=> *RECURSION* } } }

なんて結果。

Ａ）のシリアライズで異なったのは驚いた。serialize のマニュアルにも「配列/オブジェクト内の 循環参照も保存されます。その他の参照は失われます。 」なんて書いてある。
んが、Ａは「参照渡し」ではないんだよなぁ。なので、値自体を与える必要があるためにいつかは打ち切らなきゃならんからこのようになるのか・・・。まあ、そもそも循環参照やＡのようなものをセッションに入れるなんて事はしないけど、一応留意点かな。

clone もまた面白い。clone することで、# 後の数値がカウントアップされるのは、仕様上納得。ただ RECURSION と認識されるまでにもう１ステップ掛っているところは、当然の帰結なのに、これも一瞬戸惑った。まー。「なるほど」という具合ですか。

ちょっと良く分からないのはＣ)の４番目 clone 後に再度生成したＤ）
$a = new stdClass;
に同一の # の数値が振られているところ。これは一体なぜなんだろう・・・。

そして、思わずニヤリと笑ってしまうのはＤの３番目。Ｄの１番目ではちゃんと & がついているのに、３番目では消えている。

■ ちなみにコイツらだと・・・
var_export($a);
$a == $a[0];

上記いずれも例外で処理が止まる。
Fatal error: Nesting level too deep - recursive dependency? in …
但し php4 では var_dump でもフリーズする。
実は、clone も物によってフリーズするし、Ａ，Ｂの場合、in_array など（結局は == と同等か。）では Fatal error を起こす。

var_dump はまだフリーズなどの経験はないけど、循環参照のメモリリークなど別の要素も兼ね合って var_dump を切っ掛けに簡単にフリーズするのでは？なんて想像。

 でも折角なので判定関数を作成

循環参照があるかどうか判定する簡単な関数

// 配列・オブジェクト内に循環参照があれば true
function detect_circular_reference($obj){
  ob_start();
  var_dump($obj);
  $out = ob_get_clean();
  $txs = explode(' *RECURSION*', $out);
  array_pop($txs);
  foreach($txs as $txt){
    $str = explode('string', $txt);
    // 前方に string が無ければ true
    if(($cnt = count($str) - 1) === 0){
      return true;
    }
    $str = $str[$cnt];
    preg_match("/^\((\d+)\)\s\"/", $str, $match);
    if(count($match) == 2){
      // 前方の string に入らなければ true
      if($match[1] + strlen($match[0]) < (strlen(bin2hex($str)) / 2)){
        return true;
      }
    }else{
      // データ不良
      trigger_error('abnormal data!');
      return false;
    }
  }
  return false;
}

まー。var_dump が吐く文字列を処理してるだけのしょうもないもの。
実際使うかどうかも不明（笑）

一応、string に隠れている *RECURSION* は、無視するようにしてるけど、*RECURSION* なんて文字列があり得なければ、この文字列の有無の検査だけでも判定できる。

var_dump を信用してだけど・・・。

むちゃくちゃ久し振りの更新
それでも極々たまーにコメント頂いたりするので、やっぱ辿り着く人もいるんだなぁと。
ずいぶん前に独立してからは、あまりに忙しくてこういう趣味の「無駄な？お勉強」ができなくて残念。
まー。seesaa さんの機嫌を損ねて消されない程度にでも更新しよっと。