深入理解PHP中的empty和isset函数


Posted in PHP onMay 26, 2016

近日被问到PHP中empty和isset函数时怎么判断变量的,刚开始我是一脸懵逼的,因为我自己也只是一知半解,为了弄懂其真正的原理,赶紧翻开源码研究研究。经过分析可发现两个函数调用的都是同一个函数,因此本文将对两个函数一起分析。

我在github有对PHP源码更详细的注解。感兴趣的可以围观一下,给个star。PHP5.4源码注解。可以通过commit记录查看已添加的注解。

函数使用格式

empty

bool empty ( mixed $var )

判断变量是否为空。

isset

bool isset ( mixed $var [ , mixed $... ] )

判断变量是否被设置且不为NULL。

参数说明

对于empty,在PHP5.5版本以前,empty只支持变量参数,其他类型的参数会导致解析错误,比如函数调用的结果不能作为参数。

对于isset,如果变量被如unset的函数设为NULL,则函数会返回false。如果多个参数被传递到isset函数,那么只有所有参数都被设置isset函数才会返回true。从左到右计算,一旦遇到没被设置的变量就停止。

运行示例

$result = empty(0); // true
$result = empty(null); // true
$result = empty(false); // true
$result = empty(array()); // true
$result = empty('0'); // true
$result = empty(1); // false
$result = empty(callback function); // 报错

$a = null;
$result = isset($a); // false;

$a = 1;
$result = isset($a); // true;

$a = 1;$b = 2;$c = 3;
$result = isset($a, $b, $c); // true

$a = 1;$b = null;$c = 3;
$result = isset($a, $b, $c); // false

找到函数的定义位置

实际上,empty不是一个函数,而是一个语言结构。语言结构是在PHP程序运行前编译好的,因此不能像之前那样简单地搜索"PHP_FUNCTION empty"或"ZEND_FUNCTION empty"查看其源码。要想看empty等语言结构的源码,先要理解PHP代码执行的机制。

PHP执行代码会经过4个步骤,其流程图如下所示:

深入理解PHP中的empty和isset函数

在第一个阶段,即Scanning阶段,程序会扫描zend_language_scanner.l文件将代码文件转换成语言片段。对于isset和empty函数来说,在zend_language_scanner.l文件中搜索empty和isset可以得到函数在此文件中的宏定义如下:

<ST_IN_SCRIPTING>"isset" {
return T_ISSET;
}


<ST_IN_SCRIPTING>"empty" {
return T_EMPTY;
}

接下来就到了Parsing阶段,这个阶段,程序将T_ISSET和T_EMPTY等Tokens转换成有意义的表达式,此时会做语法分析,Tokens的yacc保存在zend_language_parser.y文件中,可以找到T_ISSET和T_EMPTY的定义

internal_functions_in_yacc:
T_ISSET '(' isset_variables ')' { $$ = $3; }
| T_EMPTY '(' variable ')' { zend_do_isset_or_isempty(ZEND_ISEMPTY, &$$, &$3 TSRMLS_CC); }
| T_INCLUDE expr { zend_do_include_or_eval(ZEND_INCLUDE, &$$, &$2 TSRMLS_CC); }
| T_INCLUDE_ONCE expr { zend_do_include_or_eval(ZEND_INCLUDE_ONCE, &$$, &$2 TSRMLS_CC); }
| T_EVAL '(' expr ')' { zend_do_include_or_eval(ZEND_EVAL, &$$, &$3 TSRMLS_CC); }
| T_REQUIRE expr { zend_do_include_or_eval(ZEND_REQUIRE, &$$, &$2 TSRMLS_CC); }
| T_REQUIRE_ONCE expr { zend_do_include_or_eval(ZEND_REQUIRE_ONCE, &$$, &$2 TSRMLS_CC); }
;

isset和empty函数最终都执行了zend_do_isset_or_isempty函数,继续查找

grep -rn "zend_do_isset_or_isempty"

可以发现,此函数在zend_compile.c文件中定义。

函数执行步骤

1、解析参数

2、检查是否为可写变量

3、如果是变量的op_type是IS_CV(编译时期的变量),则设置其opcode为ZEND_ISSET_ISEMPTY_VAR;否则从active_op_array中获取下一个op值,根据其op值设置last_op的opcode。

