PHP in_array() 函數隱藏型別轉換陷阱深度探究

現象重現

<?php
$a = ["1,2,3", "4"];
if (in_array(1, $a)) {  // 參數 1 是整數，未加引號
    echo "條件成立";    // 竟然輸出「條件成立」！
}

深度測試與結論

根本原因：PHP 弱型別比較機制

in_array() 預設使用非嚴格模式（loose comparison），遵循 PHP 型別轉換規則：

• 數字與字串比較時，字串會被轉換為數字
• "1,2,3" 轉整數 → 1（取開頭數字部分）
• "mc6" 轉整數 → 0（非數字開頭）
• 0 == "任何非數字開頭字串" 為 true

解決方案：啟用嚴格模式

<?php
// 第三個參數設為 true，啟用嚴格型別檢查
in_array($needle, $haystack, true);

嚴格模式下： 型別與值必須同時相等，上述所有「誤判」案例均會回傳 false。

最佳實踐建議

1. 永遠預設使用嚴格模式：in_array($v, $arr, true)
2. 若確定陣列元素皆為純數字/純字串，再考慮非嚴格模式
3. 效能敏感場景考慮 isset($map[$key]) 陣列鍵值查找（O(1)）替代 in_array（O(n)）

理解 PHP 型別轉換規則，是避開 in_array 等函數隱藏坑點的關鍵。