[Java] Cast dopo una instanceof

**Ifrit** · 02-05-2015, 18:22

Salve a tutti.

Oggi leggendo la guida a jsp mi sono imbattuto in una parte di codice che non riesco a capire a livello logico.

La pagina di riferimento è la seguente: link

nella classe jrun__prova2ejspa è presente un try-catch che esegue un controllo e a un successivo cast sul tipo di classe catturata, ovvero:

codice:

    try {
      out.print("<!-- PROVA.JSP-->rnrn<html>rnrn<body>rnrn");
      out.println ("PRIMA PROVA JSP");
      out.print("rnrn</body>rnrn</html>");
    } catch(Throwable t) {
      if(t instanceof ServletException) throw (ServletException) t;
      if(t instanceof java.io.IOException) throw (java.io.IOException) t;
      if(t instanceof RuntimeException) throw (RuntimeException) t;
      throw JRunJSPStaticHelpers.handleException(t, pageContext);
    } finally {
      __jspFactory.releasePageContext(pageContext);
    }

il segmento di codice che mi lascia perplesso è il seguente:

codice:

      if(t instanceof ServletException) throw (ServletException) t;
      if(t instanceof java.io.IOException) throw (java.io.IOException) t;
      if(t instanceof RuntimeException) throw (RuntimeException) t;

la domanda è: perche' dopo che ho verificato che t sia una istanza di tipo T, la rilancio facendo un cast?

da quello che so (quindi molto probabilmente sbaglio) l'istanza puntata dall'handler t si porta sempre dietro il suo tipo, proprio perche' java è un linguaggio a binding dinamico... pertanto mi sembra inutile il cast.
Sbaglio?? se si, perche'? non avrebbe piu' senso una catch scritta in questo modo:

codice:

    try {
      out.print("<!-- PROVA.JSP-->rnrn<html>rnrn<body>rnrn");
      out.println ("PRIMA PROVA JSP");
      out.print("rnrn</body>rnrn</html>");
    } catch(Throwable t) {
      if( t instanceof ServletException || 
          t instanceof java.io.IOException || 
          t instanceof RuntimeException) {
               throw t; // t rimane sempre e comunque una classe di tipo Throwable, quindi rilanciabile
       } else {
               throw JRunJSPStaticHelpers.handleException(t, pageContext);
       }
    } finally {
      __jspFactory.releasePageContext(pageContext);
    }

con tutto lo spaghetti code che rimuoverei.. ma vabo' quello è un altro complesso che non c'entra con l'argomento del topic....
spero che qualcuno mi possa rispondere a questo dubbio esistenziale =D
Grazie in anticipo ^^

edit:
maledizione non ho visto il subforum java =( chiedo scusa..
Un moderatore puo' spostarmi la discussione perfavore? chiedo ancora scusa =(

**Ifrit** · 07-05-2015, 22:20

up =X

nessuno mi sa togliere sto dubbio esistenziale?

**andbin** · 07-05-2015, 23:16

Il codice che hai postato è in un metodo

public void _jspService(HttpServletrequest request, HttpServletresponse response) throws ServletException, java.io.IOException

Se questo _jspService (che non è standard, cioè è sicuramente dipendente dal container) è comunque un override e la versione "super" dichiara solo ServletException e IOException, allora giustamente, per le regole di Java, l'override NON può dichiarare eccezioni "checked" più "ampie".
Pertanto non si può far uscire Throwable, e questo in sostanza è il motivo per cui quel codice testa in modo preciso le eccezioni e soprattutto perchè restringe il tipo statico della eccezione da rilanciare.

**Ifrit** · 08-05-2015, 18:55

Originariamente inviata da andbin

Il codice che hai postato è in un metodo

public void _jspService(HttpServletrequest request, HttpServletresponse response) throws ServletException, java.io.IOException

Se questo _jspService (che non è standard, cioè è sicuramente dipendente dal container) è comunque un override e la versione "super" dichiara solo ServletException e IOException, allora giustamente, per le regole di Java, l'override NON può dichiarare eccezioni "checked" più "ampie".
Pertanto non si può far uscire Throwable, e questo in sostanza è il motivo per cui quel codice testa in modo preciso le eccezioni e soprattutto perchè restringe il tipo statico della eccezione da rilanciare.

ecco cosa mi era sfuggiro =) perfetto grazie infinite ^^

Discussione: [Java] Cast dopo una instanceof

Strumenti discussione

Ricerca discussione

Visualizza

[Java] Cast dopo una instanceof

Permessi di invio