Confuso da questa eccezione PHP try..catch nidificazione

Question

Sono confuso con il codice seguente:

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"; 
} 

mi si aspetterebbe che questo output:

throwing AnotherException 
caught AnotherException 
throwing MyException 
caught MyException 

Ma invece uscite:

throwing AnotherException 
caught AnotherException 
throwing MyException 
caught Exception 

Qualcuno potrebbe spiegare il motivo per cui "ignora" il rilevamento (MyException $ e)?

Grazie.

Answer 1

I gestori di eccezioni catturano l'eccezione generata dal codice all'interno dell'ambito del blocco try.

La chiamata a $a->somethingElse() NON si verifica all'interno del blocco try associato al gestore di eccezioni ignorate. Si verifica all'interno di un'altra clausola di cattura.

Proprio perché appare fisicamente al di sotto della linea che solleva l'eccezione non è sufficiente a far sì che copra quel codice.

La scelta dello stile di parentesi graffe rende questo meno chiaro, IMHO. La parentesi graffa per il blocco try precedente viene visualizzata sulla stessa riga del prossimo catch, anche se sono ambiti non correlati (well, sibling).

Answer 2

Solo perché non c'è spazio sufficiente per questo in un commento. Pensa al tentativo ... prendi un ciclo if ... else. Non ci si aspetterebbe il seguente:

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

per stampare l'ultima condizione ("\ $ a == 11"), perché la condizione era già incontrato dal primo elseif. Lo stesso vale per il try ... catch. Se la condizione è soddisfatta, non continua la ricerca di nuove condizioni nello stesso ambito.

Answer 3

Non sicuro se questo è stato considerato una risposta o meno, ma la risposta è ancora più semplice di quanto è stato posto qui. Per ogni tentativo, può essere attivato solo un blocco di cattura e sarà sempre il più specifico applicabile.

In questo caso, AnotherException viene lanciata e gestita dal primo blocco catch del try/catch interno, quindi non verrà gestita dal secondo blocco catch. La nuova eccezione generata nel blocco catch viene gestita dal try/catch esterno.

Answer 4

Io non sono sicuro se segue è legale ("provare" ing all'interno di un blocco catch), ma dà output previsto:

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"; 
} 

Dà uscita:

throwing AnotherException 
caught AnotherException 
throwing MyException 
caught MyException