Quatre façons de perdre ce qu'on a écrit

/* (a) */  FILE* f = fopen("sortie.txt", "w");
           for (int i = 0; i < 1000; i = i + 1) { fprintf(f, "ligne %d\n", i); }
           _exit(0);

/* (b) */  FILE* g = fopen("poeme.txt", "r");
           fprintf(g, "je m'ajoute\n");

/* (c) */  FILE* h = fopen("absent.txt", "r");
           fscanf(h, "%d", &x);

/* (d) */  FILE* k = fopen("journal.txt", "w");
           fprintf(k, "important\n");
           fclose(k);
           fprintf(k, "encore plus important\n");

(a) Les $1698$ derniers octets, mesurés. Le fichier complet fait $9890$ octets ; celui que produit ce fragment en fait exactement $8192$, soit $8$ ko — une tranche de tampon, pas un octet de plus. Les $830$ premières lignes sont écrites, la $831^{\text{e}}$ est coupée en son milieu — le fichier se termine sur les deux caractères li — et les $169$ dernières n'existent pas du tout. La cause : fprintf n'écrit pas sur le disque, il remplit un tampon, que fclose viderait. _exit court-circuite tout cela.

Remarquer que la faute est invisible en développement : avec dix lignes au lieu de mille, rien n'est perdu parce que le tampon n'a jamais été vidé et qu'un return depuis main le viderait de toute façon. Le défaut n'apparaît qu'au-delà de $8$ ko, et seulement si l'on quitte brutalement.

(b) Rien n'est écrit, et personne ne le sait. Le flux est ouvert en mode "r". Mesure : fprintf rend $-1$ et positionne ferror(g) à $1$ ; le fichier fait toujours $62$ octets. Or presque personne ne regarde ce que rend fprintf. C'est la faute la plus silencieuse des quatre.

(c) Une violation de segment. fopen rend NULL — mesuré, avec le message No such file or directory — et fscanf le déréférence aussitôt. Ici, paradoxalement, tout va bien : le programme meurt sur-le-champ, et le défaut est trouvé en une minute.

(d) Comportement indéfini. Après fclose, k ne désigne plus un flux : c'est le use after free du chapitre chap:langage-c, transposé aux fichiers. Selon les jours, la ligne est ignorée, écrite ailleurs, ou le programme plante. On ne mesure pas ce genre de chose : on ne l'écrit pas.

Ce que les quatre ont en commun. Aucune n'est détectée à la compilation, et trois sur quatre laissent le programme se terminer avec le code $0$. La discipline qui les élimine tient en trois lignes, et c'est celle du cours :

FILE* f = fopen(chemin, mode);
if (f == NULL) { /* on renonce ICI, avant toute autre operation */ }
/* ... exactement un fclose, sur chaque chemin de sortie ... */