PHP字符串比较

·        作者: Laruence(   )
·        本文地址: http://www.laruence.com/2009/02/21/662.html
·        转载请注明出处
我们在代码中用的最多的逻辑是什么?
你知道如下的几段代码的布尔结果分别是什么么?
1.       var_dump("1" ==
"1e0");
2.       var_dump("1" ==
"0x1");
3.       var_dump("20" ==
"2e1");
4.       var_dump("10" ==
" 0x0a");
等等;
对,
也许你会说在PHP手册的附录中有一部分关于这个问题的总结.
问题是,这只是知其然,
那么所以然是什么呢?
今天就有一个网友问了我一个问题:
1.            var_dump("1"
== "1e0"); 
//true
2.            var_dump("1"
== "1ef");//false
3.           这两个的结果为什么不一样啊．
也就是说,
上面的等式a要成立,
那么唯一的解释就是PHP讲他们双发都当作int来比较.
但是,var_dump(“1e0″),或者var_dump(“1″),都是string啊.
那么,
到底PHP是怎么决定相比较的俩者的类型的呢?
还是老办法,
先从zend_language_scanner.l中找到==的opcode码结果是T_IS_EQUAL
然后在zend_language_parse.y中找到编译器看到T_IS_EQUAL会做什么:
1.             expr T_IS_EQUALexpr            {
zend_do_binary_op(ZEND_IS_EQUAL, &$$, &$1, &$3
TSRMLS_CC); }
那么接下就去zend_vm_def.h中寻找当ZE遇到ZEND_IS_EQUAL会做什么:
1.            ZEND_VM_HANDLER(17,
ZEND_IS_EQUAL, CONST|TMP|VAR|CV, CONST|TMP|VAR|CV)
2.            {
3.                 zend_op*opline =
EX(opline);
4.                 zend_free_opfree_op1, free_op2;
5.        
6.                 is_equal_function(&EX_T(opline->result.u.var).tmp_var,
7.                      GET_OP1_ZVAL_PTR(BP_VAR_R),
8.                      GET_OP2_ZVAL_PTR(BP_VAR_R)
TSRMLS_CC);
9.                 FREE_OP1();
10.              FREE_OP2();
11.              ZEND_VM_NEXT_OPCODE();
12.         }
看来,所有”==”判断都是由is_equal_function完成的,
让我们一起再看看它是什么样的:
1.            ZEND_API int
is_equal_function(zval *result, zval *op1, zval *op2 TSRMLS_DC)
2.            {
3.                 if (compare_function(result,
op1, op2 TSRMLS_CC) == FAILURE) {
4.                      return FAILURE;
5.                 }
6.                 convert_to_boolean(result);
7.                 if (result->value.lval ==
0) {
8.                      result->value.lval =
1;
9.                 }
else {
10.                   result->value.lval =
0;
11.              }
12.              return SUCCESS;
13.         }
哦,
看来不是,
还要进一步查看compare_function
代码太长,
不贴了. 在compare_function中,
当俩个比较操作数都是string的时候,会调用zendi_smart_strcmp:
1.           if (op1->type == IS_STRING && op2->type == IS_STRING) {
2.               zendi_smart_strcmp(result,
op1, op2);
3.               COMPARE_RETURN_AND_FREE(SUCCESS);
4.           }
而在zendi_smart_strcmp中,
对于俩个字符串,
会首先判断他们是否是numeric_string,
如果是,那么就会转换成整形来比较..
那么什么是numeric string呢?
因为PHP不区分类型,
所以她采用一个策略,
当你的变量看起来是一个数字的时候,
那么她就认为这个变量是一个数字.
简单来说, numeric_string就是表示数字的字符串:
也就是说,如下的比较结果都是真:
1.            var_dump("1"
== "1e0");
2.            var_dump("1"
== "0x1");
3.            var_dump("20"
== "2e1");
4.            var_dump("10"
== " 0x0a");
呵呵,
读者们遇到过这个问题的困扰么?