PHP 參照詳解 - 踩坑與妙用

最近在關注「PHP 參照」這一話題，看過不少深度文章，對 PHP 裡的「參照」有了更深的理解。

0x00

首先看如下程式碼：

$foo['hello'] = '0';
$bar = &$foo['hello']; // 參照！
$tipi = $foo;
$tipi['hello'] = '1';

print_r($foo);

問：輸出 0 還是輸出 1？答案是 1。

原理何在？

PHP 核心使用 zval 結構儲存變數，在 PHP 程式碼裡，我們利用 xdebug_debug_zval 函數一探究竟。

修改如上程式碼：

$foo['hello'] = '0';

xdebug_debug_zval('foo');
$bar = &$foo['hello']; // 參照！
xdebug_debug_zval('foo');

$tipi = $foo;
$tipi['hello'] = '1';

print_r($foo);

輸出如下：

foo: (refcount=1, is_ref=0)=array ('hello' => (refcount=1, is_ref=0)='0')
foo: (refcount=1, is_ref=0)=array ('hello' => (refcount=2, is_ref=1)='0')

$foo['hello'] 從非參照變數（is_ref=0）變為參照變數（is_ref=1），而參照計數則為 refcount=2。

為什麼會這樣？

根據 PHP: 參照做什麼 - Manual 的解釋：

$a =& $b; 這意味著 $a 和 $b 指向了同一個變數。

$a 和 $b 在這裡是完全相同的，這並不是 $a 指向了 $b 或者相反，而是 $a 和 $b 指向了同一個地方。

結合我們的例子，也就是說，當 $bar = &$foo['hello']; 執行時，$bar 和 $foo['hello'] 都成為了「參照變數」，且它們「指向了同一個地方」。

那麼當我們複製此陣列時，也複製了它 hello 元素的參照；當 $tipi['hello'] = '1'; 執行時，就修改了 tipi['hello'] 、$foo['hello'] 以及 $bar 所指向的「同一個地方」。

於是，$foo['hello'] 的值理所當然地成為了 1。

0x01

略有深入參照的 PHPer 應該都試過這種語法：

for ($list as &$value) {
    $value = 'foo';
}

PHP 在控制結構後不會回收變數，此處不多講解；於是剛剛的坑，其實可以延伸一下。

$foo['hello'] = '0';
$foo['world'] = 'A';
foreach($foo as &$value) { // 參照！
    // Do nothing.
}
$tipi = $foo;
$tipi['hello'] = '1';
$tipi['world'] = 'B';
print_r($foo);

此處輸出如下：

Array
(
    [hello] => 0
    [world] => B
)

hello 正常，而 world 被修改為 B！原因可以結合 xdebug_debug_zval 函數自行探究。

所以，隨手 unset($value); 是個好習慣。

0x02

其實參照也不全是坑。好處還是大大地有。

舉例：

$catList = [
    '1' => ['id' => 1, 'name' => '顏色', 'parent_id' => 0],
    '2' => ['id' => 2, 'name' => '規格', 'parent_id' => 0],
    '3' => ['id' => 3, 'name' => '白色', 'parent_id' => 1],
    '4' => ['id' => 4, 'name' => '黑色', 'parent_id' => 1],
    '5' => ['id' => 5, 'name' => '大', 'parent_id' => 2],
    '6' => ['id' => 6, 'name' => '小', 'parent_id' => 2],
    '7' => ['id' => 7, 'name' => '黃色', 'parent_id' => 1],
];

如何實現將如上順序表轉換為層級樹？

過去，或者說通常情況下我們首先想到的是遞迴回溯。

不過，利用 PHP 的參照特性，可以將時間複雜度降低到 O(n)。

$treeData = [];
foreach ($catList as $item) {
    if (isset($catList[$item['parent_id']]) && !empty($catList[$item['parent_id']])) {
        // 子分類
        $catList[$item['parent_id']]['children'][] = &$catList[$item['id']];
    } else {
        // 一級分類
        $treeData[] = &$catList[$item['id']];
    }
}

var_export($treeData);

更多PHP相關技術文章，請存取PHP教學欄目進行學習！

以上就是PHP 參照詳解 - 踩坑與妙用的詳細內容，更多請關注TW511.COM其它相關文章！