Finally Clause

The finally clause is an optional block in PHP’s exception handling mechanism that executes unconditionally after the try and catch blocks. It guarantees the execution of its enclosed statements regardless of whether an exception was thrown, successfully caught, or left unhandled within the preceding blocks.

Syntax

The finally block must be placed after the try block and any associated catch blocks. A try block must be followed by at least one catch block or a finally block.

try {
    // Statements that may throw an Exception or Error
} catch (Throwable $e) {
    // Statements to handle the thrown object
} finally {
    // Statements that execute unconditionally
}

It is also syntactically valid to omit the catch block entirely, creating a try...finally structure:

try {
    // Statements
} finally {
    // Statements that execute unconditionally
}

Execution Flow Mechanics

The PHP engine evaluates the finally block under the following conditions:

1. No Exception Thrown: The try block executes completely, followed by the finally block. Execution then continues to the code following the try...catch...finally structure.
2. Exception Caught: The try block throws an exception, halting its execution. Control transfers to the matching catch block. Once the catch block completes, the finally block executes.
3. Exception Uncaught: The try block throws an exception that does not match any catch block (or no catch block exists). The finally block executes immediately. After the finally block completes, the exception bubbles up the call stack, potentially resulting in a Fatal Error if unhandled globally.

Control Flow Overrides

The most critical technical behavior of the finally clause involves control flow statements (return, throw, break, continue).

If a try or catch block encounters a return statement, the finally block is still executed before the function yields control back to the caller.

Furthermore, if the finally block itself contains a control flow statement, it will override any pending control flow initiated by the try or catch blocks.

function evaluateControlFlow(): string 
{
    try {
        return 'Return value from try';
    } catch (Exception $e) {
        return 'Return value from catch';
    } finally {
        return 'Return value from finally'; 
    }
}

// The function will return 'Return value from finally'
echo evaluateControlFlow(); 

Similarly, if a try block throws an exception, but the finally block executes a return statement, the exception is silently discarded, and the function returns the value specified in the finally block.

function overrideException(): string 
{
    try {
        throw new Exception('Initial Exception');
    } finally {
        return 'Exception is discarded'; 
    }
}

// No exception is thrown to the global scope; returns the string.
echo overrideException();

Master PHP with Deep Grasping Methodology!

Learn More