4、设置了opcode之后,之后会交给zend_excute执行。

源码解读

IS_CV是编译器使用的一种cache机制,这种变量保存着它被引用的变量的地址,当一个变量第一次被引用的时候,就会被CV起来,以后这个变量的引用就不需要再去查找active符号表了。

对于empty函数,到了opcode的步骤后,参阅opcode处理函数,可以知道,isset和empty在excute的时候执行的是ZEND_ISSET_ISEMPTY_VAR等一系列函数,以ZEND_ISSET_ISEMPTY_VAR_SPEC_CV_VAR_HANDLER为例,找到这个函数的定义在zend_vm_execute.h。查看函数可以知道,empty函数的最终执行函数是i_zend_is_true(),而i_zend_is_true函数定义在zend_execute.h。i_zend_is_true函数的核心代码如下:

switch (Z_TYPE_P(op)) {
    case IS_NULL:
      result = 0;
      break;
    case IS_LONG:
    case IS_BOOL:
    case IS_RESOURCE:
      // empty参数为整数时非0的话就为false
      result = (Z_LVAL_P(op)?1:0);
      break;
    case IS_DOUBLE:
      result = (Z_DVAL_P(op) ? 1 : 0);
      break;
    case IS_STRING:
      if (Z_STRLEN_P(op) == 0
        || (Z_STRLEN_P(op)==1 && Z_STRVAL_P(op)[0]=='0')) {
        // empty("0") == true
        result = 0;
      } else {
        result = 1;
      }
      break;
    case IS_ARRAY:
      // empty(array) 是根据数组的数量来判断
      result = (zend_hash_num_elements(Z_ARRVAL_P(op))?1:0);
      break;
    case IS_OBJECT:
      if(IS_ZEND_STD_OBJECT(*op)) {
        TSRMLS_FETCH();

        if (Z_OBJ_HT_P(op)->cast_object) {
          zval tmp;
          if (Z_OBJ_HT_P(op)->cast_object(op, &tmp, IS_BOOL TSRMLS_CC) == SUCCESS) {
            result = Z_LVAL(tmp);
            break;
          }
        } else if (Z_OBJ_HT_P(op)->get) {
          zval *tmp = Z_OBJ_HT_P(op)->get(op TSRMLS_CC);
          if(Z_TYPE_P(tmp) != IS_OBJECT) {
            /* for safety - avoid loop */
            convert_to_boolean(tmp);
            result = Z_LVAL_P(tmp);
            zval_ptr_dtor(&tmp);
            break;
          }
        }
      }
      result = 1;
      break;
    default:
      result = 0;
      break;
  }

这段代码比较直观,函数没有对检测值做任何的转换,通过这段代码来进一步分析示例中的empty函数做分析:
empty(null),到IS_NULL分支,result=0,i_zend_is_true() == 0,!i_zend_is_true() == 1,因此返回true。

empty(false),到IS_BOOL分支,result = ZLVAL_P(false) = 0,i_zend_is_true() == 0,!i_zend_is_true() == 1,因此返回true。

empty(array()),到IS_ARRAY分支,result = zend_hash_num_elements(Z_ARRVAL_P(op)) ? 1 : 0),zend_hash_num_elements返回数组元素的数量,array为空,因此result为0,i_zend_is_true() == 0,!i_zend_is_true() == 1,因此返回true。

empty('0'),到IS_STRING分支,因为Z_STRLENP(op) == 1 且 Z_STRVAL_P(op)[0] == '0',因此result为0,i_zend_is_true() == 0,!i_zend_is_true() == 1,因此返回true。

empty(1),到IS_LONG分支,result = Z_LVAL_P(op) = 1,i_zend_is_true == 1,!i_zend_is_true() == 0,因此返回false。

 对于isset函数,最终实现判断的代码是:

if (isset && Z_TYPE_PP(value) != IS_NULL) {
  ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 1);
} else {
  ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 0);
}

只要value被设置了且不为NULL,isset函数就返回true。

小结

这次阅读这两个函数的源码,学习到了:

1、PHP代码在编译期间的执行步骤

2、如何查找PHP语言结构的源码位置

3、如何查找opcode处理函数的具体函数

学无止境,每个人都有自己的短板,只有通过不断学习才能将自己的短板补上。

原创文章,文笔有限,才疏学浅,文中若有不正之处,万望告知。

