php日期字符串比较实例

WBOY
Lepaskan: 2016-07-25 09:13:13
asal
940 orang telah melayarinya

项目中有个功能是比较会员是否过期,review同事的代码,发现其写法比较奇葩,但线上竟也未出现bug。

实现:

  1. $expireTime = "2014-05-01 00:00:00";
  2. $currentTime = date('Y-m-d H:i:s', time());
  3. if($currentTime return false;
  4. } else {
  5. return true;
  6. }
复制代码

如果两个时间需要进行比较,通常是转换成unix时间戳,用两个int型的数字进行比较。该实现却特意将时间表示成string,然后对两个string进行比较运算。

撇开写法不谈,我很好奇的是php内部是如何进行比较的。

闲话少说,还是从源码开始跟踪。

编译期 在zend_language_parse.y中可以发现类似下述语法:

  1. expr === expr { zend_do_binary_op(ZEND_IS_IDENTICAL, &$$, &$1, &$3 TSRMLS_CC); }
  2. expr !== expr { zend_do_binary_op(ZEND_IS_NOT_IDENTICAL, &$$, &$1, &$3 TSRMLS_CC); }
  3. expr == expr { zend_do_binary_op(ZEND_IS_EQUAL, &$$, &$1, &$3 TSRMLS_CC); }
  4. expr != expr { zend_do_binary_op(ZEND_IS_NOT_EQUAL, &$$, &$1, &$3 TSRMLS_CC); }
  5. expr expr expr > expr { zend_do_binary_op(ZEND_IS_SMALLER, &$$, &$3, &$1 TSRMLS_CC); }
  6. expr >= expr { zend_do_binary_op(ZEND_IS_SMALLER_OR_EQUAL, &$$, &$3, &$1 TSRMLS_CC); }
复制代码

很明显,此处编译成opcode用的便是zend_do_binary_op。

  1. void zend_do_binary_op(zend_uchar op, znode *result, const znode *op1, const znode *op2 TSRMLS_DC) /* {{{ */
  2. {
  3. zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
  4. opline->opcode = op;
  5. opline->result.op_type = IS_TMP_VAR;
  6. opline->result.u.var = get_temporary_variable(CG(active_op_array));
  7. opline->op1 = *op1;
  8. opline->op2 = *op2;
  9. *result = opline->result;
  10. }
复制代码

该函数并没有做什么特别的处理,仅仅是简单保存了opcode、操作数1和操作数2。

