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

php中文网

发布时间：2016-06-13 08:39:01

1432人浏览过

来源于php中文网

原创

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

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

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

函数使用格式

empty

<p>bool empty ( mixed $var )</p>

判断变量是否为空。

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

isset

<p>bool isset ( mixed $var [ , mixed $... ] )</p>

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

参数说明

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

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

运行示例

<span>$result</span> = <span>empty</span>(0); <span>//</span><span> true</span>
<span>$result</span> = <span>empty</span>(<span>null</span>); <span>//</span><span> true<br></span><span>$result</span> = <span>empty</span>(<span>false</span>); <span>//</span><span> true</span>
<span>$result</span> = <span>empty</span>(<span>array</span>()); <span>//</span><span> true</span>
<span>$result</span> = <span>empty</span>('0'); <span>//</span><span> true</span>
<span>$result</span> = <span>empty</span>(1); <span>//</span><span> false</span>
<span>$result</span> = <span>empty</span>(<span>callback function</span>); <span>//</span><span> 报错<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个步骤，其流程图如下所示：

"isset" { return T_ISSET; } "empty" { return T_EMPTY; }

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

<span>internal_functions_in_yacc:
T_ISSET </span><span>'</span><span>(</span><span>'</span> isset_variables <span>'</span><span>)</span><span>'</span> { $$ = $<span>3</span><span>; }
</span>| T_EMPTY <span>'</span><span>(</span><span>'</span> variable <span>'</span><span>)</span><span>'</span> { zend_do_isset_or_isempty(ZEND_ISEMPTY, &$$, &$<span>3</span><span> TSRMLS_CC); }
</span>| T_INCLUDE expr { zend_do_include_or_eval(ZEND_INCLUDE, &$$, &$<span>2</span><span> TSRMLS_CC); }
</span>| T_INCLUDE_ONCE expr { zend_do_include_or_eval(ZEND_INCLUDE_ONCE, &$$, &$<span>2</span><span> TSRMLS_CC); }
</span>| T_EVAL <span>'</span><span>(</span><span>'</span> expr <span>'</span><span>)</span><span>'</span> { zend_do_include_or_eval(ZEND_EVAL, &$$, &$<span>3</span><span> TSRMLS_CC); }
</span>| T_REQUIRE expr { zend_do_include_or_eval(ZEND_REQUIRE, &$$, &$<span>2</span><span> TSRMLS_CC); }
</span>| T_REQUIRE_ONCE expr { zend_do_include_or_eval(ZEND_REQUIRE_ONCE, &$$, &$<span>2</span><span> 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开发技术，并提供了大量实例，供读者实战演练。另外，笔者专门为本书录制了相应的配套教学视频，以帮助读者更好地学习本书内容。这些视频和书中的实例源代码一起收录于配书光盘中。本书共分4篇。第1篇是PHP准备篇，介绍了PHP的优势、开发环境及安装；第2篇是PHP基础篇，介绍了PHP中的常量与变量、运算符与表达式、流程控制以及函数；第3篇是进阶篇，介绍

下载

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

                </span><span>if</span> (Z_OBJ_HT_P(op)-><span>cast_object) {
                    zval tmp;
                    </span><span>if</span> (Z_OBJ_HT_P(op)->cast_object(op, &tmp, IS_BOOL TSRMLS_CC) ==<span> SUCCESS) {
                        result </span>=<span> Z_LVAL(tmp);
                        </span><span>break</span><span>;
                    }
                } </span><span>else</span> <span>if</span> (Z_OBJ_HT_P(op)-><span>get</span><span>) {
                    zval </span>*tmp = Z_OBJ_HT_P(op)-><span>get</span><span>(op TSRMLS_CC);
                    </span><span>if</span>(Z_TYPE_P(tmp) !=<span> IS_OBJECT) {
                        </span><span>/*</span><span> for safety - avoid loop </span><span>*/</span><span>
                        convert_to_boolean(tmp);
                        result </span>=<span> Z_LVAL_P(tmp);
                        zval_ptr_dtor(</span>&<span>tmp);
                        </span><span>break</span><span>;
                    }
                }
            }
            result </span>= <span>1</span><span>;
            </span><span>break</span><span>;
        </span><span>default</span><span>:
            result </span>= <span>0</span><span>;
            </span><span>break</span><span>;
    }</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速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！

下载

相关专题

Swift iOS架构设计与MVVM模式实战

本专题聚焦 Swift 在 iOS 应用架构设计中的实践，系统讲解 MVVM 模式的核心思想、数据绑定机制、模块拆分策略以及组件化开发方法。内容涵盖网络层封装、状态管理、依赖注入与性能优化技巧。通过完整项目案例，帮助开发者构建结构清晰、可维护性强的 iOS 应用架构体系。

2026.03.03

C++高性能网络编程与Reactor模型实践

本专题围绕 C++ 在高性能网络服务开发中的应用展开，深入讲解 Socket 编程、多路复用机制、Reactor 模型设计原理以及线程池协作策略。内容涵盖 epoll 实现机制、内存管理优化、连接管理策略与高并发场景下的性能调优方法。通过构建高并发网络服务器实战案例，帮助开发者掌握 C++ 在底层系统与网络通信领域的核心技术。

2026.03.03

Golang 测试体系与代码质量保障：工程级可靠性建设

Go语言测试体系与代码质量保障聚焦于构建工程级可靠性系统。本专题深入解析Go的测试工具链（如go test）、单元测试、集成测试及端到端测试实践，结合代码覆盖率分析、静态代码扫描（如go vet）和动态分析工具，建立全链路质量监控机制。通过自动化测试框架、持续集成（CI）流水线配置及代码审查规范，实现测试用例管理、缺陷追踪与质量门禁控制，确保代码健壮性与可维护性，为高可靠性工程系统提供质量保障。

2026.02.28

Golang 工程化架构设计：可维护与可演进系统构建

Go语言工程化架构设计专注于构建高可维护性、可演进的企业级系统。本专题深入探讨Go项目的目录结构设计、模块划分、依赖管理等核心架构原则，涵盖微服务架构、领域驱动设计(DDD)在Go中的实践应用。通过实战案例解析接口抽象、错误处理、配置管理、日志监控等关键工程化技术，帮助开发者掌握构建稳定、可扩展Go应用的最佳实践方法。

2026.02.28

Golang 性能分析与运行时机制：构建高性能程序

Go语言以其高效的并发模型和优异的性能表现广泛应用于高并发、高性能场景。其运行时机制包括 Goroutine 调度、内存管理、垃圾回收等方面，深入理解这些机制有助于编写更高效稳定的程序。本专题将系统讲解 Golang 的性能分析工具使用、常见性能瓶颈定位及优化策略，并结合实际案例剖析 Go 程序的运行时行为，帮助开发者掌握构建高性能应用的关键技能。

2026.02.28