Смущенный этим PHP Exception try..catch вложенности

Question

Я запутался следующий код:

class MyException extends Exception {} 
class AnotherException extends MyException {} 

class Foo { 
    public function something() { 
    print "throwing AnotherException\n"; 
    throw new AnotherException(); 
    } 
    public function somethingElse() { 
    print "throwing MyException\n"; 
    throw new MyException(); 
    } 
} 

$a = new Foo(); 

try { 
    try { 
    $a->something();  

    } catch(AnotherException $e) { 
    print "caught AnotherException\n"; 
    $a->somethingElse();  
    } catch(MyException $e) { 
    print "caught MyException\n"; 
    } 
} catch(Exception $e) { 
    print "caught Exception\n"; 
} 

Я ожидал бы это выход:

throwing AnotherException 
caught AnotherException 
throwing MyException 
caught MyException 

Но вместо этого он выводит:

throwing AnotherException 
caught AnotherException 
throwing MyException 
caught Exception 

Может ли кто-нибудь объяснить, почему он «пропускает» catch (MyException $ e)?

Спасибо.

Answer 1

Обработчики исключений исключают исключение, вызванное кодом внутри области их блока try.

Звонок в $a->somethingElse() НЕ происходит в блоке try, связанном с пропущенным обработчиком исключений. Это происходит в другом предложении catch.

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

Выбор стиля вставляемых брекетов делает это менее ясным, ИМХО. Ближайшая фигурная скобка для предыдущего блока try появляется в той же строке, что и следующий улов, хотя они не связаны между собой (хорошо, родственными) областями.

Answer 2

Только потому, что в комментарии недостаточно. Подумайте о попытке ... уловить как цикл if ... else. Вы не ожидали бы следующее:

$a = 10; 
if($a == 9) 
    print "\$a == 9"; 
elseif($a == 10) { 
    $a = 11; 
    echo "now \$a == 11"; 
} elseif($a == 11) { 
    echo "\$a == 11"; 
} 

распечатать последнее условие («\ $ а == 11»), так как условие уже встретил первого elseif. То же самое происходит с try ... catch. Если условие выполнено, оно не продолжает поиск новых условий в той же области.

Answer 3

Не уверен, что на это ответили или нет, но ответ еще проще, чем то, что было поставлено здесь. Для каждой попытки может быть запущен только ОДИН блок catch, и он всегда будет наиболее конкретным.

В этом случае AnotherException выбрасывается и обрабатывается первым блоком catch внутреннего try/catch, поэтому он не будет обрабатываться вторым блоком catch. Новое исключение, брошенное в catch catch get, обрабатывается внешним try/catch.

Answer 4

Я не уверен, если следующее является законным («попробовать» ИНГ внутри водосборный блока), но дают ожидаемый результат:

class MyException extends Exception {} 
class AnotherException extends MyException {} 

class Foo { 
    public function something() { 
    print "throwing AnotherException\n"; 
    throw new AnotherException(); 
    } 
    public function somethingElse() { 
    print "throwing MyException\n"; 
    throw new MyException(); 
    } 
} 

$a = new Foo(); 

try { 
    try { 
     $a->something(); 
    } catch(AnotherException $e) { 
     print "caught AnotherException\n"; 
     try{ 
      $a->somethingElse(); 
     } catch(MyException $e) { 
      print "caught MyException\n"; 
     } 
    } 
} catch(Exception $e) { 
    print "caught Exception\n"; 
} 

дает выход:

throwing AnotherException 
caught AnotherException 
throwing MyException 
caught MyException