PHPにおけるfinallyブロックとreturn文の相互作用を徹底解説

はじめに

PHPのfinallyブロックには、tryブロックやcatchブロック(あるいはその両方)にreturn文が含まれている場合に、特有の動作が現れます。通常、return文が実行されるとプログラムの制御は呼び出し元に戻ります。しかし、try/catchブロック内でreturn文を使っている関数の場合、実際に値が返される前に、finallyブロック内の処理が先に実行されるのです。

この挙動を理解しておくことは、リソースの解放処理やログ出力などをfinallyブロックで行う際に非常に重要です。「returnした時点で関数が終了する」という直感に反して、finallyブロックは必ず実行されるという点を押さえておきましょう。

サンプルコード

以下の例では、div()関数がtry - catch - finally構造を持っています。例外が発生しない場合、tryブロックは除算の結果を返します。一方、例外が発生した場合は、catchブロックがエラーメッセージを返します。どちらの場合でも、finallyブロック内の処理が先に実行される点に注目してください。

<?php
function div($x, $y){
    try {
        if ($y==0)
            throw new Exception("Division by 0");
        else
            $res=$x/$y;
        return $res;
    }
    catch (Exception $e){
        return $e->getMessage();
    }
    finally{
        echo "This block is always executed\n";
    }
}
$x=10;
$y=0;
echo div($x,$y);
?>

実行結果

$y が 0 の場合、0による除算の例外が発生するため、catchブロックのエラーメッセージが返されます。その際もfinallyブロックの出力が先に表示されます。

This block is always executed
Division by 0

次に、$y の値を 5 に変更してみましょう。今度は例外が発生せず、tryブロックの除算結果が返されます。それでもfinallyブロックは実行されています。

This block is always executed
2

まとめ

このように、tryまたはcatchブロック内にreturn文があっても、finallyブロックの処理は必ずreturnより先に実行されます。これはPHPの仕様として保証された動作であり、ファイルやデータベース接続などのリソースを確実にクリーンアップしたい場面で活用できます。ただし、finallyブロック内でさらにreturn文を書くと、try/catchブロックの返り値が上書きされるため、意図しないバグを避けるためにも注意が必要です。