//ecco qui mi perdo un attimo, lo stream assegna s ad n? e il whitespace?
Lo stream prova ad estrarre da s un intero, e quindi legge e scarta tutto il whitespace che trova in fondo. Questo fa sì che la stringa venga consumata completamente anche se dopo il numero ci sono degli spazi (se ci sono prima non importa, visto che sono già scartati automaticamente). Ci interessa arrivare in fondo alla stringa anche in questo caso perché poi facciamo il controllo su eof(), che a noi interessa solo se i caratteri che sono avanzati nello stream sono non-whitespace.
curiosità, se inserisco un intero seguito da 2 punti e qualsiasi altra cosa lo prende, sapete come mai?
Uhm, non dovrebbe...