PHPは何故値渡しより参照渡しの方が遅いのでしょうか。

Question

PHPは何故値渡しより参照渡しの方が遅いのでしょうか。
値渡しの場合全て内容をコピーしなければならないので遅くなるように思うのですが。

nezumi0t0k0 · Accepted Answer

参照が速くない大きな理由の一つは、
$a =& $b;
$c = $a; // ここで値のコピーが発生と思われる
と同じことが、組み込み関数をコールするところで起こってしまうため、
参照の意味が無くなることが多いことだと思います。

提示していただいたベンチマークのコードだと、
is_array, implodeのところで$dataがコピーされていると思います。
関数をコールする都度これが起こると思われるので、
それが速度低下の大きな原因だと思います。

やはり「参照渡しそのものが遅い」わけではないと思います。
ただ、上の理由から、余程注意しないと、「参照渡しを使うと全体として遅くなる」
という結果を招くことは確かだと思います。

また、場合によってはガベコレの影響も大きいようなので、
ベンチマークの時は注意する必要があると思います。
(下のサンプルのガベコレのところを変えるだけで随分違います)

下は本当に差が出るサンプルです。

<?php

    // 配列 $array に $data をプッシュしたものを返す関数
    function pushed($array, $data)
    {
        // ここで$arrayを操作するため、
        // 実際に$arrayのデータをコピーする必要が生じる。
        // ここをコメントアウトすれば、
        // $arrayが値渡しであっても、
        // $arrayの中身のコピーは起こらない。
        $array []= $data;

        return $array;
    }

    // 配列 $array に $data をプッシュする関数
    function push(&$array, $data)
    {
        $array []= $data;
    }

    $n = 10;

    $time = 0;
    for ($i = 0; $i < $n; $i++) {
        $dat = range(0,99999);
        $res = null; // GCの時間を除外するため、ここでGCを起こす
        $t = microtime(true);
        $res = pushed($dat, null);
        $time += microtime(true) - $t;
    }
    echo "V={$time}
";

    $time = 0;
    for ($i = 0; $i < $n; $i++) {
        $dat = range(0,99999);
        $t = microtime(true);
        push($dat, null);
        $time += microtime(true) - $t;
    }
    echo "R={$time}
";
?>

nezumi0t0k0 · Answer

ベンチマークに使ったコードを実際に見せていただければ、もっと詳しいことが分かると思います。

BLUEPIXY · Answer

状況にもよるかと思いますが、
ＰＨＰの場合の参照の場合、参照カウンタがそれぞれ作られて、参照されている数の管理をしています。
なので、その分のオーバーヘッドがあって、単純なint のコピーで済む場合より遅い場合があるのかも知れません。

nezumi0t0k0 · Answer

私の実感だと、やはり参照渡しの方が速いと思います。

恐らく、PHPで実際にコピー操作が起こるのは、本当にそれが必要になったとき、だと思います。
つまり、$a = $b; も $a =& $b; とやったとも、処理は殆ど同じで、前者であっても実際のデータのコピーは起こらないのだと思います。
(ソースコードレベルで言うと、どちらもzvalue_value共用体のシャローコピーでしかないということ)

データのディープコピーが起こるのは、
その後に例えば、$a .= 'B'; とかしたときなど、本当に $a の実体が必要になったとき、だと思います。

このあたりの事情がベンチマークを狂わせているのではないかと思います。

yambejp · Answer

それが真実かどうかはべつとして
そういう風につくられているからでしょう。
ベンチマークをとれば実証はできますが、
ソースを追っかけて検証することはかなり難しく
それをプログラム的に説明されても、理解できるとは
思いませんが・・・。
（逆にそれが理解できるならご自身で検証してください）

また結果としてその命題が真実であっても、その
点がボトルネックになるプログラムを書くこと自体がない
でしょうし、もし書くことがあってそれが致命的で
あっても傾向がわかっているなら対処のしようもあるので、
なにも問題がないかと。

PHPは何故値渡しより参照渡しの方が遅いのでしょうか。

参照が速くない大きな理由の一つは、

ベンチマークに使ったコードを実際に見せていただければ、もっと詳しいことが分かると思います。

この回答への補足

状況にもよるかと思いますが、

私の実感だと、やはり参照渡しの方が速いと思います。

それが真実かどうかはべつとして

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング