PHP字串 ==比較子的副作用

複製代碼 代碼如下:$a = '212345678912000005';
$b = '212345678912000001';
var_dump($a == $b);

這段代碼的輸出是bool(true), 說明這樣判斷會得出結論是兩者相等. 類似的特性在in_array()函數第3個參數為false或者不設定的情況. 原因是首先判斷字串是否是數字, 然後轉換成long或者double(C語言資料類型)再判斷 - 使用zendi_smart_strcmp. 但是, 源碼中的注釋說聲明考慮了溢出的情況, 複製代碼 代碼如下:} else if (dval1 == dval2 && !zend_finite(dval1)) {
/* Both values overflowed and have the same sign,
* so a numeric comparison would be inaccurate */
goto string_cmp;
}

dval1和dval2分別是兩個字串轉換為double型後的值. 但為什麼還是這樣呢? 也許這個判斷並不正確. 進一步研究再說...

解決方案, 使用三個等號"==="代替兩個等號"==", in_array()函數設定第三個參數為true: in_array('val', $array, true).