PHP in_array() 函數型別比較陷阱與最佳實踐

深入理解 in_array() 嚴格模式與型別轉換行為

PHP in_array() 預設使用鬆散比較（loose comparison），會自動進行型別轉換，導致許多非預期的匹配結果。本文透過實例揭示常見陷阱，並說明如何正確使用嚴格模式避免錯誤。

經典陷阱案例

<?php
$a = array("1,2,3", "4");

// 案例 1：數字 1 匹配字串 "1,2,3"
var_dump(in_array(1, $a));        // true (非預期)

// 案例 2：字串 '1' 不匹配
var_dump(in_array('1', $a));      // false

// 案例 3：字串 'a' 不匹配 "a,2,3"
$b = array("a,2,3", "4");
var_dump(in_array('a', $b));      // false

根本原因：PHP 型別轉換規則

• 當比較數字與字串時，字串會被轉換為數字
• "1,2,3" 轉數字變成 1（取開頭數字直到非數字字元）
• "a,2,3" 轉數字變成 0（非數字開頭）
• 因此 in_array(1, ["1,2,3"]) 實際比較 1 == 1 為 true

更危險的案例：陣列包含 0

<?php
$a = array(0, "m");
var_dump(in_array('mc6', $a));    // true! 因為 'mc6' 轉數字為 0
var_dump(in_array('abc', $a));    // true! 同理

任何非數字開頭的字串轉數字皆為 0，若陣列含整數 0，皆會匹配成功。

解決方案：啟用嚴格模式

<?php
$a = array("1,2,3", "4");
var_dump(in_array(1, $a, true));   // false (嚴格模式)
var_dump(in_array('1', $a, true)); // false
var_dump(in_array("1,2,3", $a, true)); // true

第三個參數設為 true 啟用嚴格模式，同時檢查值與型別必須完全相同。

最佳實踐建議

1. 永遠預設使用嚴格模式：in_array($needle, $haystack, true)
2. 若確定資料型別一致（如全為整數 ID），可省略第三參數
3. 處理使用者輸入時，先統一轉型：in_array((string)$id, $ids, true)
4. 大量資料查找考慮使用 array_flip() + isset() 提升效能

相關函數比較