执行期 根据opcode,跳转到相应的处理函数:ZEND_IS_SMALLER_SPEC_CONST_CONST_HANDLER。

  1. static int ZEND_FASTCALL ZEND_IS_SMALLER_SPEC_CONST_CONST_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
  2. {
  3. zend_op *opline = EX(opline);
  4. zval *result = &EX_T(opline->result.u.var).tmp_var;
  5. compare_function(result,
  6. &opline->op1.u.constant,
  7. &opline->op2.u.constant TSRMLS_CC);
  8. ZVAL_BOOL(result, (Z_LVAL_P(result)
  9. ZEND_VM_NEXT_OPCODE();
  10. }
复制代码

注意到,两个zval的比较是利用compare_function来处理。

  1. ZEND_API int compare_function(zval *result, zval *op1, zval *op2 TSRMLS_DC) /* {{{ */
  2. {
  3. int ret;
  4. int converted = 0;
  5. zval op1_copy, op2_copy;
  6. zval *op_free;
  7. while (1) {
  8. switch (TYPE_PAIR(Z_TYPE_P(op1), Z_TYPE_P(op2))) {
  9. case TYPE_PAIR(IS_LONG, IS_LONG):
  10. ...
  11. case TYPE_PAIR(IS_DOUBLE, IS_LONG):
  12. ...
  13. case TYPE_PAIR(IS_DOUBLE, IS_DOUBLE):
  14. ...
  15. ...
  16. // 两个字符串进行比较
  17. case TYPE_PAIR(IS_STRING, IS_STRING):
  18. zendi_smart_strcmp(result, op1, op2);
  19. return SUCCESS;
  20. ...
  21. }
  22. }
  23. }
复制代码

该函数例举了若干种情况,根据本文case,进入zendi_smart_strcmp一窥究竟:

  1. ZEND_API void zendi_smart_strcmp(zval *result, zval *s1, zval *s2) /* {{{ */
  2. {
  3. int ret1, ret2;
  4. long lval1, lval2;
  5. double dval1, dval2;
  6. // 尝试将字符串转成数字类型
  7. if ((ret1=is_numeric_string(Z_STRVAL_P(s1), Z_STRLEN_P(s1), &lval1, &dval1, 0)) &&
  8. (ret2=is_numeric_string(Z_STRVAL_P(s2), Z_STRLEN_P(s2), &lval2, &dval2, 0))) {
  9. // 进行数字之间的比较
  10. ...
  11. } else {
  12. // 无法全部转成数字
  13. // 则调用zend_binary_zval_strcmp
  14. // 本质为memcmp的一层封装
  15. Z_LVAL_P(result) = zend_binary_zval_strcmp(s1, s2);
  16. ZVAL_LONG(result, ZEND_NORMALIZE_BOOL(Z_LVAL_P(result)));
  17. }
  18. }
复制代码

那么“2014-05-01 00:00:00”能否转化成数字么?

还是得看下is_numeric_string的实现规则。

  1. static inline zend_uchar is_numeric_string(const char *str, int length, long *lval, double *dval, int allow_errors)
  2. {
  3. const char *ptr;
  4. int base = 10, digits = 0, dp_or_e = 0;
  5. double local_dval;
  6. zend_uchar type;
  7. if (!length) {
  8. return 0;
  9. }
  10. /* trim掉字符串开头的空白部分 */
  11. while (*str == ' ' || *str == '\t' || *str == '\n' || *str == '\r' || *str == '\v' || *str == '\f') {
  12. str++;
  13. length--;
  14. }
  15. ptr = str;
  16. if (*ptr == '-' || *ptr == '+') {
  17. ptr++;
  18. }
  19. if (ZEND_IS_DIGIT(*ptr)) {
  20. /* 判断是否为16进制 */
  21. if (length > 2 && *str == '0' && (str[1] == 'x' || str[1] == 'X')) {
  22. base = 16;
  23. ptr += 2;
  24. }
  25. /* 忽略后续的若干0 */
  26. while (*ptr == '0') {
  27. ptr++;
  28. }
  29. /* 计算数字的位数,并决定是整型还是浮点 */
  30. for (type = IS_LONG; !(digits >= MAX_LENGTH_OF_LONG && (dval || allow_errors == 1)); digits++, ptr++) {
  31. check_digits:
  32. if (ZEND_IS_DIGIT(*ptr) || (base == 16 && ZEND_IS_XDIGIT(*ptr))) {
  33. continue;
  34. } else if (base == 10) {
  35. if (*ptr == '.' && dp_or_e goto process_double;
  36. } else if ((*ptr == 'e' || *ptr == 'E') && dp_or_e const char *e = ptr + 1;
  37. if (*e == '-' || *e == '+') {
  38. ptr = e++;
  39. }
  40. if (ZEND_IS_DIGIT(*e)) {
  41. goto process_double;
  42. }
  43. }
  44. }
  45. break;
  46. }
  47. if (base == 10) {
  48. if (digits >= MAX_LENGTH_OF_LONG) {
  49. dp_or_e = -1;
  50. goto process_double;
  51. }
  52. } else if (!(digits if (dval) {
  53. local_dval = zend_hex_strtod(str, (char **)&ptr);
  54. }
  55. type = IS_DOUBLE;
  56. }
  57. } else if (*ptr == '.' && ZEND_IS_DIGIT(ptr[1])) {
  58. // 处理浮点数
  59. } else {
  60. return 0;
  61. }
  62. // 如果不允许容错,则报错退出
  63. if (ptr != str + length) {
  64. if (!allow_errors) {
  65. return 0;
  66. }
  67. if (allow_errors == -1) {
  68. zend_error(E_NOTICE, "A non well formed numeric value encountered");
  69. }
  70. }
  71. // 允许容错,则尝试将str转成数字
  72. if (type == IS_LONG) {
  73. if (digits == MAX_LENGTH_OF_LONG - 1) {
  74. int cmp = strcmp(&ptr[-digits], long_min_digits);
  75. if (!(cmp if (dval) {
  76. *dval = zend_strtod(str, NULL);
  77. }
  78. return IS_DOUBLE;
  79. }
  80. }
  81. if (lval) {
  82. *lval = strtol(str, NULL, base);
  83. }
  84. return IS_LONG;
  85. } else {
  86. if (dval) {
  87. *dval = local_dval;
  88. }
  89. return IS_DOUBLE;
  90. }
  91. }
复制代码

代码比较长,不过仔细阅读,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。

举个例子:

  1. static void php_date(INTERNAL_FUNCTION_PARAMETERS, int localtime)
  2. {
  3. char *format;
  4. int format_len;
  5. long ts;
  6. char *string;
  7. // 期望的第二个参数为timestamp,为long
  8. // 假设上层调用时,误传入了string,那么zend_parse_parameters依然会尽可能的尝试将string解析为long
  9. if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "s|l", &format, &format_len, &ts) == FAILURE) {
  10. RETURN_FALSE;
  11. }
  12. if (ZEND_NUM_ARGS() == 1) {
  13. ts = time(NULL);
  14. }
  15. string = php_format_date(format, format_len, ts, localtime TSRMLS_CC);
  16. RETVAL_STRING(string, 0);
  17. }
复制代码

这是php的date函数内部实现。

在调用date时,如果将第二个参数传入string,效果如下:

  1. echo date('Y-m-d', '0-1-2');
  2. // 输出
  3. PHP Notice: A non well formed numeric value encountered in Command line code on line 1
  4. 1970-01-01
复制代码

虽然报出notice级别的错误,但依然成功将'0-1-2'转成了0



Label berkaitan:
sumber:php.cn
Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan
Tentang kita Penafian Sitemap
Laman web PHP Cina:Latihan PHP dalam talian kebajikan awam,Bantu pelajar PHP berkembang dengan cepat!