讲师中心 微信公众号
首页
文章
后端开发 web前端 数据库 开发工具 php框架 常见问题 人工智能 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程 自媒体 新闻
专题
后端开发 web前端 数据库 开发工具 php框架 人工智能 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程 新闻
AI工具
AI 聊天问答 Agent智能体 AI 文本写作 AI 绘画作图 AI 设计工具 AI 视频创作 AI 音频制作 AI 办公学习 AI 编程开发 AI 提示词
学习
大前端 后端开发 数据库 移动端 运维开发 计算机基础
编程手册
大前端 后端开发 数据库 移动端 运维开发 计算机基础
下载
js特效 网站源码 工具下载 类库下载 网站素材 学习资源 插件扩展 手机游戏
最近更新
当前位置：首页 > php教程 > php手册 >

正文

0

0

[PHP源码阅读]empty和isset函数

php中文网

php中文网

发布时间：2016-05-27 08:46:43

|

2159人浏览过

|

来源于php中文网

原创

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

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

函数使用格式

empty

bool empty ( mixed $var )


判断变量是否为空。

 

isset

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

立即学习“PHP免费学习笔记（深入）”；

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

参数说明

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

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

 

运行示例

<span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>(0); <span style="color: #008000;">//</span><span style="color: #008000;"> true</span>
<span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>(<span style="color: #0000ff;">null</span>); <span style="color: #008000;">//</span><span style="color: #008000;"> true<br></span><span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>(<span style="color: #0000ff;">false</span>); <span style="color: #008000;">//</span><span style="color: #008000;"> true</span>
<span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>(<span style="color: #0000ff;">array</span>()); <span style="color: #008000;">//</span><span style="color: #008000;"> true</span>
<span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>('0'); <span style="color: #008000;">//</span><span style="color: #008000;"> true</span>
<span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>(1); <span style="color: #008000;">//</span><span style="color: #008000;"> false</span>
<span style="color: #800080;">$result</span> = <span style="color: #0000ff;">empty</span>(<span style="color: #0000ff;">callback function</span>); <span style="color: #008000;">//</span><span style="color: #008000;"> 报错<br><br>$a = null;<br>$result = isset($a); // false;<br><br>$a = 1;<br>$result = isset($a); // true;<br><br>$a = 1;$b = 2;$c = 3;<br>$result = isset($a, $b, $c); // true<br><br></span>
$a = 1;$b = null;$c = 3;<br>$result = isset($a, $b, $c); // false

 

找到函数的定义位置

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

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

 


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

<ST_IN_SCRIPTING><span style="color: #800000;">"</span><span style="color: #800000;">isset</span><span style="color: #800000;">"</span><span style="color: #000000;"> {
</span><span style="color: #0000ff;">return</span><span style="color: #000000;"> T_ISSET;
}


</span><ST_IN_SCRIPTING><span style="color: #800000;">"</span><span style="color: #800000;">empty</span><span style="color: #800000;">"</span><span style="color: #000000;"> {
</span><span style="color: #0000ff;">return</span><span style="color: #000000;"> T_EMPTY;
}</span>


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

<span style="color: #000000;">internal_functions_in_yacc:
T_ISSET </span><span style="color: #800000;">'</span><span style="color: #800000;">(</span><span style="color: #800000;">'</span> isset_variables <span style="color: #800000;">'</span><span style="color: #800000;">)</span><span style="color: #800000;">'</span> { $$ = $<span style="color: #800080;">3</span><span style="color: #000000;">; }
</span>| T_EMPTY <span style="color: #800000;">'</span><span style="color: #800000;">(</span><span style="color: #800000;">'</span> variable <span style="color: #800000;">'</span><span style="color: #800000;">)</span><span style="color: #800000;">'</span> { zend_do_isset_or_isempty(ZEND_ISEMPTY, &$$, &$<span style="color: #800080;">3</span><span style="color: #000000;"> TSRMLS_CC); }
</span>| T_INCLUDE expr { zend_do_include_or_eval(ZEND_INCLUDE, &$$, &$<span style="color: #800080;">2</span><span style="color: #000000;"> TSRMLS_CC); }
</span>| T_INCLUDE_ONCE expr { zend_do_include_or_eval(ZEND_INCLUDE_ONCE, &$$, &$<span style="color: #800080;">2</span><span style="color: #000000;"> TSRMLS_CC); }
</span>| T_EVAL <span style="color: #800000;">'</span><span style="color: #800000;">(</span><span style="color: #800000;">'</span> expr <span style="color: #800000;">'</span><span style="color: #800000;">)</span><span style="color: #800000;">'</span> { zend_do_include_or_eval(ZEND_EVAL, &$$, &$<span style="color: #800080;">3</span><span style="color: #000000;"> TSRMLS_CC); }
</span>| T_REQUIRE expr { zend_do_include_or_eval(ZEND_REQUIRE, &$$, &$<span style="color: #800080;">2</span><span style="color: #000000;"> TSRMLS_CC); }
</span>| T_REQUIRE_ONCE expr { zend_do_include_or_eval(ZEND_REQUIRE_ONCE, &$$, &$<span style="color: #800080;">2</span><span style="color: #000000;"> TSRMLS_CC); }
;</span>


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函数的核心代码如下：

