PHP字符串==比较的副作用

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).