【PHP内核】语法：IF判断的实现

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

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

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

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

<?php
$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<