原:PHP内核研究 函数的返回值
作者 斯人 | 发布于 2012 年 3 月 2 日
PHP PHP内核

上一节讲到 函数的参数
下面继续分析函数的返回值..
从根本来说,PHP的每个函数或方法都存在返回值,可能有的时候不写return,
这个时候 会返回NULL.

function test(){
         return 1;
}

经过分析找到token

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); }

上面三个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

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);
}

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

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);
}

函数返回值 存储在EG(return_value_ptr_ptr);
当然 PHP还有很多 用于函数返回的内置宏如
RETURN_BOOL
RETURN_NULL
RETURN_RESOURCE
RETURN_LONG
RETURN_DOUBLE
等等…

原文出处:http://www.imsiren.com/archives/338