PHP 网络编程技术与实例(曹衍龙)
PHP 网络编程技术与实例(曹衍龙)

PHP网络编程技术详解由浅入深，全面、系统地介绍了PHP开发技术，并提供了大量实例，供读者实战演练。另外，笔者专门为本书录制了相应的配套教学视频，以帮助读者更好地学习本书内容。这些视频和书中的实例源代码一起收录于配书光盘中。本书共分4篇。第1篇是PHP准备篇，介绍了PHP的优势、开发环境及安装；第2篇是PHP基础篇，介绍了PHP中的常量与变量、运算符与表达式、流程控制以及函数；第3篇是进阶篇，介绍

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

                </span><span style="color: #0000ff;">if</span> (Z_OBJ_HT_P(op)-><span style="color: #000000;">cast_object) {
                    zval tmp;
                    </span><span style="color: #0000ff;">if</span> (Z_OBJ_HT_P(op)->cast_object(op, &tmp, IS_BOOL TSRMLS_CC) ==<span style="color: #000000;"> SUCCESS) {
                        result </span>=<span style="color: #000000;"> Z_LVAL(tmp);
                        </span><span style="color: #0000ff;">break</span><span style="color: #000000;">;
                    }
                } </span><span style="color: #0000ff;">else</span> <span style="color: #0000ff;">if</span> (Z_OBJ_HT_P(op)-><span style="color: #0000ff;">get</span><span style="color: #000000;">) {
                    zval </span>*tmp = Z_OBJ_HT_P(op)-><span style="color: #0000ff;">get</span><span style="color: #000000;">(op TSRMLS_CC);
                    </span><span style="color: #0000ff;">if</span>(Z_TYPE_P(tmp) !=<span style="color: #000000;"> IS_OBJECT) {
                        </span><span style="color: #008000;">/*</span><span style="color: #008000;"> for safety - avoid loop </span><span style="color: #008000;">*/</span><span style="color: #000000;">
                        convert_to_boolean(tmp);
                        result </span>=<span style="color: #000000;"> Z_LVAL_P(tmp);
                        zval_ptr_dtor(</span>&<span style="color: #000000;">tmp);
                        </span><span style="color: #0000ff;">break</span><span style="color: #000000;">;
                    }
                }
            }
            result </span>= <span style="color: #800080;">1</span><span style="color: #000000;">;
            </span><span style="color: #0000ff;">break</span><span style="color: #000000;">;
        </span><span style="color: #0000ff;">default</span><span style="color: #000000;">:
            result </span>= <span style="color: #800080;">0</span><span style="color: #000000;">;
            </span><span style="color: #0000ff;">break</span><span style="color: #000000;">;
    }</span>


这段代码比较直观，函数没有对检测值做任何的转换，通过这段代码来进一步分析示例中的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) !=<span> IS_NULL) {
    ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 1<span>);
} else<span> {
    ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 0<span>);
}</span></span></span></span>

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

 

小结

这次阅读这两个函数的源码，学习到了：

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

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

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

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

 

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

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

 

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


参考文章
opcode处理函数查找：http://www.laruence.com/2008/06/18/221.html
PHPopcode深入理解及PHP代码执行步骤：http://www.php-internals.com/book/?p=chapt02/02-03-03-from-opcode-to-handler

 

更多源码文章，欢迎访问个人主页继续查看：hoohack

PHP速学教程(入门到精通)
PHP速学教程(入门到精通)

PHP怎么学习？PHP怎么入门？PHP在哪学？PHP怎么学才快？不用担心，这里为大家提供了PHP速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！

下载

本站声明：本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn

上一篇：[麦先生]Laravel SQL语句记录方式 下一篇：PHP发送AT指令

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

AI 编程开发AI 聊天问答
豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

AI 编程开发AI大模型
通义千问
通义千问

阿里巴巴推出的全能AI助手

AI 编程开发Agent智能体
腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文档处理AI 聊天问答
文心一言
文心一言

文心一言是百度开发的AI聊天机器人，通过对话可以生成各种形式的内容。

AI 编程开发AI 文本写作
讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具，可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

AI 文本写作中文写作
即梦AI
即梦AI

一站式AI创作平台，免费AI图片和视频生成。

