在PHP中&符號即傳的是變數的引用而不是拷貝,引用意味著用不同的名字訪問同一個變數內容。這並不像 C 的指標,它們是符號表別名。注意在 PHP 中,變數名和變數內容是不一樣的,因此同樣的內容可以有不同的名字。最接近的比喻是 Unix 的檔案名稱和檔案本身 - 變數名是目錄條目,而變數內容則是檔案本身。引用可以被看作是 Unix 檔案系統中的緊密串連。
PHP 的引用允許你用兩個變數來指向同一個內容。意思是,當你這樣做時:
<?php $a =&$b ?>
這意味著 $a 和 $b 指向了同一個變數。
注: $a 和 $b 在這裡是完全相同的,這並不是 $a 指向了 $b 或者相反,而是 $a 和 $b 指向了同一個地方。
同樣的文法可以用在函數中,它返回引用,以及用在 new 運算子中(PHP 4.0.4 以及以後版本):
<?php $bar =& new fooclass(); $foo =& find_var ($bar); ?>
注: 不用 & 運算子導致對象產生了一個拷貝。如果你在類中用 $this,它將作用於該類當前的執行個體。沒有用 & 的賦值將拷貝這個執行個體(例如對象)並且 $this 將作用於這個拷貝上,這並不總是想要的結果。由於效能和記憶體消耗的問題,通常你只想工作在一個執行個體上面。
儘管你可以用 @ 運算子來關閉建構函式中的任何錯誤資訊,例如用 @new,但用 &new 語句時這不起效果。這是 Zend 引擎的一個限制並且會導致一個解析錯誤。
引用做的第二件事是用引用傳遞變數。這是通過在函數內建立一個本地變數並且該變數在呼叫範圍內引用了同一個內容來實現的。例如:
<?php function foo (&$var) { $var++; } $a=5; foo ($a); ?>
將使 $a 變成 6。這是因為在 foo 函數中變數 $var 指向了和 $a 指向的同一個內容。更多詳細解釋見引用傳遞。
引用做的第三件事是引用返回。
引用不是什麼
如前所述,引用不是指標。這意味著下面的結構不會產生你預期的效果:
<?php function foo (&$var){ $var =& $GLOBALS["baz"]; } foo($bar); ?>
這將使 foo 函數中的 $var 變數在函數調用時和 $bar 綁定在一起,但接著又被重新綁定到了 $GLOBALS["baz"] 上面。不可能通過引用機制將 $bar 在函數調用範圍內綁定到別的變數上面,因為在函數 foo 中並沒有變數 $bar(它被表示為 $var,但是 $var 只有變數內容而沒有調用符號表中的名字到值的綁定)。
引用傳遞
你可以將一個變數通過引用傳遞給函數,這樣該函數就可以修改其參數的值。文法如下:
<?php function foo (&$var) { $var++; } $a=5; foo ($a); // $a is 6 here ?>
注意在函數調用時沒有引用符號 - 只有函數定義中有。光是函數定義就足夠使參數通過引用來正確傳遞了。
以下內容可以通過引用傳遞:
變數,例如 foo($a)
New 語句,例如 foo(new foobar())
從函數中返回的引用,例如:
<?php function &bar() { $a = 5; return $a; } foo(bar()); ?>
詳細解釋見引用返回。
任何其它運算式都不能通過引用傳遞,結果未定義。例如下面引用傳遞的例子是無效的:
<?php function bar(){ // Note the missing & $a = 5; return $a; } foo(bar()); foo($a = 5) // 運算式,不是變數 foo(5) // 常量,不是變數 ?>
這些條件是 PHP 4.0.4 以及以後版本有的。
引用返回
引用返回用在當你想用函數找到引用應該被綁定在哪一個變數上面時。當返回引用時,使用此文法:
<?php function &find_var ($param){ /* ...code... */ return $found_var; } $foo =& find_var ($bar); $foo->x = 2; ?>
本例中 find_var 函數所返回的對象的屬性將被設定(譯者:指的是 $foo->x = 2; 語句),而不是拷貝,就和沒有用引用文法一樣。
注: 和參數傳遞不同,這裡必須在兩個地方都用 & 符號 - 來指出返回的是一個引用,而不是通常的一個拷貝,同樣也指出 $foo 是作為引用的綁定,而不是通常的賦值。
取值 (Dereference)
當你 unset 一個引用,只是斷開了變數名和變數內容之間的綁定。這並不意味著變數內容被銷毀了。例如:
<?php $a = 1; $b =& $a; unset ($a); ?>
不會 unset $b,只是 $a。
再拿這個和 Unix 的 unlink 調用來類比一下可能有助於理解。
引用定位
許多 PHP 的文法結構是通過引用機制實現的,所以上述有關引用綁定的一切也都適用於這些結構。一些結構,例如引用傳遞和返回,已經在上面提到了。其它使用引用的結構有:
global 引用
當用 global $var 聲明一個變數時實際上建立了一個到全域變數的引用。也就是說和這樣做是相同的:
<?php $var =& $GLOBALS["var"]; ?>
這意味著,例如,unset $var 不會 unset 全域變數。
$this
在一個對象的方法中,$this 永遠是調用它的對象的引用。