php日期字串比較實例

專案中有個功能是比較會員是否過期，review同事的程式碼，發現其寫法比較奇葩，但線上竟也未出現bug。

實作：

$expireTime = "2014-05-01 00:00:00";
$currentTime = date('Y-m-d H:i:s' , time());

if($currentTime  return false;
} else {
 return true;
}

複製程式碼


如果兩個時間需要比較，通常是轉換成unix時間戳，用兩個int型的數字比較。該實作卻刻意將時間表示成string，然後對兩個string進行比較運算。

編譯期 在zend_language_parse.y中可以發現類似下述語法：

expr === expr { zend_do_binary_op(ZEND_IS_IDENTICAL, &$$, &$1, &$3 TSRMLS_CC); }
 zend_do_binary_op(ZEND_IS_NOT_IDENTICAL, &$$, &$1, &$3 TSRMLS_CC); }
expr == expr { zend_do_binary_op(ZEND_IS_EQUAL, &$$, &$1, & zend_do_binary_op(ZEND_IS_EQUAL, &$$, &$1, &$3 TSRM_CC); zend_do_binary_op(ZEND_IS_NOT_EQUAL, &$$, &$1, &$3 TSRMLS_CC); }
expr expr > expr { zend_do_binary_op(ZEND_IS_SMALLER, & >, &$3, &$1 TSRMLS_CC); ZEND_IS_SMALLER_OR_EQUAL, &$$, &$3, &$1 TSRMLS_CC); }


複製程式碼


很明顯，這裡編譯成opcode用的便是zopcode用的便是zop。

zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);

opline->opcode = op;

opline->result.op_type = IS_TMP_Rult_TMP_Rult. .var = get_temporary_variable(CG(active_op_array));

opline->op1 = *op1;

}
 >


複製程式碼


函數並沒有做什麼特別的處理，只是簡單保存了opcode、運算元1和操作數2。

執行期
根據opcode，跳到對應的處理函數：ZEND_IS_SMALLER_SPEC_CONST_CONST_HANDLER。





static int ZEND_FASTCALL ZEND_IS_SMALLER_SPEC_CONST_CONST_HANDLER(ZEND_OPCODE_HANivER_ARGS) zval *result = &EX_T(opline->result.u.var).tmp_var;

ZVAL_BOOL(result, (Z_LVAL_P(result)

注意到，兩個zval的比較是利用compare_function來處理。





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

 while (1) {
 switch (TYPE_PAIRffidf ( op2))) {
 case TYPE_PAIR(IS_LONG, IS_LONG):
 ...
 case TYPE_PAIR(IS_DOUBLE, IS_LONG):
 ...
 case TYPEDOUB_IS_y_
 ...
 ...
 // 兩個字串進行比較

} }} 複製程式碼

此函數例舉了若干種情況，根據本文case，進入zendi_smart_strcmp一窺究竟：

