php回傳值return語句用法詳解-php教程-PHP中文網

在程式語言中，一個函數或一個方法一般都有返回值，但也存在不返回值的情況，此時，這些函數只是處理一些事務，沒有返回，或者說沒有明確的回傳值，在pascal語言中它有一個專有的關鍵字 procedure 。在PHP中，函數都有回傳值，分成兩種情況，使用return語句明確的回傳和沒有return語句傳回NULL。

return語句

當使用return語句時，PHP給使用者自訂的函數傳回指定類型的變數。依舊我們查看原始碼的方式，對return 關鍵字進行詞法分析和語法分析後，產生中間代碼。從 Zend/zend_language_parser.y檔案中可以確認其產生中間程式碼呼叫的是 zend_do_return 函數。

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);/* 处理常规变量返回 */
       }
   } 
  ...// 省略  取其它中间代码操作 
   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。第一個運算元的型別在傳回值為可用的運算式時，其型別為運算式的運算型別，否則型別為 IS_CONST。這在後續計算執行中間程式碼函數時有用到。根據運算元的不同，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&#39;ll allow it */
           zend_error(E_NOTICE, "Only variable references \                should be returned by reference");
           goto return_by_value;
       } 
       retval_ptr_ptr = 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) {
           } else if (EX_T(opline->op1.u.var).var.ptr_ptr ==
                   &EX_T(opline->op1.u.var).var.ptr) {
               if (IS_CONST == IS_VAR && !0) {
                     /* undo the effect of get_zval_ptr_ptr() */
                   PZVAL_LOCK(*retval_ptr_ptr);
               }
               zend_error(E_NOTICE, "Only variable references \                 should be returned by reference");
               goto return_by_value;
           }
       }         if (EG(return_value_ptr_ptr)) { //  返回引用
           SEPARATE_ZVAL_TO_MAKE_IS_REF(retval_ptr_ptr);   //  is_refgc设置为1
           Z_ADDREF_PP(retval_ptr_ptr);    //  refcountgc计数加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 {
               *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)。 ZE內核對值返回和引用返回作了區分，並且在此基礎上對常數，臨時變數和其它類型的變數在返回時進行了不同的處理。在return執行完之前， ZE核心透過呼叫zend_leave_helper_SPEC函數，清除函數內部使用的變數等。這也是ZE內核自動為函數加上NULL回傳的原因之一。

沒有return語句的函數

在PHP中，沒有過程這個概念，只有沒有回傳值的函數。但是對於沒有回傳值的函數，PHP內核會「幫你「加上一個NULL來做為回傳值。這個「幫你」的操作也是在產生中間程式碼時進行的。在每個函數解析時都需要執行函數zend_do_end_function_declaration，在此函數中有一條語句：

zend_do_return(NULL, 0 TSRMLS_CC);

登入後複製

結合前面的內容，我們知道這語句的作用就是回傳NULL。這就是沒有return語句的函數傳回NULL的原因。

內部函數的回傳值都是透過一個名為 return_value 的變數傳遞的。這個變數同時也是函數中的一個參數，在PHP_FUNCTION函數擴展開來後可以看到。這個參數總是包含有一個事先申請好空間的 zval 容器，因此你可以直接存取其成員並對其進行修改而無需先對 return_value 執行一下 MAKE_STD_ZVAL 巨集指令。為了能夠更方便從函數中傳回結果，也為了省卻直接存取 zval 容器內部結構的麻煩，ZEND 提供了一大套巨集指令來完成相關的這些操作。這些巨集命令會自動設定好類型和數值。

從函數直接傳回值的巨集：

RETURN_RESOURCE(resource) 傳回一個資源。

RETURN_BOOL(bool) 傳回一個布林值。

RETURN_NULL() 傳回一個空值。

RETURN_LONG(long) 傳回一個長整數。

RETURN_DOUBLE(double) 傳回一個雙精確度浮點數。

RETURN_STRING(string, duplicate) 傳回一個字串。 duplicate 表示這個字元是否使用 estrdup() 進行複製。

RETURN_STRINGL(string, length, duplicate) 傳回一個定長的字串。其餘跟 RETURN_STRING 相同。這個巨集速度更快而且是二進位安全的。

RETURN_EMPTY_STRING() 傳回一個空字串。

RETURN_FALSE 傳回一個布林值假。

RETURN_TRUE 傳回一個布林值真。

設定函數傳回值的巨集：