AI 图片处理图片拼接
ChatGPT
ChatGPT

最最强大的AI聊天机器人程序，ChatGPT不单是聊天机器人，还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

AI 编程开发AI 文本写作
智谱清言 - 免费全能的AI助手
智谱清言 - 免费全能的AI助手

智谱清言 - 免费全能的AI助手

AI 编程开发Agent智能体

相关专题

更多
pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法
pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法

本专题系统整理pixiv网页版官网入口及登录访问方式，涵盖官网登录页面直达路径、在线阅读入口及快速进入方法说明，帮助用户高效找到pixiv官方网站，实现便捷、安全的网页端浏览与账号登录体验。

616

2026.02.13

微博网页版主页入口与登录指南_官方网页端快速访问方法
微博网页版主页入口与登录指南_官方网页端快速访问方法

本专题系统整理微博网页版官方入口及网页端登录方式，涵盖首页直达地址、账号登录流程与常见访问问题说明，帮助用户快速找到微博官网主页，实现便捷、安全的网页端登录与内容浏览体验。

194

2026.02.13

Flutter跨平台开发与状态管理实战
Flutter跨平台开发与状态管理实战

本专题围绕Flutter框架展开，系统讲解跨平台UI构建原理与状态管理方案。内容涵盖Widget生命周期、路由管理、Provider与Bloc状态管理模式、网络请求封装及性能优化技巧。通过实战项目演示，帮助开发者构建流畅、可维护的跨平台移动应用。

91

2026.02.13

TypeScript工程化开发与Vite构建优化实践
TypeScript工程化开发与Vite构建优化实践

本专题面向前端开发者，深入讲解 TypeScript 类型系统与大型项目结构设计方法，并结合 Vite 构建工具优化前端工程化流程。内容包括模块化设计、类型声明管理、代码分割、热更新原理以及构建性能调优。通过完整项目示例，帮助开发者提升代码可维护性与开发效率。

20

2026.02.13

Redis高可用架构与分布式缓存实战
Redis高可用架构与分布式缓存实战

本专题围绕 Redis 在高并发系统中的应用展开，系统讲解主从复制、哨兵机制、Cluster 集群模式及数据分片原理。内容涵盖缓存穿透与雪崩解决方案、分布式锁实现、热点数据优化及持久化策略。通过真实业务场景演示，帮助开发者构建高可用、可扩展的分布式缓存系统。

54

2026.02.13

c语言 数据类型
c语言 数据类型

本专题整合了c语言数据类型相关内容，阅读专题下面的文章了解更多详细内容。

29

2026.02.12

雨课堂网页版登录入口与使用指南_官方在线教学平台访问方法
雨课堂网页版登录入口与使用指南_官方在线教学平台访问方法

本专题系统整理雨课堂网页版官方入口及在线登录方式，涵盖账号登录流程、官方直连入口及平台访问方法说明，帮助师生用户快速进入雨课堂在线教学平台，实现便捷、高效的课程学习与教学管理体验。

15

2026.02.12

豆包AI网页版入口与智能创作指南_官方在线写作与图片生成使用方法
豆包AI网页版入口与智能创作指南_官方在线写作与图片生成使用方法

本专题汇总豆包AI官方网页版入口及在线使用方式，涵盖智能写作工具、图片生成体验入口和官网登录方法，帮助用户快速直达豆包AI平台，高效完成文本创作与AI生图任务，实现便捷智能创作体验。

598

2026.02.12

PostgreSQL性能优化与索引调优实战
PostgreSQL性能优化与索引调优实战

本专题面向后端开发与数据库工程师，深入讲解 PostgreSQL 查询优化原理与索引机制。内容包括执行计划分析、常见索引类型对比、慢查询优化策略、事务隔离级别以及高并发场景下的性能调优技巧。通过实战案例解析，帮助开发者提升数据库响应速度与系统稳定性。

56

2026.02.12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

相关下载

更多
PHP 网络编程技术与实例(曹衍龙)

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PHP进阶篇-函数（玉女心经版）
PHP进阶篇-函数（玉女心经版）

共12课时 | 1.8万人学习

最新文章

更多
在python的开发过程中如何进行单链表的实现（代码）
如何理解Elasticsearch单机双节点集群部署
如何理解关于memset函数
启动页进入时有短暂黑屏或白屏现象的终极解决方案
如何把WebStorm上传代码到Git
分布式系统唯一ID生成方案汇总
如何在远程过程调用（RPC）
Visual Studio Code中安装go语言插件
详解Sublime Text 2
用CSS实现的一张图完成的按钮实例
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网：公益在线php培训，帮助PHP学习者快速成长！
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号

  • PHP学习

  • 技术支持

  • 返回顶部