Eccezioni in java

1. Eccezioni in Java prof. Marcello Missiroli

2. ITIS F. Corni, Modena

3. Febbraio 2012

4. [email_address]

5. Tipi di eccezioni Hardware Generato dalla CPU in funzione di un errore (divisione per 0, Segmentazione, ecc.) Software Definito dal programmatore per tutti gli altri tipi di errore (spesso ricco di informazione). Dominio L'input o i parametri non sono del tipo previsto Range Oltre la gamma prevista da un array. L'operazione non può continuare. Monitor Stato di una operazione in corso

6. Gestione tradizionale Tradizionalmente le eccezioni erano gestite in due modalità: Forma parametrizzata

7. Forma basata sul linguaggio

8. Forma parametrizzata Indirizzo di una subroutine da chiamare durante un errore.

9. Nome di una label cui saltare in caso di errore.

10. Variabile di status modificata dall'operazione, e controllata dal programma chiamante al ritorno (stdio::errno e simili).

11. Forma basata sul linguaggio Subroutine di errore legate a un particolare tipo di dato.

12. Bersaglio di errore definito in fase di compilazione.

13. Istruzioni condizionate del PL/I

14. Problemi Come risolviamo questi problemi e lasciamo un sistema dove la gestione degli errori è inconsistente e evitabile per costruire un sistema moderno e strutturato logicamente? Basata sul linguaggio Un solo gestore per tipo o oggetto.

15. Il gestore è predefinito.

16. La soluzione PL/I funziona solo con il PL/I. Chiamate parametrizzate: Non è obbligatorio gestire i risultati eccezionali

17. Non si può sapere in fare di compilazione se l'eccezione sarà gestita.

18. Ridotto numero di coppie condizioni-gestori.

19. Vediamo un po' Prima vediamo come avvile la chiamata ai metodi nei linguaggi OOP

20. Nel nostro caso, in Java.

21. Chiamate ai metodi Classe.main()

22. Chiamate ai metodi oggetto1.metodo () Classe.main()

23. Chiamate ai metodi oggetto2.metodo () oggetto1.metodo () Classe.main()

27. Problemi Poiché la catena di chiamate può essere molto lunga, se si verifica un problema può risultare molto difficile scoprire dove e perché si è verificato Errori di programmazione?

28. Errori di I/O?

29. Puntatori null?

30. ...

