復制代碼 代碼如下:
$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).
