PHP 7.1での暗黙のvoidリターン？

Question

は、私はここに新しい仕様で見つかった：https://wiki.php.net/rfc/void_return_type

function lacks_return(): void { 
    // valid 
} 
function returns_nothing(): void { 
    return; // valid 
} 
function returns_void(): void { 
    return void; // valid 
} 

確認する：あなたはシーンの背後に何が起こるか知っていますか。 lacks_return関数は実際にはvoidを返しますか？

Answer 1

あなたはかなり簡単に自分でこれをテストしている可能性：

function lacks_return(): void { 
} 

function returns_nothing(): void { 
    return; 
} 

echo gettype(lacks_return()); // NULL 
echo gettype(returns_nothing()); // NULL 

をだから、答えはイエスです - あなたは空の戻りを使用するか、それを完全にスキップすることができいずれかのように、暗黙の空（ヌル）のリターンがあります。どのような意味がありますか - 何も返さないことは何も返さないことと同じですか？

/* `return ...;` is illegal in a void function (but `return;` isn't) */ 
if (return_info->type_hint == IS_VOID) { 
    if (expr) { 
     if (expr->op_type == IS_CONST && Z_TYPE(expr->u.constant) == IS_NULL) { 
      zend_error_noreturn(E_COMPILE_ERROR, 
       "A void function must not return a value " 
       "(did you mean \"return;\" instead of \"return null;\"?)"); 
     } else { 
      zend_error_noreturn(E_COMPILE_ERROR, "A void function must not return a value"); 
     } 
    } 
    /* we don't need run-time check */ 
    return; 
} 

そうでない場合は、void機能のコンパイルは通常のように動作します：彼らは、戻り値を指定した場合

Answer 2

舞台裏

、PHP checks for return statements in void functionsとは、コンパイル時にエラーがスローされます。 return without a value implicitly returns NULL：

if (!expr_ast) { 
    expr_node.op_type = IS_CONST; 
    ZVAL_NULL(&expr_node.u.constant); 

、すべての機能is compiled with an implicit return at the end：

zend_emit_final_return(0); 

Whose return value is NULL：？

zn.op_type = IS_CONST; 
if (return_one) { 
    ZVAL_LONG(&zn.u.constant, 1); 
} else { 
    ZVAL_NULL(&zn.u.constant); 
}