[C] logica di fgets()

[filips]

Nah, sono abbastanza sicuro che sia come dico, è un pattern diffuso.

Eppure non si faceva presente il caso di non terminazione dello stream. A me sembra che volesse dire se non si vuole che nella stringa venga inserita una andata a capo. Tu però cosa intendi esattamente con

"gestisce solo il caso "banale" - ovvero, c'è stato tutto e lo stream non è terminato"?

con "tutto" intendi fino a \n e però non si è messo lo zero? però nel primo msg avevi detto "se lo stream di input termina, non verrà "inventato" alcun newline".. non mi è chiara questa cosa

Non capisco cosa non ti è chiaro...

il fatto che dica "mettendolo alla fine della stringa" e poi affermi "ovvero una posizione
prima della fine della stringa". (Mi sembra che non abbia senso dire che \n sta alla fine se subito dopo si ammette che \0 la rimpiazza una posizione prima della fine; al limite poteva avere senso dire che piazzando lo zero al posto di \n, la stringa finiva una posizione prima della precedente.)