如果本文对你有帮助,请点下推荐吧,谢谢^_^

以上这篇深入理解PHP中的empty和isset函数就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持三水点靠木。

PHP 相关文章推荐
PHP编程中八种常见的文件操作方式
Nov 19 PHP
php基础知识:类与对象(3) 构造函数和析构函数
Dec 13 PHP
缓存技术详谈―php
Dec 14 PHP
隐藏你的.php文件的实现方法
Mar 19 PHP
php防止sql注入示例分析和几种常见攻击正则表达式
Jan 12 PHP
php调用shell的方法
Nov 05 PHP
wordpress安装过程中遇到中文乱码的处理方法
Apr 21 PHP
php项目中百度 UEditor 简单安装调试和调用
Jul 15 PHP
php中strtotime函数性能分析
Nov 20 PHP
Laravel学习教程之从入口到输出过程详解
Aug 27 PHP
PDO::lastInsertId讲解
Jan 29 PHP
php使用goto实现自动重启swoole、reactphp、workerman服务的代码
Apr 13 PHP
CodeIgniter常用知识点小结
May 26 #PHP
php数组函数array_walk用法示例
May 26 #PHP
PHP发送AT指令实例代码
May 26 #PHP
PHP+sqlite数据库操作示例(创建/打开/插入/检索)
May 26 #PHP
php连接oracle数据库的核心步骤
May 26 #PHP
php连接oracle数据库的方法(测试成功)
May 26 #PHP
PHP封装的MSSql操作类完整实例
May 26 #PHP
You might like
php实现从ftp服务器上下载文件树到本地电脑的程序
2009/02/10 PHP
php递归获取目录内文件(包含子目录)封装类分享
2013/12/25 PHP
php图像处理类实例
2015/07/28 PHP
Nginx实现反向代理
2017/09/20 Servers
javascript radio 联动效果
2009/03/04 Javascript
jquery中实现简单的tabs插件功能的代码
2011/03/02 Javascript
使用indexOf等在JavaScript的数组中进行元素查找和替换
2013/09/18 Javascript
浅析JavaScript中的类型和对象
2013/11/29 Javascript
现如今最流行的JavaScript代码规范
2014/03/08 Javascript
javascript面向对象特性代码实例
2014/06/12 Javascript
JavaScript字符串对象substr方法入门实例(用于截取字符串)
2014/10/16 Javascript
jQuery判断元素上是否绑定了指定事件的方法
2015/03/17 Javascript
Javascript removeChild()删除节点及删除子节点的方法
2015/12/27 Javascript
Javascript 字符串模板的简单实现
2016/02/13 Javascript
Angularjs手动解析表达式($parse)
2016/10/12 Javascript
详解vue-cli 构建项目 vue-cli请求后台接口 vue-cli使用axios、sass、swiper
2018/05/28 Javascript
微信小程序动画(Animation)的实现及执行步骤
2018/10/28 Javascript
webpack常用配置总览(小结)
2019/11/18 Javascript
JavaScript中while循环的基础使用教程
2020/08/11 Javascript
Python最长公共子串算法实例
2015/03/07 Python
Python设计模式之工厂模式简单示例
2018/01/09 Python
Python选择网卡发包及接收数据包
2019/04/04 Python
解决Python安装时报缺少DLL问题【两种解决方法】
2019/07/15 Python
python原类、类的创建过程与方法详解
2019/07/19 Python
python 非线性规划方式(scipy.optimize.minimize)
2020/02/11 Python
canvas画布实现手写签名效果的示例代码
2019/04/23 HTML / CSS
说说你所熟悉或听说过的j2ee中的几种常用模式?及对设计模式的一些看法
2012/05/24 面试题
应付会计岗位职责
2013/12/12 职场文书
六查六看自查材料
2014/02/17 职场文书
有多年工作经验的自我评价
2014/03/02 职场文书
小学国旗下的演讲稿
2014/08/28 职场文书
村主任群众路线个人对照检查材料
2014/09/26 职场文书
公司感恩节活动策划书
2014/10/11 职场文书
学校机关党总支领导班子整改工作方案
2014/10/26 职场文书
党的群众路线教育实践活动个人整改措施范文
2014/11/04 职场文书
2014年班组长工作总结
2014/11/20 职场文书