摘要：中不同類型的變量進(jìn)行弱類型比較時(shí)，有其語(yǔ)言本身比較特殊的規(guī)則。方法源碼如下操作數(shù)類型舉例結(jié)果將轉(zhuǎn)換為，進(jìn)行數(shù)字或詞匯比較源碼說明結(jié)果將字符串和資源轉(zhuǎn)換成數(shù)字，按普通數(shù)學(xué)比較源碼說明其他各類型比較規(guī)則見于源碼

PHP 中不同類型的變量進(jìn)行弱類型比較時(shí)，有其語(yǔ)言本身比較特殊的規(guī)則。本文就起比較規(guī)則，就其源碼角度進(jìn)行解釋。

PHP-version:5.3

參考: PHP.net

通過詞法分析／語(yǔ)法分析／利用vld查看opcode，我發(fā)現(xiàn) PHP 源碼中，比較操作符實(shí)現(xiàn)的核心方法是 compare_function，位于 Zend/zend_operators.c +1376

如上圖示，通過 Zend/zend_language_scanner.l +1201 詞法分析規(guī)則，得到 == 對(duì)應(yīng)的 Token 為：T_IS_EQUAL

在 Zend/zend_language_parser.y 搜索上一步得到的 Token 值，得到語(yǔ)法分析中調(diào)用生成 opcode 的方法為：zend_do_binary_op，同時(shí)看到 == 所對(duì)應(yīng)的 opcode 為 ZEND_IS_EQUAL

opcode 對(duì)應(yīng)的調(diào)用函數(shù)實(shí)現(xiàn)于 Zend/zend_vm_execute.h 文件中，在此文件中搜索 ZEND_IS_EQUAL 得到如下的函數(shù)列表：

方法均以 ZEND_IS_EQUAL_SPEC 開頭，名字后綴受 == 兩個(gè)操作數(shù)的 zval 類型影響，具體的類型可以通過 vld 查看，如：

猜測(cè)是左操作數(shù)的類型 + 右操作數(shù)的類型。
以上圖為例，左操作數(shù)類型為 IS_CONST， 右操作數(shù)類型為 IS_CV，則對(duì)應(yīng)的處理方法應(yīng)該是：ZEND_IS_EQUAL_SPEC_CONST_CV_HANDLER
（注：這種確認(rèn) handler 的方法只是經(jīng)驗(yàn)規(guī)則，還有待源碼驗(yàn)證）

以上的推測(cè)正確與否，不影響我們接下來的判斷，因?yàn)槲覀儼l(fā)現(xiàn)這些方法都會(huì)調(diào)用同一個(gè)核心方法 compare_function，比較的規(guī)則就在這個(gè)方法中。通過看此方法源碼，比較規(guī)則一目了然。

compare_function 方法源碼如下:

