语法：IF判断的实现

面试PHP时经常碰到一种判断各种类型的空值是否为true的题：

$a = '';
$a = null
$a = false;

if($a){...}
if(isset($a)){...}
if(empty($a)){...}
...

由下面的例子我们来简单看下zend引擎中对if是怎么处理的：

$a = ''; //array();if($a){
    echo"Y";
}

这里例子比较简单，结果将什么也不输出。(文中涉及代码均为php-7.0.4版本)

之前的文章介绍过zend执行阶段的入口zend_execute函数，我们直接从这里开始，不熟悉的可以翻一下前面的文章。
编译生成的opcodes如下：

其中opcode=38是$a = ”的执行操作，opcode=43是if的操作，下面具体看这一步是如何执行的。
根据opcode及两个操作数类型可以找到对应的handler为：ZEND_JMPZ_SPEC_CV_HANDLER

//zend_vm_execute.h #28307static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_JMPZ_SPEC_CV_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
{   
    USE_OPLINE

    zval *val;

    val = _get_zval_ptr_cv_undef(execute_data, opline->op1.var);

    if (Z_TYPE_INFO_P(val) == IS_TRUE) { 
        ZEND_VM_SET_NEXT_OPCODE(opline + 1);
        ZEND_VM_CONTINUE();
    } elseif (EXPECTED(Z_TYPE_INFO_P(val) if