Credo che, comunque, in quel modo non funzionerebbe affatto.
Dalla documentazione, eof() ritorna TRUE se è stata raggiunta la fine del file. Quindi in quel modo, se il file non è vuoto, nel while non ci entra proprio.


codice:
while( !file.eof() ) {
   ...
}

Ciao.