詳細解析property_exists與isset的區別，以及它們各自的優缺點是什麼？

property_exists()和isset()常被拿來“判斷對象屬性是否存在”。但兩者的語義並不相同：前者關注“屬性是否被聲明/存在於對像或類中”，後者關注“變量或屬性是否被設置且不是null ”。理解這層差異，能避免空指針、未初始化屬性和魔術方法帶來的坑。

一句話結論

property_exists(\$obj, 'x') ：無論值是什麼（包括null 、未初始化的類型屬性、不可見私有/受保護屬性），只要“這個屬性在對像上存在”，就返回true 。
isset(\$obj->x) ：只有當“ x已設置且不是null ”時才返回true ； null 、未設置、未初始化類型屬性都返回false 。對重載屬性會觸發__isset() 。

核心對比表

場景	property_exists	isset
屬性聲明存在且值為非null	true	true
屬性聲明存在且值為null	true	false
屬性未聲明/不存在	false	false（且可能觸發__isset ）
私有/受保護屬性	true	取決於是否可見/是否實現__isset （通常false）
類型屬性（未初始化）	true	false（直接訪問會拋錯， isset為false）
動態屬性（8.2+ 默認棄用創建）	存在即true	存在且非null時true
是否觸發魔術方法	不觸發__get/__isset	可能觸發__isset
可作用於類名字符串	可以（檢查類的聲明屬性）	不可以（需要變量/對象訪問）
性能（粗略）	函數調用，略慢	語言結構，極快

最小示例：差異一眼看懂

&lt;?php
class User {
    public ?string $nickname = null;   // 已聲明，但為 null
    private int $age = 18;             // 私有屬性
}

\$u = new User();

var_dump(property_exists(\$u, 'nickname')); // true：屬性“存在”
var_dump(isset(\$u->nickname));             // false：值為 null

var_dump(property_exists(\$u, 'age'));      // true：即使是 private 絕對地“存在”
var_dump(isset(\$u->age));                  // false：不可見，且未實現 __isset

var_dump(property_exists(\$u, 'email'));    // false：未聲明/不存在
var_dump(isset(\$u->email));                // false：不在對像上

與類型屬性（Typed Properties）的交互

自PHP 7.4 起，類型屬性可以“已聲明但未初始化”。此時：

property_exists ： true （因為聲明存在）。
isset(\$obj->prop) ： false ；若直接讀取\$obj->prop會拋出Error: Typed property ... must not be accessed before initialization 。

 &lt;?php
class Post {
    public string $title;  // 未初始化
}
\$p = new Post();

var_dump(property_exists(\$p, 'title')); // true
var_dump(isset(\$p->title));             // false
// echo \$p->title; // 致命錯誤：未初始化的类型屬性

與魔術方法的配合

當類實現了屬性重載（ __get/__set/__isset ）時：

property_exists不會觸發__get或__isset ，它只看“真實屬性表”。
isset(\$obj->x)會嘗試調用__isset('x') ，讓你自定義“是否被視為已設置”。

 &lt;?php
class Box {
    private array \$data = ['a' =&gt; null, 'b' =&gt; 1];

    public function __isset(string \$name): bool {
        // 自定義：只要鍵存在就算“已設置”（哪怕值為 null）
        return array_key_exists(\$name, \$this-&gt;data);
    }
}

\$box = new Box();
var_dump(isset(\$box-&gt;a)); // true（因為 __isset 返回 true）

動態屬性與PHP 8.2+

從PHP 8.2 起，為普通類動態創建屬性（ \$obj->foo = 1且類上沒有foo ）默認會拋棄用警告。推薦做法：

顯式聲明屬性；或
在類上使用#[AllowDynamicProperties] ；或
使用stdClass / 明確的屬性存儲容器。

一旦對像上確有該屬性：

property_exists(\$obj, 'foo')為true ；
isset(\$obj->foo)取決於其值是否為null 。

各自的優缺點

property_exists

優點：語義明確（是否存在/已聲明）、能檢查私有/受保護屬性、可對類名字符串檢查、不會觸發魔術方法。
缺點：無法判斷“是否已初始化/是否為非null”、函數調用有開銷、對重載屬性返回更“保守”。

isset

優點：極快、可與__isset協作表達業務語義、“非null 即可用”的直覺判斷。
缺點： null一律當作“未設置”，容易把“空值”與“缺失”混淆；不可用於類名字符串；對未初始化類型屬性容易踩雷（直接訪問會拋錯）。

常見誤用與坑

把“存在”當作“可用” ： property_exists返回true不代表值可讀或已初始化。
把null當作“缺失” ： isset看不到null ，需要與array_key_exists 、三元/空合併運算符配合。
忽視可見性/魔術方法： isset可能因不可見返回false ，也可能被__isset改寫語義。
動態屬性在8.2+ ：無意創建動態屬性會產生棄用警告，建議顯式聲明。

實用模式與最佳實踐

1) 確認“聲明存在”，但不關心值

&lt;?php
if (property_exists(\$user, 'id')) {
    // 可以進一步判斷是否已初始化/非 null
}

2) 確認“可用且非null”

 &lt;?php
if (isset(\$user-&gt;id)) {
    // 安全使用 \$user-&gt;id
}

3) 需要區分“null”與“缺失”（數組/數據映射）

 &lt;?php
// 數組場景：請用 array_key_exists
\$data = ['a' =&gt; null];

var_dump(isset(\$data['a']));              // false
var_dump(array_key_exists('a', \$data));   // true：鍵存在，值為 null

4) 既要判斷存在，又要判斷可用

&lt;?php
if (property_exists(\$dto, 'amount') &amp;&amp; isset(\$dto-&gt;amount)) {
    // 同時滿足“聲明存在”和“非 null 可用”
}

5) 面向接口/DTO 的穩妥寫法（含類型屬性）

 &lt;?php
class OrderDTO {
    public ?int \$amount = null;   // 明確空值語義
}
\$o = new OrderDTO();

// 判空與默認
\$value = \$o-&gt;amount ?? 0; // 空合併：null 或未設置時給默認值