原:PHP内核研究 函数的返回值

sdfsdnfslk

声明：本文为斯人原创，全部为作者一一分析得之，有不对的地方望赐教。

博客地址:PHP技术博客在CSDN也会同步更新的哦.

欢迎转载，转载请注明出处

上一节讲到 函数的参数

下面继续分析函数的返回值..

从根本来说,PHP的每个函数或方法都存在返回值,可能有的时候不写return,

这个时候 会返回NULL.

[php]
function test(){
         return 1;
}
[/php]



经过分析找到token


[c]
T_RETURN ';'                                            { zend_do_return(NULL, 0 TSRM     LS_CC); }
         |       T_RETURN expr_without_variable ';'      { zend_do_return(&$2, 0 TSRMLS_CC); }
         |       T_RETURN variable ';'                           { zend_do_return(&$2, 1 TSRMLS_CC); }
[/c]



上面三个token代表函数返回的三种形式,

return ;

return 立即数(字符串);

return 变量; //返回变量/引用返回

执行的函数为 zend_do_return

PHP对三种不同的返回值做了不同的处理.我们详细来看一下

zend_do_return(NULL, 0 TSRM LS_CC);是返回NULL

zend_do_return(&$2, 0 TSRMLS_CC); //直接返回 立即数或字符串

zend_do_return(&$2, 1 TSRMLS_CC); //返回变量/引用返回

定义如下Zend/zend_compile.c


[c]
void zend_do_return(znode *expr, int do_end_vparse TSRMLS_DC) /* {{{ */{        zend_op *opline;
        int start_op_number, end_op_number;
        if (do_end_vparse) {//引用返回
                if (CG(active_op_array)->return_reference && !zend_is_function_or_method_call(expr)) {
                        zend_do_end_variable_parse(expr, BP_VAR_W, 0 TSRMLS_CC);//引用返回
                } else {
                        zend_do_end_variable_parse(expr, BP_VAR_R, 0 TSRMLS_CC);//普通变量返回
                }
        }
        //当前op位置
        start_op_number = get_next_op_number(CG(active_op_array));

#ifdef ZTS
        zend_stack_apply(&CG(foreach_copy_stack), ZEND_STACK_APPLY_TOPDOWN, (int (*)(void *element)) generate_free_foreach_copy);
#endif

        end_op_number = get_next_op_number(CG(active_op_array));
        while (start_op_number < end_op_number) {
                CG(active_op_array)->opcodes[start_op_number].op1.u.EA.type = EXT_TYPE_FREE_ON_RETURN;
                start_op_number++;
        }

        opline = get_next_op(CG(active_op_array) TSRMLS_CC);
       //生成中间代码
        opline->opcode = ZEND_RETURN;

        if (expr) {
                opline->op1 = *expr;

                if (do_end_vparse && zend_is_function_or_method_call(expr)) {
                        opline->extended_value = ZEND_RETURNS_FUNCTION;
                }
        } else {
                opline->op1.op_type = IS_CONST;
                INIT_ZVAL(opline->op1.u.constant);
        }

        SET_UNUSED(opline->op2);
}
[/c]



根据操作数的不同，ZEND_RETURN中间代码会执行 ZEND_RETURN_SPEC_CONST_HANDLER， ZEND_RETURN_SPEC_TMP_HANDLER或ZEND_RETURN_SPEC_TMP_HANDLER.这几个代码流程基本相同

以 ZEND_RETURN_SPEC_CONST_HANDLER为例.


[c]
static int ZEND_FASTCALL  ZEND_RETURN_SPEC_CONST_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
{
        zend_op *opline = EX(opline);
        zval *retval_ptr;
        zval **retval_ptr_ptr;

        if (EG(active_op_array)->return_reference == ZEND_RETURN_REF) {//引用返回

                if (IS_CONST == IS_CONST || IS_CONST == IS_TMP_VAR) {//变量和临时变量是不能引用传递的
                        /* Not supposed to happen, but we'll allow it */
                        zend_error(E_NOTICE, "Only variable references should be returned by reference");
                        goto return_by_value;                }

                retval_ptr_ptr = NULL;//返回值初始化NULL

                if (IS_CONST == IS_VAR && !retval_ptr_ptr) {
                        zend_error_noreturn(E_ERROR, "Cannot return string offsets by reference");
                }     

                if (IS_CONST == IS_VAR && !Z_ISREF_PP(retval_ptr_ptr)) {
                        if (opline->extended_value == ZEND_RETURNS_FUNCTION &&
                            EX_T(opline->op1.u.var).var.fcall_returned_reference) {
                                if (IS_CONST == IS_VAR && !0) {
                                }
                                goto return_by_value;
                        }
                }

                if (EG(return_value_ptr_ptr)) {
                        SEPARATE_ZVAL_TO_MAKE_IS_REF(retval_ptr_ptr);//设置is_ref__gc 为1
                        Z_ADDREF_PP(retval_ptr_ptr);//refcount__gc+1

                        (*EG(return_value_ptr_ptr)) = (*retval_ptr_ptr);
                }
        } else {
return_by_value:

                retval_ptr = &opline->op1.u.constant;

                if (!EG(return_value_ptr_ptr)) {
                        if (IS_CONST == IS_TMP_VAR) {

                        }
                } else if (!0) { /* Not a temp var */
                        if (IS_CONST == IS_CONST ||
                            EG(active_op_array)->return_reference == ZEND_RETURN_REF ||
                            (PZVAL_IS_REF(retval_ptr) && Z_REFCOUNT_P(retval_ptr) > 0)) {
                                zval *ret;

                                ALLOC_ZVAL(ret);
                                INIT_PZVAL_COPY(ret, retval_ptr);
                                zval_copy_ctor(ret);
                                *EG(return_value_ptr_ptr) = ret;
                        } else if ((IS_CONST == IS_CV || IS_CONST == IS_VAR) &&
                                   retval_ptr == &EG(uninitialized_zval)) {
                                zval *ret;

                                ALLOC_INIT_ZVAL(ret);
                                *EG(return_value_ptr_ptr) = ret;
                        } else {
                                *EG(return_value_ptr_ptr) = retval_ptr;
                                Z_ADDREF_P(retval_ptr);
                        }
                } else {
                        zval *ret;

                        ALLOC_ZVAL(ret);
                        INIT_PZVAL_COPY(ret, retval_ptr);
                        *EG(return_value_ptr_ptr) = ret;
                }
        }

        return zend_leave_helper_SPEC(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);
}
[/c]



函数返回值 存储在EG(return_value_ptr_ptr);

当然 PHP还有很多 用于函数返回的内置宏如

RETURN_BOOL

RETURN_NULL

RETURN_RESOURCE

RETURN_LONG

RETURN_DOUBLE

等等...

原文出处:

原:PHP内核研究
函数的返回值