Problema con EOF

[Giuso]

Ciao,
ho un problema con la lettura della fine del file.Ho un metodo readChar() in cui richiamo il metodo read di un pushbackreader che legge un carattere come intero dal file e restituisco un carattere, castando l'intero letto dal file. Ora però con questo carattere non riesco a verificare se rappresenta EOF in quanto il -1 non è rappresentabile come carattere. Mi stampa infatti un carattere non riconosciuto. Chiedevo quindi se cè un modo per rilevare la fine del file avendo un tipo char e non intero.

private char readChar() throws IOException {        
        int i = Buffer.read();
        return (char) i;        
}

[andbin]

Ora però con questo carattere non riesco a verificare se rappresenta EOF in quanto il -1 non è rappresentabile come carattere. Mi stampa infatti un carattere non riconosciuto. Chiedevo quindi se cè un modo per rilevare la fine del file avendo un tipo char e non intero.

Precisiamo una cosa: il cast di -1 a char lo fa diventare un char di codice 0xFFFF (nella notazione Unicode: U+FFFF). Che per definizione Unicode (vedere es. https://en.wikipedia.org/wiki/Specials_(Unicode_block) ) è un "not a character". Quindi in linea di principio si potrebbe forse usare nel tuo caso specifico per indicare EOF, sebbene non sia proprio ortodosso al massimo (dipende da chi/dove usa quel tuo readChar() ).

Ci sono comunque alcune alternative:

a) Se Buffer.read() dà -1, fai lanciare java.io.EOFException, che è fatta apposta per questo.
b) Se Buffer.read() dà -1 setti un flag nel tuo oggetto, che poi puoi testare in un secondo momento.

Ci potrebbero essere altri design ma bisognerebbe entrare più nel merito di quello che stai cercando di fare.

[Giuso]

Direi che ho risolto usando un flag booleano e faccio il test su quello. Oppure cambio il tipo di ritorno da readChar lasciando intero e il cast lo faccio solo dopo aver testato l'intero.
Grazie

[andbin]

Oppure cambio il tipo di ritorno da readChar lasciando intero e il cast lo faccio solo dopo aver testato l'intero.

Che però così renderebbe (almeno per quello che si è visto del codice) poco utile quel tuo readChar(). Che è private, quindi usato solo all'interno della tua classe. E se fai restituire quindi direttamente il risultato di Buffer.read(), quale "valore aggiunto" avrebbe il tuo readChar ?

[Giuso]

Hai perfettamente ragione, non ci avevo fatto caso.