C/C++ - Scrittura ridondante nei cicli

while ( fileStream && !fileStream.eof() )
{
   ... 
}

... la funzione membro eof chiaramente agisce su EOF. fileStream viene convertito in un puntatore che ritorna 0 se il failbit e/o il badbit sono impostati ad 1. Il failbit nei file, viene posto ad 1 se si incontra la fine del file (EOF).

Detto questo: la condizione nel while, sopra riportata, è ridondante?

Sì ...