PHP 數組鍵名檢查函數 array_key_exists() 深度解析：性能對比、與 isset() 差異及最佳實踐

array_key_exists() 是 PHP 判斷數組中是否存在指定鍵名的核心函數。本文從原理、性能、與 isset()/in_array() 差異三個維度深度解析，助你在高頻調用場景做出最優選擇。

基本語法與行為

bool array_key_exists( mixed $key, array $array )

• 返回 true 若鍵名存在（無論值為何，包括 null、false、''）
• 返回 false 若鍵名不存在
• 鍵名區分大小寫

$a = ['a' => 'Dog', 'b' => 'Cat'];
var_dump(array_key_exists('a', $a)); // true
var_dump(array_key_exists('c', $a)); // false

核心差異：array_key_exists vs isset() vs in_array()

性能實測（百萬次循環）

$test_arr = ['aa' => 'dd', 'bb' => '', 'cc' => null, 'dd' => false];

function microtime_float() {
    list($usec, $sec) = explode(' ', microtime());
    return (float)$usec + (float)$sec;
}

$start = microtime_float();
for ($i=0; $i<1000000; $i++) isset($test_arr['aa']);
echo "isset 1,000,000: " . (microtime_float() - $start) . "s\n";

$start = microtime_float();
for ($i=0; $i<1000000; $i++) array_key_exists('aa', $test_arr);
echo "array_key_exists 1,000,000: " . (microtime_float() - $start) . "s\n";

$start = microtime_float();
for ($i=0; $i<1000000; $i++) in_array('dd', $test_arr);
echo "in_array 1,000,000: " . (microtime_float() - $start) . "s\n";

/*
典型輸出 (PHP 7.4+):
isset 1,000,000: 0.012s
array_key_exists 1,000,000: 0.028s
in_array 1,000,000: 0.185s
*/

結論：isset() 最快（語言結構），array_key_exists() 次之（函數調用開銷），in_array() 最慢（線性掃描）。高頻熱路徑優先 isset()，需區分 null 值時用 array_key_exists()。

進階：get_defined_vars() 配合檢查變量是否定義

array_key_exists() 可用於檢查當前作用域變量是否定義：

$defined = get_defined_vars();
if ( array_key_exists('myVar', $defined) ) {
    // $myVar 已定義（即使值為 null）
}

最佳實踐決策樹

1. 檢查陣列元素是否設置且非 null → isset($arr[$key]) (最快、最常用)
2. 檢查陣列鍵名是否存在（包含 null 值） → array_key_exists($key, $arr)
3. 檢查變量是否定義（包含 null） → array_key_exists('varName', get_defined_vars())
4. 檢查值是否存在於陣列中 → in_array($value, $arr, true) (嚴格模式)
5. 大量鍵名查找 → 考慮 array_flip($arr) 反轉後用 isset()，或改用 SplFixedArray/Map 結構

常見誤區

• 誤用 isset() 判斷鍵名存在：值為 null 時返回 false，導致邏輯錯誤。
• 誤用 in_array() 判斷鍵名：in_array() 遍歷的是值，且未指定 strict 參數時會發生類型轉換（如 '0' == 0 為 true）。
• 忽略大小寫敏感：PHP 陣列鍵名區分大小寫，array_key_exists('A', $arr) 不會匹配 'a'。

理解本質差異，根據業務語義選擇正確函數，是編寫健壯高效 PHP 代碼的關鍵細節。