PHP in_array() 嚴格模式陷阱：型別轉換導致誤判與最佳實踐

經典陷阱

<?php
var_dump(in_array(0, ['a', 'b'])); // bool(true) ❌ 預期 false
?>

原因分析

非嚴格模式 ($strict=false 預設) 下，PHP 依型別轉換規則比較：

• 0 (int) vs 'a' (string) → 字串轉整數 → 'a' → 0
• 0 == 0 → true

同理：

<?php
in_array(null, ['']);        // true
in_array(false, [0]);         // true
in_array('1', [1]);           // true
in_array([], [0]);            // true (array → 1, 0==1? false... 複雜)
?>

解決方案：嚴格模式

<?php
var_dump(in_array(0, ['a', 'b'], true)); // bool(false) ✅
// 第三參數 $strict = true：同時比較值與型別
?>

最佳實踐建議

1. 預設啟用嚴格模式：in_array($needle, $haystack, true)
2. 若確需鬆散比較，明確註解說明原因
3. 陣列值型別統一 (全字串/全整數) 可減少意外
4. 效能敏感場合：isset($map[$key]) (O(1)) 替代 in_array (O(n))

對比：搜尋鍵名用 isset/array_key_exists

<?php
$arr = ['a' => 1, 'b' => 2];

// 搜尋值
in_array(1, $arr, true); // true

// 搜尋鍵 (快得多)
isset($arr['a']);           // true, O(1)
array_key_exists('a', $arr); // true, O(1) 但檢查 null 值鍵
?>

結語

in_array() 預設非嚴格模式極易因 PHP 型別轉換產生誤判。**永遠加上第三參數 true**，除非有極充分理由且已驗證資料型別單一性。