首页 / PHP / 语法：IF判断的实现
语法：IF判断的实现
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了语法：IF判断的实现，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含2810字，纯文字阅读大概需要5分钟。
内容图文
面试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) <= IS_TRUE)) {
if (IS_CV == IS_CV && UNEXPECTED(Z_TYPE_INFO_P(val) == IS_UNDEF)) {
SAVE_OPLINE();
GET_OP1_UNDEF_CV(val, BP_VAR_R);
ZEND_VM_JMP(OP_JMP_ADDR(opline, opline->op2));
} else {
ZEND_VM_SET_OPCODE(OP_JMP_ADDR(opline, opline->op2));
ZEND_VM_CONTINUE();
}
}
SAVE_OPLINE();
if (i_zend_is_true(val)) {
opline++;
} else {
opline = OP_JMP_ADDR(opline, opline->op2);
}
if (UNEXPECTED(EG(exception) != NULL)) {
HANDLE_EXCEPTION();
}
ZEND_VM_JMP(opline);
}从这个函数可以看出if的执行过程：如果条件为true的话则opline++，顺序执行下一条opcode（即if内语句），否则进行跳转，跳过if内语句直接执行if外语句。
i_zend_is_true这个函数就是用来判断各种类型的值是否为真，前面那部分是判断是否为bool型，是的话则直接处理。
//zend_operators.h #283
static zend_always_inline int i_zend_is_true(zval *op)
{
int result = 0;
again:
switch (Z_TYPE_P(op)) {
caseIS_TRUE:
result = 1;
break;
//数值类型long、double直接判断即可，与c用法相同
caseIS_LONG:
if (Z_LVAL_P(op)) {
result = 1;
}
break;
caseIS_DOUBLE:
if (Z_DVAL_P(op)) {
result = 1;
}
break;
//字符串类型根据长度判断：长度>1，或=1且不为'0'为true，所以上面那个例子'' =>falsecaseIS_STRING:
if (Z_STRLEN_P(op) > 1 || (Z_STRLEN_P(op) && Z_STRVAL_P(op)[0] != '0')) {
result = 1;
}
break;
//数组类型根据数组元素的个数判断：大于0即为真
caseIS_ARRAY:
if(zend_hash_num_elements(Z_ARRVAL_P(op))) { // (Z_ARRVAL_P(op))->nNumOfElements
result = 1;
}
break;
caseIS_OBJECT:
result = zend_object_is_true(op);
break;
//资源类型实际就是整形（后续会专门介绍资源类型），所以直接判断即可
caseIS_RESOURCE:
if (EXPECTED(Z_RES_HANDLE_P(op))) {
result = 1;
}
break;
//引用类型则根据指向的值判断
caseIS_REFERENCE:
op = Z_REFVAL_P(op);
goto again;
break;
default:
break;
}
return result;
}isset、empty函数后续补充……
').addClass('pre-numbering').hide(); $(this).addClass('has-numbering').parent().append($numbering); for (i = 1; i <= lines; i++) { $numbering.append($('').text(i)); }; $numbering.fadeIn(1700); }); });以上就介绍了语法：IF判断的实现，包括了方面的内容，希望对PHP教程有兴趣的朋友有所帮助。
内容总结
以上是互联网集市为您收集整理的语法：IF判断的实现全部内容，希望文章能够帮你解决语法：IF判断的实现所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。