變量範圍

變量的範圍即它定義的上下文背景(也就是它的生效範圍)。大部分的 PHP 變量只有一個單獨的範圍。這個單獨的範圍跨度同樣包括了 include 和 require 引入的檔案。例如:

<?php
$a 
1;
include 
'b.inc';
?>

這裡變量 $a 將會在包括檔案 b.inc 中生效。但是,在會員自訂函數中,一個局部函數範圍將被引入。任何用於函數內定的變量按預設情況將被限制在局部函數範圍內。例如:

<?php
$a 
1/* global scope */

function Test()
{
    echo 
$a/* reference to local scope variable */
}

Test();
?>

這個腳本不會有任何輸出,因為 echo 語句引用了一個局部版本的變量 $a,而且在這個範圍內,它並沒有被賦值。你可能注意到 PHP 的全局變量和 C 語系有一點點不同,在 C 語系中,全局變量在函數中自動生效,除非被局部變量覆蓋。這可能引起一些問題,有些人可能漫不經心的改變一個全局變量。PHP 中全局變量在函數中使用時必須申明為全局。

global 關鍵字

首先,一個使用 global 的例子:

例子 12-1. 使用 global

<?php
$a 
1;
$b 2;

function 
Sum()
{
    global 
$a$b;

    
$b $a $b;
}

Sum();
echo 
$b;
?>

以上腳本的輸出將是「3」。在函數中申明了全局變量 $a$b,任何變量的所有引用變量都會指向到全局變量。對於一個函數能夠申明的全局變量的最大個數,PHP 沒有限制。

在全局範圍內訪問變量的第二個辦法,是用特殊的 PHP 自訂 $GLOBALS 陣列。前面的例子可以寫成:

例子 12-2. 使用 $GLOBALS 替代 global

<?php
$a 
1;
$b 2;

function 
Sum()
{
    
$GLOBALS['b'] = $GLOBALS['a'] + $GLOBALS['b'];
}

Sum();
echo 
$b;
?>

$GLOBALS 陣列中,每一個變量為一個元素,鍵名對應變量名,值對應變量的內容。$GLOBALS 之所以在全局範圍記憶體在,是因為 $GLOBALS 是一個超全局變量。以下範例顯示了超全局變量的用處:

例子 12-3. 演示超全局變量和作用功能變數的例子

<?php
function test_global()
{
    
// 大多數的預定義變量並不 "super",它們需要用 'global' 關鍵字來使它們在函數的本地區功能變數中有效。
    
global $HTTP_POST_VARS;

    echo 
$HTTP_POST_VARS['name'];

    
// Superglobals 在任何範圍內都有效,它們並不需要 'global' 聲明。Superglobals 是在 PHP 4.1.0 引入的。
    
echo $_POST['name'];
}
?>

使用靜態變量

變量範圍的另一個重要特性是靜態變量(static variable)。靜態變量僅在局部函數功能變數中存在,但當程式執行離開此作用功能變數時,其值並不丟失。看看下面的例子:

例子 12-4. 演示需要靜態變量的例子

<?php
function Test()
{
    
$a 0;
    echo 
$a;
    
$a++;
}
?>

本函數沒什麼用處,因為每次呼叫時都會將 $a 的值設為 0 並輸出 "0"。將變量加一的 $a++ 沒有作用,因為一旦離開本函數則變量 $a 就不存在了。要寫一個不會丟失本次計數值的計數函數,要將變量 $a 定義為靜態的:

例子 12-5. 使用靜態變量的例子

<?php
function Test()
{
    static 
$a 0;
    echo 
$a;
    
$a++;
}
?>

現在,每次呼叫 Test() 函數都會輸出 $a 的值並加一。

靜態變量也提供了一種處理遞歸函數的方法。遞歸函數是一種呼叫自己的函數。寫遞歸函數時要小心,因為可能會無窮遞歸下去。必須確保有充分的方法來中止遞歸。一下這個簡單的函數遞歸計數到 10,使用靜態變量 $count 來判斷何時停止:

例子 12-6. 靜態變量與遞歸函數

<?php
function Test()
{
    static 
$count 0;

    
$count++;
    echo 
$count;
    if (
$count 10) {
        
Test();
    }
    
$count--;
}
?>

注: 靜態變量可以按照上面的例子聲明。若果在聲明中用表達式的結果對其賦值會導致解析錯誤。

例子 12-7. 聲明靜態變量

<?php
function foo(){
    static 
$int 0;          // correct
    
static $int 1+2;        // wrong  (as it is an expression)
    
static $int sqrt(121);  // wrong  (as it is an expression too)

    
$int++;
    echo 
$int;
}
?>

全局和靜態變量的引用

在 Zend 引擎 1 代,它驅動了 PHP4,對於變量的 staticglobal 定義是以 references 的模式實現的。例如,在一個函數功能變數內定用 global 語句匯入的一個真正的全局變量實際上是建立了一個到全局變量的引用。這有可能導致預料之外的行為,如以下例子所演示的:

<?php
function test_global_ref() {
    global 
$obj;
    
$obj = &new stdclass;
}

function 
test_global_noref() {
    global 
$obj;
    
$obj = new stdclass;
}

test_global_ref();
var_dump($obj);
test_global_noref();
var_dump($obj);
?>

執行以上例子會導致如下輸出:

NULL
object(stdClass)(0) {
}

類似的行為也適用於 static 語句。引用並不是靜態地存儲的:

<?php
function &get_instance_ref() {
    static 
$obj;

    echo 
'Static object: ';
    
var_dump($obj);
    if (!isset(
$obj)) {
        
// 將一個引用賦值給靜態變量
        
$obj = &new stdclass;
    }
    
$obj->property++;
    return 
$obj;
}

function &
get_instance_noref() {
    static 
$obj;

    echo 
'Static object: ';
    
var_dump($obj);
    if (!isset(
$obj)) {
        
// 將一個物件賦值給靜態變量
        
$obj = new stdclass;
    }
    
$obj->property++;
    return 
$obj;
}

$obj1 get_instance_ref();
$still_obj1 get_instance_ref();
echo 
"\n";
$obj2 get_instance_noref();
$still_obj2 get_instance_noref();
?>

執行以上例子會導致如下輸出:

Static object: NULL
Static object: NULL

Static object: NULL
Static object: object(stdClass)(1) {
  ["property"]=>
  int(1)
}

上例演示了當把一個引用賦值給一個靜態變量時,第二次呼叫 &get_instance_ref() 函數時其值並沒有被記住