PHP 中 isset() 與 array_key_exists() 差異深度解析與效能考量

在 PHP 開發中，判斷陣列鍵是否存在是極高頻的操作。isset() 與 array_key_exists() 是兩個最常用的函數，但它們的語意、行為與效能特徵有本質差異。本文深入剖析兩者差異，並提供實務選擇指南。

核心差異一覽

程式碼實證

<?php
$a = ['key1' => '123', 'key2' => null, 'key3' => false, 'key4' => ''];

var_dump(isset($a['key1'])); // true
var_dump(isset($a['key2'])); // false  ← 關鍵差異
var_dump(isset($a['key3'])); // true  (false 非 null)
var_dump(isset($a['key4'])); // true  (空字串非 null)

var_dump(array_key_exists('key1', $a)); // true
var_dump(array_key_exists('key2', $a)); // true  ← 關鍵差異
var_dump(array_key_exists('key3', $a)); // true
var_dump(array_key_exists('key4', $a)); // true
var_dump(array_key_exists('key5', $a)); // false (鍵不存在)
?>

深度解析：為什麼 isset() 會對 null 回傳 false？

isset() 的設計目的是「檢查變數是否已被設定且非 null」。在 PHP 內部，未定義的變數與值為 null 的變數在 Zend 引擎的符號表中呈現相似狀態（IS_UNDEF vs IS_NULL），isset() 將兩者視為同樣「未被設定」。這符合 PHP 的弱型別哲學：null 代表「無值」，等同於未設定。

效能基準測試

<?php
$arr = range(0, 9999);
$keys = array_flip($arr);
$iterations = 1000000;

$start = hrtime(true);
for ($i = 0; $i < $iterations; $i++) {
    isset($arr[5000]);
}
$issetTime = hrtime(true) - $start;

$start = hrtime(true);
for ($i = 0; $i < $iterations; $i++) {
    array_key_exists(5000, $arr);
}
$akeTime = hrtime(true) - $start;

echo "isset(): " . ($issetTime / 1e6) . " ms\n";
echo "array_key_exists(): " . ($akeTime / 1e6) . " ms\n";
echo "isset() 快約 " . round($akeTime / $issetTime, 1) . " 倍\n";
// 典型結果：isset() 快 3-5 倍
?>

實務選擇指南

✅ 使用 isset() 的場景

• 高頻率迴圈中檢查陣列鍵（效能關鍵路徑）
• 確定業務邏輯中「不存在」與「值為 null」語意相同時
• 檢查超全域陣列 $_GET、$_POST、$_SESSION 等
• 物件屬性存在性檢查：isset($obj->prop)
• 多維陣列鏈式檢查：isset($a['b']['c']) 不會觸發錯誤

✅ 使用 array_key_exists() 的場景

• 需要區分「鍵不存在」與「鍵存在但值為 null」的業務邏輯
• 陣列鍵可能為 null 的合法資料結構（如快取系統、資料庫 ORM 映射）
• 實作 ArrayAccess 介面的物件
• 靜態分析工具（Psalm、PHPStan）型別推斷輔助

進階替代方案

1. Null 合併運算子（PHP 7.0+）

<?php
// 取得值，若鍵不存在或為 null 則用預設值
$value = $arr['key'] ?? 'default';

// 等同於
$value = isset($arr['key']) ? $arr['key'] : 'default';
?>

2. array_key_exists() 的嚴格替代：array_key_first()/array_key_last()（PHP 7.3+）

<?php
// 只需檢查陣列是否為空，不需特定鍵
if ($arr !== []) { ... }
// 或
if (count($arr) > 0) { ... }
?>

3. 物件屬性檢查：property_exists()

<?php
class User {
    public $name;
    private $email = null;
}

$user = new User();
var_dump(isset($user->name));        // false (未設定)
var_dump(isset($user->email));       // false (private 且為 null)
var_dump(property_exists($user, 'name'));    // true
var_dump(property_exists($user, 'email'));   // true
?>

常見陷阱

1. 多維陣列：isset($a['b']['c']) 安全；array_key_exists('c', $a['b'] ?? []) 需額外防護。
2. 參考傳遞：array_key_exists() 接受陣列參考，大型陣列複製開銷大（PHP 7+ 寫時複製機制緩解此問題）。
3. 魔術方法：__isset() 只影響 isset()，不影響 array_key_exists()。

總結建議

預設使用 isset()，除非你明確需要區分「鍵不存在」與「值為 null」。在現代 PHP（7.4+）中，isset() 配合 ?? 運算子已能優雅處理 95% 以上的場景，兼具可讀性與極致效能。僅在領域模型明確要求「null 為合法值」時，才引入 array_key_exists()。