31. Gestione delle eccezioni Il costrutto standard di Java (mutuato dal C++) è try … catch … finally che ha la seguente struttura: try {// Codice che può generare un errore o un eccezione} catch (ExceptionType identifier) {// Codice che gestisce l'eccezione } finally {// Codice da eseguire in ogni caso }

32. Gestione delle eccezioni Il costrutto standard di Java (mutuato dal C++) è try … catch … finally che ha la seguente struttura: try {// Codice che può generare un errore o un eccezione} catch (ExceptionType identifier) {// Codice che gestisce l'eccezione } finally {// Codice da eseguire in ogni caso } DEVE esistere ALMENO una clausola catch Finally è opzionale (poco usato)

33. Come funziona? main () try { num = Integer.parseInt (s); } : catch (NumberFormatException e) { : }

34. Come funziona? Integer.parseInt (String s) { : : } main () try { num = Integer.parseInt (s); } : catch (NumberFormatException e) { : }

35. Come funziona? Integer.parseInt (String s) { L'utente NON inserisce un numero corretto!!!

36. } main () try { num = Integer.parseInt (s); } : catch (NumberFormatException e) { : }

37. Come funziona? Integer.parseInt (String s) { NumberFormatException e = new NumberFormatException (); } main () try { num = Integer.parseInt (s); } : catch (NumberFormatException e) { : }

38. Come funziona? Integer.parseInt (String s) { : : } main () try { num = Integer.parseInt (s); } : catch (NumberFormatException e) { L'eccezione deve essere gestita qui }

39. Come gestire? Messaggi di errore comprensibili

40. Assegnare valori ”sicuri”

41. Risolvere situazioni ”sospese”

42. ...ecc... Ricordarsi che l'eccezione è un oggetto, e come tale ha metodi interessanti, quali .toString() .getMessage(), .printStackTrace().

43. A questo punto sappiamo che... Ogni blocco try deve avere almeno un blocco catch

44. Se si verifica un'eccezione all'interno di un blocco try : Il resto del codice del blocco try viene saltato.

45. Se c'è un blocco catch del tipo corretto (o di una sottoclasse), si esegue.

46. Se c'è un blocco finally , si esegue; in caso contrario, si prosegue. Se non si verifica un'eccezione all'interno del blocco try e non c'è un'istruzione System.exit() : Se c'è un blocco finally , lo si esegue

47. Ci siamo? Tirate un attimo il fiato, che si prosegue con cose più complicate.

48. Tipi di Eccezioni Throwable Error VirtualMachineError OutOfMemoryError Exception … IOException RunTime Exception … ??? Excerpt from Big Java by C. Horstmann p. 562 Classe base delle eccezioni Solo questo tipo base può essere ”lanciato” dal gestore delle eccezioni

49. Tipi di Eccezioni Throwable Error VirtualMachineError OutOfMemoryError Exception … IOException RunTime Exception … ??? Excerpt from Big Java by C. Horstmann p. 562 Errore Solitamente molto grave e irrecuperabile. Può non essere intercettato ( Unchecked Exception )

50. Tipi di Eccezioni Throwable Error VirtualMachineError OutOfMemoryError Exception … IOException RunTime Exception … ??? Excerpt from Big Java by C. Horstmann p. 562 Eccezioni Prevedibile e gestibili Devono essere intercettate o dichiarate (C hecked Exception )

51. Eccezione controllata Se l'eccezione si genera qui.. oggetto2.metodo () oggetto1.metodo () Classe.main()

52. Eccezione controllata Se l'eccezione si genera qui.. oggetto2.metodo () oggetto1.metodo () Classe.main() ..o viene ”catturata” dall'oggetto stesso..

53. Eccezione controllata Se l'eccezione si genera qui.. oggetto2.metodo () oggetto1.metodo () Classe.main() ..o si propaga verso l'alto, potenzialmente bloccando il programma

54. Eccezione controllata Se non si intende gestire l'eccezione, la cosa va segnalata nella dichiarazione del metodo o della classe con la parola chiave ”throws” class Oggetto2 { private int attr1; private int attr2: … . public int getAttr1() { … }; } class Oggetto2 throws IOException { private int attr1; private int attr2: … . public int getAttr1() { … }; }

55. Eccezioni non controllate standard int [] arr = null; arr[0] = 1; arr = new int [4]; int i; for (i = 0; i <= 4; i++) arr[i] = i; arr[i-1] = arr[i-1] / 0;

56. Eccezioni non controllate standard int [] arr = null; arr[0] = 1; arr = new int [4]; int i; for (i = 0; i <= 4; i++) arr[i] = i; arr[i-1] = arr[i-1] / 0; NullPointerException

57. Eccezioni non controllate standard int [] arr = null; arr[0] = 1; arr = new int [4]; int i; for (i = 0; i <= 4; i++) arr[i] = i; arr[i-1] = arr[i-1] / 0; ArrayIndexOutOfBoundsException (quando i = 4)

58. Eccezioni non controllate standard int [] arr = null; arr[0] = 1; arr = new int [4]; int i; for (i = 0; i <= 4; i++) arr[i] = i; arr[i-1] = arr[i-1] / 0; ArithmeticException (Divisione per zero)

59. Eccezioni non controllate: riassunto Il compilatore non vi obbliga a catturarli, se si verificano (non siete quindi obbligati a usare try ... catch )

60. Si possono verificare in qualsiasi momento (non solo all'interno di un metodo)

61. Sono di solito errori di esecuzione fatali al di là del controllo del programmatore

62. Laddove possibile, si evitano con instruzioni condizionali

63. Eccezioni controllate standard String urlStr = "piffy.com:88/register.jsp?name=joe"; try { URL url = new URL(urlStr); InputStream is = url.openStream(); is.close(); } catch (MalformedURLException e) { System.out.println("URL "+urlStr+" non valida: "+e.getMessage()); } catch (IOException e) { System.out.println("Impossibile eseguire "+urlStr+": "+e.getMessage()); }

64. Eccezioni controllate standard String urlStr = " piffy.com:88/register.jsp?name=joe" ; try { URL url = new URL(urlStr); InputStream is = url.openStream(); is.close(); } catch (MalformedURLException e) { System.out.println("URL "+urlStr+" non valida: "+e.getMessage()); } catch (IOException e) { System.out.println("Impossibile eseguire "+urlStr+": "+e.getMessage()); } MalformedURLException (manca il protocollo)

65. Eccezioni controllate standard String urlStr = "http://piffy.com:88/register.jsp?name=joe"; try { URL url = new URL(urlStr); InputStream is = url.openStream(); is.close(); } catch (MalformedURLException e) { System.out.println("URL "+urlStr+" non valida: "+e.getMessage()); } catch (IOException e) { System.out.println("Impossibile eseguire "+urlStr+": "+e.getMessage()); } IOException (manca la connessione)

66. Eccezioni controllate: riassunto Devono essere gestite se c'è il potenziale per un errore (tramite try ... catch )

67. Si occupano di problemi che si verificano in una specifica sezione del codice.

68. Example:

69. NumberFormatException, IOException

70. Lanciare le eccezioni Se volete forzatamente lanciare un'eccezione, potete usare l'istruzione throw if (a==0) throw new IllegalArgumentException();

71. throw new NullPointerException ( ”Messaggio”); Poiché le eccezioni sono oggetti, è possibile creare sottoclassi personalizzati. Ma per i nostri scopi le eccezioni esistenti sono più che sufficienti.

72. Tutto chiaro?

73. Esercizi Leggere un numero intero tramite System.in.readln.

74. Creare un array di interi, usare un indice negativo e segnalare la cosa con un messaggio

75. Nel costruttore di un oggetto ”Orario”, lanciare un'eccezione nel caso l'ora fornita sia <0 o >23 e i minuti siano <0 o >59. Scrivere un main che testi il programma.

76. Licenza Queste slides traggono ispirazione, tra le altre cose, dalle slides ”Exceptions in Java” di Christian Ratliff < [email_address] > e “Java Exception Handling” di James Tam (università di Calgary)

77. La licenza per questo lavoro è Creative Commons BY-SA 3.0 ( http://creativecommons.org/licenses/by-sa/3.0/ )

Eccezioni in java

More Related Content

Viewers also liked (19)

Similar to Eccezioni in java (20)

More from Marcello Missiroli (11)

Eccezioni in java