ZEND_API void zendi_smart_strcmp(zval *result, zval *s1, zval *s2) /* {{{ */
{ 🎜> , ret2;
 長 lval1, lval2;
 double dval1, dval2;

 // 嘗試將字串轉成數字型別
 if ((ret1=is_numeric_string(Z_STRVAL, Z_STRLEN_P(s1), &lval1, &dval1, 0)) &&
 (ret2=is_numeric_string(Z_STRVAL_P(s2), Z_STRLEN_P(s2), &lval2, &dval2, 0))) {比較
 ...
 } else {
 // 無法全部轉成數字
 // 則呼叫zend_binary_zval_strcmp
 // 本質為memcmp的一層封裝
 Z_LVAL_🎜> // 本質為memcmp的一層封裝
 Z_LVAL_P(result)_P(result) = zend_binary_zval_strcmp(s1, s2);
 ZVAL_LONG(result, ZEND_NORMALIZE_BOOL(Z_LVAL_P(result)));
 }
}

 zend_uchar type;

 if (!length) { 0🎜;
 }

 /* trim掉字串開頭的空白部分*/
 while (*str == ' ' || *str == 't' || *str == 'n ' || *str == 'r' || *str == 'v' || *str == 'f') {
 str++;
 length--;
 }
 ptr = str;

 if (*ptr == '-' || *ptr == '+') {
 ptr++;
 }

 if (ZEND_IS_DIGIT(*ptr )) {
 /* 判斷是否為16進位*/
 if (length > 2 && *str == '0' && (str[1] == 'x' || str[1] = = 'X')) {
 base = 16;
 ptr += 2;
 }

 /* 忽略後續的若干0 */
 while (*ptr == '0') {
 ptr++;
 }

 /* 計算數字的位數，決定是整型還是浮點*/
 for (type = IS_LONG; !(digits >= MAX_LENGTH_OF_LONG && (dval || allow_errors == 1)); digits++, ptr++) {
check_digits:
 if (ZEND_IS_DIGIT(*ptr) || (base == 16 & ZEND_IS_v) {
 continue;
 } else if (base == 10) {
 if (*ptr == '.' && dp_or_e  goto process_double;
 } elseif (> goto if ( (*ptr == 'e' || *ptr == 'E') && dp_or_e  const char *e = ptr + 1;

 if (*e == '- ' || *e == '+') {
 ptr = e++;
 }
 if (ZEND_IS_DIGIT(*e)) {
 goto process_double;
 }
 }
 }

 break;
 }

 if (base == 10) {
 if (digits >= MAX_LENGTH_OF_LONG) {
 dp_or_g > goto process_double;
 }
 } else if (!(digits  if& ptr[-digits]  if& ptr[-digits] ifif (dval) {
 local_dval = zend_hex_strtod(str, (char **)&ptr);
 }
 type = IS_DOUBLE;
 }
 } else if (*ptr == '.' && ZEND_IS_DIGIT(ptr[1])) {
 // 處理浮點數
 } else {
 return 0;
 }

 // 如果不允許容錯，則報錯退出
 if (ptr != str + length) {
 if (!allow_errors) {
 return 0;
 }
 if (allow_errors == -1) {
 zend_error(E_NOTICE , "A non well formed numeric value encountered");
 }
 }

 // 允許容錯，則嘗試將str轉成數字
 if (type == IS_LONG) {
 if (digits == MAX_LENGTH_OF_LONG - 1) {
 int cmp = strcmp(&ptr[-digits], long_min_digits);
  if (!(cmp. *str == '-'))) {
                if (dval) {
                    *dval = zend_strtod(str, NULL);
                }

                return IS_DOUBLE;
            }
        }

        if (lval) {
            *lval = strtol(str, NULL, base);
        }

        return IS_LONG;
    } else {
 if (dval) {
 *dval = local_dval;
 }

 return IS_DOUBLE;
 }
}


 }
}


 }
}

程式碼比較長，不過仔細閱讀，str轉num的規則還是很清楚的。

尤其註意的是allow_errors這個參數，它直接決定了本例中無法將「2014-05-01 00:00:00」轉換成數字。

因而最後其實「2014-04-17 00:00:00」

既然是memcmp，便不難理解為何文章開始提到的寫法也能正確運作。

容錯轉換 何時allow_errors為true呢？一個極好的例子就是zend_parse_parameters，zend_parse_parameters的實作不再細述，有興趣的讀者可以自行研究。其中呼叫is_numeric_string時將allow_errors置為了-1。

舉個例子：

static void php_date(INTERNAL_FUNCTION_PARAMETERS, int localtime)
{
 charformatts;
 char *string;

 // 期望的第二個參數為timestamp，為long
 // 假設上層呼叫時，誤傳入了string，那麼zend_parse_parameters依然會盡可能的嘗試將string解析為long
 if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "s|l", &format, &format_len, &ts) == FAILURE) {
 RETURN_FALSEd; ) == 1) {
 ts = time(NULL);
 }

 string = php_format_date(format, format_len, ts, localtime TSVALLS_CC); }



複製程式碼


這是php的date函數內部實作。

echo date('Y-m-d', '0-1-2');

複製代碼