PHP 可變變數名稱在陣列與類別屬性中的歧義解析與正確寫法

PHP 支援可變變數名稱 ($$var) 與可變屬性名稱 ($obj->$prop)，但在陣列與物件屬性鏈中會產生解析歧義，需用大括號明確指定結構。

基本可變變數

<?php
$a = 'hello';
$$a = 'world';        // 等同 $hello = 'world';
echo "$a ${$a}";      // hello world
echo "$a $hello";     // hello world

陣列歧義與解決

<?php
$arr = ['foo', 'bar', 'baz'];
$key = 1;

// 情境 1：取得 $arr[1] 的值作為變數名
${$arr[1]} = 'value1'; // 正確：${$arr[1]} 先解析 $arr[1]='bar'，再建立 $bar
// 錯誤寫法：$$arr[1] 會被解析為 ${$arr}[1] (先取 $arr 再取索引 1)

// 情境 2：$arr 為變數名，取其索引 1
${$arr}[1] = 'value2'; // 正確：${$arr} 解析為 $arr 陣列，再取 [1]

類別屬性鏈歧義與解決

<?php
class Foo {
    public $bar = 'I am bar.';
    public $baz = ['foo', 'bar', 'baz', 'quux'];
}

$obj = new Foo();
$prop = 'bar';
$propArr = 'baz';

echo $obj->$prop . "\n";        // I am bar. (正常)
echo $obj->$propArr[1] . "\n";  // I am bar. (正確：$propArr='baz'，取 $obj->baz[1])

// 若寫成 $obj->$baz[1] 且 $baz 為陣列，會先解析 $baz[1] 再取屬性，易發生錯誤
// 建議永遠用大括號明確：
echo $obj->{$propArr}[1] . "\n"; // 明確：先解析屬性名 $propArr，再取索引

限制事項

• 超全域變數 ($_GET, $_SESSION 等) 不可 用於可變變數：${$_GET} 會報錯。
• $this 為特殊變數，不可 作為可變變數名稱。
• 函數/類別內的靜態變數、常數同樣不支援動態名稱存取。

最佳實務建議

• 能用陣列/物件結構化資料時，避免使用可變變數，降低可讀性且難以靜態分析。
• 必須動態存取屬性時，統一使用大括號 {$obj->{$prop}} 消除歧義。
• 配合 property_exists()、isset() 防禦性檢查。