finally выполняется каждые*^† раз

Независимо от ошибок, исключений или даже операторов return блок кода finally будет выполняться.

*Он не запускается, если блоки try или catch выполняют die/exit.

Исключение

Одно из распространенных применений, которое я вижу, — это закрытие соединения с базой данных в долго работающем воркере — вы хотите, чтобы это происходило каждый раз (с исключением или без него), чтобы вы не получили висячее соединение, которое блокирует сервер базы данных от принятия новых соединений. .

Рассмотрим этот псевдокод:

try {
   $database->execute($sql);
} finally {
   $database->close();
}

Здесь мы всегда будем закрывать соединение с базой данных. Если это обычный запрос, мы закрываем соединение после успеха, и скрипт продолжает выполняться.

Если это ошибочный запрос, то мы все равно закроемся после того, как возникнет исключение, а неперехваченное исключение приведет к остановке скрипта.

Вот пример, когда catch ведет журнал.

try {
   $database->execute($sql);
} catch (Exception $exception) {
   $logger->error($exception->getMessage(), ['sql' => $sql]);
   throw $exception;
} finally {
   $database->close();
}

Это заставит его закрыть соединение с исключением или без него.

Вернуть

Одним из наиболее неясных свойств является его способность выполнять код после оператора return.

Здесь вы можете установить переменную после возврата функции:

function foo(&$x)
{
    try {
        $x = 'trying';
        return $x;
    } finally {
        $x = 'finally';
    }
}

$bar = 'main';
echo foo($bar) . $bar;

наконец

но присваивание будет тем, что будет возвращено в попытке:

$bar = foo($bar);
echo $bar . $bar;

Попытка

и возврат в finally отменяет возврат в попытке:

function baz()
{
    try {
        return 'trying';
    } finally {
        return 'finally';
    }
}

echo baz();

наконец

обратите внимание, это поведение было другим в php 5:

наконец-то наконец
наконец-то наконец
наконец-то

https://3v4l.org/biO4e

Исключительное возвращение

Вы можете сделать так, чтобы это выглядело как одновременное появление двух исключений:

try {
    throw new Exception('try');
} finally {
    throw new Exception('finally');
}

Fatal error: Uncaught Exception: try in /in/2AYmF:4
Stack trace:
#0 {main}

Next Exception: finally in /in/2AYmF:6
Stack trace:
#0 {main}
  thrown in /in/2AYmF on line 6

Process exited with code 255.

https://3v4l.org/2AYmF

Но вы не можете поймать первое известное мне исключение, чтобы сделать что-нибудь интересное во время выполнения:

try {
    try {
        throw new Exception('try');
    } finally {
        throw new Exception('finally');
    }
} catch (Exception $exception) {
    echo 'caught ' . $exception->getMessage();
}

наконец-то пойман

https://3v4l.org/Jknpm

* Умереть

Если вы exit или die, то блок finally не будет выполняться.

try {
    echo "trying";

    die;
} catch(Exception $e) {
    echo "caught";
} finally {
    echo "finally";
}

echo "end";

пытающийся

https://3v4l.org/pc9oc

† Аппаратный сбой

Наконец, вы должны понимать, что блок finally не будет выполняться, если кто-то вытащит вилку из розетки на вашем сервере ????, и хотя я не проверял его, я ожидаю, что исчерпание памяти также пропустит его.

Наконец, должен содержать любой код, который необходимо выполнить независимо от того, есть исключение или нет.

Без окончательно:

try {
   $handle = fopen("file.txt");
   //Do stuff
   fclose($handle);
   return something;
} catch (Exception $e) {
   // Log
   if (isset($handle) && $handle !== false) {
      fclose($handle);
   }     
}

С наконец:

try {
   $handle = fopen("file.txt");
   return something;
} catch (Exception $e) {
   // Log
} finally {
   if (isset($handle) && $handle !== false) {
      fclose($handle);
   }     
}

Предлагает немного расхламления в случае, если вам нужно освободить ресурс после возврата функции.

Это становится еще более полезным в случае, подобном следующему:

 try {
     $handle = fopen("file.txt");
     if (case1) { return result1; }  
     if (case2) { return result2; }
     if (case3) { return result3; }
     if (case4) { return result4; }

 } finally {
     if (isset($handle) && $handle !== false) {
          fclose($handle);
       }    
 }

В этом случае вы можете сократить все необходимые вызовы fclose перед каждым возвратом до одного вызова fclose, который будет выполняться непосредственно перед возвратом метода, но после любого другого кода.

try {
    throw new LogicException("Throw logic \n"); -> LogicException thrown
} catch (InvalidArgumentException $e) { -> LogicException not catched
    echo $e->getMessage(); 
}finally{
    echo hi(); -> code executed. "Hi" printed out
}

LogicException is here -> Fatal error

так что в этом случае:

try {
    throw new LogicException("Throw logic \n"); -> LogicException thrown
} catch (InvalidArgumentException $e) { -> LogicException not catched
    echo $e->getMessage(); 
}finally{
    echo hi(); -> code executed
    die();
}

никакой фатальной ошибки не возникнет из-за оператора die и последней вариации:

try {
    throw new LogicException("Throw logic \n"); -> LogicException thrown
} catch (InvalidArgumentException $e) { -> LogicException not catched
    echo $e->getMessage(); 
} catch (LogicException $e) { -> LogicException catched
    echo $e->getMessage(); 
}finally{
    echo hi(); -> code executed
}

Я сделал небольшой модульный тест, чтобы показать, как он работает.

    $a = 'a';
    try {
        $a .= 'b';
    } catch (Exception $ex) {
        $a .= 'e';
    } finally {
        $a .= 'f';
    }
    $a .= 'x';

    $this->assertSame('abfx', $a);


    $a = 'a';
    try {
        $a .= 'b';
        throw new Exception();
        $a .= '1';
    } catch (Exception $ex) {
        $a .= 'e';
    } finally {
        $a .= 'f';
    }
    $a .= 'x';

    $this->assertSame('abefx', $a);


    $a = 'a';
    try {
        try {
            $a .= 'b';
            throw new Exception();
            $a .= '1';
        } catch (Exception $ex) {
            $a .= 'e';
            throw $ex;
            $a .= '2';
        } finally {
            $a .= 'f';
        }
        $a .= 'x';
    } catch (Exception $ex) {
        $a .= 'z';
    }

    $this->assertSame('abefz', $a);