ZEND_API int compare_function(zval *result, zval *op1, zval *op2 TSRMLS_DC) /* {{{ */
{
    int ret;
    int converted = 0;
    zval op1_copy, op2_copy;
    zval *op_free;

    while (1) {
        switch (TYPE_PAIR(Z_TYPE_P(op1), Z_TYPE_P(op2))) {
            case TYPE_PAIR(IS_LONG, IS_LONG):
                ZVAL_LONG(result, Z_LVAL_P(op1)>Z_LVAL_P(op2)?1:(Z_LVAL_P(op1)compare_objects(op1, op2 TSRMLS_CC));
                    return SUCCESS;
                }
                /* break missing intentionally */

            default:
                if (Z_TYPE_P(op1) == IS_OBJECT) {
                    if (Z_OBJ_HT_P(op1)->get) {
                        op_free = Z_OBJ_HT_P(op1)->get(op1 TSRMLS_CC);
                        ret = compare_function(result, op_free, op2 TSRMLS_CC);
                        zend_free_obj_get_result(op_free TSRMLS_CC);
                        return ret;
                    } else if (Z_TYPE_P(op2) != IS_OBJECT && Z_OBJ_HT_P(op1)->cast_object) {
                        ALLOC_INIT_ZVAL(op_free);
                        if (Z_OBJ_HT_P(op1)->cast_object(op1, op_free, Z_TYPE_P(op2) TSRMLS_CC) == FAILURE) {
                            ZVAL_LONG(result, 1);
                            zend_free_obj_get_result(op_free TSRMLS_CC);
                            return SUCCESS;
                        }
                        ret = compare_function(result, op_free, op2 TSRMLS_CC);
                        zend_free_obj_get_result(op_free TSRMLS_CC);
                        return ret;
                    }
                }
                if (Z_TYPE_P(op2) == IS_OBJECT) {
                    if (Z_OBJ_HT_P(op2)->get) {
                        op_free = Z_OBJ_HT_P(op2)->get(op2 TSRMLS_CC);
                        ret = compare_function(result, op1, op_free TSRMLS_CC);
                        zend_free_obj_get_result(op_free TSRMLS_CC);
                        return ret;
                    } else if (Z_TYPE_P(op1) != IS_OBJECT && Z_OBJ_HT_P(op2)->cast_object) {
                        ALLOC_INIT_ZVAL(op_free);
                        if (Z_OBJ_HT_P(op2)->cast_object(op2, op_free, Z_TYPE_P(op1) TSRMLS_CC) == FAILURE) {
                            ZVAL_LONG(result, -1);
                            zend_free_obj_get_result(op_free TSRMLS_CC);
                            return SUCCESS;
                        }
                        ret = compare_function(result, op1, op_free TSRMLS_CC);
                        zend_free_obj_get_result(op_free TSRMLS_CC);
                        return ret;
                    } else if (Z_TYPE_P(op1) == IS_OBJECT) {
                        ZVAL_LONG(result, 1);
                        return SUCCESS;
                    }
                }
                if (!converted) {
                    if (Z_TYPE_P(op1) == IS_NULL) {
                        zendi_convert_to_boolean(op2, op2_copy, result);
                        ZVAL_LONG(result, Z_LVAL_P(op2) ? -1 : 0);
                        return SUCCESS;
                    } else if (Z_TYPE_P(op2) == IS_NULL) {
                        zendi_convert_to_boolean(op1, op1_copy, result);
                        ZVAL_LONG(result, Z_LVAL_P(op1) ? 1 : 0);
                        return SUCCESS;
                    } else if (Z_TYPE_P(op1) == IS_BOOL) {
                        zendi_convert_to_boolean(op2, op2_copy, result);
                        ZVAL_LONG(result, ZEND_NORMALIZE_BOOL(Z_LVAL_P(op1) - Z_LVAL_P(op2)));
                        return SUCCESS;
                    } else if (Z_TYPE_P(op2) == IS_BOOL) {
                        zendi_convert_to_boolean(op1, op1_copy, result);
                        ZVAL_LONG(result, ZEND_NORMALIZE_BOOL(Z_LVAL_P(op1) - Z_LVAL_P(op2)));
                        return SUCCESS;
                    } else {
                        zendi_convert_scalar_to_number(op1, op1_copy, result);
                        zendi_convert_scalar_to_number(op2, op2_copy, result);
                        converted = 1;
                    }
                } else if (Z_TYPE_P(op1)==IS_ARRAY) {
                    ZVAL_LONG(result, 1);
                    return SUCCESS;
                } else if (Z_TYPE_P(op2)==IS_ARRAY) {
                    ZVAL_LONG(result, -1);
                    return SUCCESS;
                } else if (Z_TYPE_P(op1)==IS_OBJECT) {
                    ZVAL_LONG(result, 1);
                    return SUCCESS;
                } else if (Z_TYPE_P(op2)==IS_OBJECT) {
                    ZVAL_LONG(result, -1);
                    return SUCCESS;
                } else {
                    ZVAL_LONG(result, 0);
                    return FAILURE;
                }
        }
    }
}

結(jié)果：將 NULL 轉(zhuǎn)換為 ""，進(jìn)行數(shù)字或詞匯比較

源碼說明：

結(jié)果：將字符串和資源轉(zhuǎn)換成數(shù)字，按普通數(shù)學(xué)比較

源碼說明：