下面看一段代码:
这段代码太简单了,但是或许您未必能猜出其值; 这里显然是两个字符串的比较,而且最后一位是不相同的,所以应该输出为空,而实际上输出为:1;
再看这段代码:
这个是字符串的比较,明显前面的小于后面的,输出为:-1; 这个没有疑问;
为什么第一段代码会显示相等呢?可能是PHP做了自动类型转换了,但是有些不太明白,都是字符串,干嘛还要转换呢?先做个测试验证一下:
看看这段代码:
输出结果为空,看来PHP还真是自动转换类型了。
去PHP的源码里面找找,看看怎么处理的:
1. 可能和oprator有关,进入PHP的源码目录
>find . -name ‘*operator*’
./Zend/tests/zend_operators.phpt
./Zend/zend_operators.c
./Zend/zend_operators.h
还果然有
2. 打开zend_operators.c ,查找 == ,确实有些相关的东西
找到了函数:zend_string_to_double ,真的就是通过该函数处理的吗? 用gdb验证一下吧:
将上面第一段代码保存为a.php
> gdb php
> set args a.php
> breakzend_string_to_double
> r
> Program exited normally.
难道没有执行函数zend_string_to_double? 有可能,那么PHP的类型转换是在什么地方进行的呢?我除了知道程序必定经过main函数外,就再也不知道程序会经过哪里,但是我如果就在mian处设置断点,我就很难跟了,怎么办?
这样,我将a.php 写成
sleep(1);
echo"a230119198107190323"=="a230119198107190324";
?>
这次我在 sleep处设置断点就可以了,然后再往下跟就里字符串的比较很近了。事实却是如此,时间不早了;我不在具体调试了,下面直接给出比较时所在的堆栈:
(gdb) bt
#0 zendi_smart_strcmp (result=0xbfe72c7c, s1=0x97c8d0c, s2=0x97c8cec)
at /usr/home/wucheng/software/php/php-5.1.5/Zend/zend_operators.h:76
#1 0x081f29a6 in compare_function (result=0xbfe72c7c, op1=0x97c8d0c, op2=0x97c8cec)
at /usr/home/wucheng/software/php/php-5.1.5/Zend/zend_operators.c:1342
#2 0x081f3cf2 in is_equal_function (result=0xbfe72c7c, op1=0x97c8d0c, op2=0x97c8cec)
at /usr/home/wucheng/software/php/php-5.1.5/Zend/zend_operators.c:1498
#3 0x08267d19 in ZEND_IS_EQUAL_SPEC_CV_CV_HANDLER (execute_data=0xbfe72ca0)
at /usr/home/wucheng/software/php/php-5.1.5/Zend/zend_execute.c:200
#4 0x0820d0a1 in execute (op_array=0x97c9414)
at /usr/home/wucheng/software/php/php-5.1.5/Zend/zend_vm_execute.h:92
#5 0x081f59a2 in zend_execute_scripts (type=8, retval=0x0, file_count=3)
at /usr/home/wucheng/software/php/php-5.1.5/Zend/zend.c:1109
#6 0x081c1dfd in php_execute_script (primary_file=0xbfe751a0)
at /usr/home/wucheng/software/php/php-5.1.5/main/main.c:1737
#7 0x0826e629 in main (argc=2, argv=0xbfe75274)
at /usr/home/wucheng/software/php/php-5.1.5/sapi/cli/php_cli.c:1093
相关参考: http://bugs.php.net/bug.php?id=6019&edit=1