État d’un flux#
Jusqu’ici nous avions principalement fait du calcul. Dans ces derniers, les situations exceptionnelles sont relativement rares : divisions par zéro, préconditions, …
Avec les manipulations de fichiers, nos programmes commencent à interagir avec leur environnement extérieur, environnement que nous ne contrôlons pas forcément. Il va falloir faire face à des situations exceptionnelles ou entâchées d’inconnues :
le fichier existe-t-il?
quelle longueur fait-il?
est-il écrit correctement?
y a-t-il suffisament de place sur mon disque?
De ce fait, les opérations peuvent échouer.
Dans cette feuille, nous allons voir comment détecter ces échecs pour pouvoir ensuite les gérer. Cela utilisera la notion d”état d’un flux.
Exemple : afficher un annuaire contenu dans un fichier#
Revenons à notre annuaire; celui-ci est stocké dans un fichier annuaire.txt dont voici le contenu :
!cat annuaire.txt
Pour l’afficher, nous pouvons mettre en pratique ce que nous venons de voir :
#include <iostream>
#include <fstream>
using namespace std;
ifstream annuaire;
annuaire.open("annuaire.txt");
string nom;
string tel;
for ( int i = 0; i < 4 ; i++ ) {
annuaire >> nom;
annuaire >> tel;
cout << nom << ": " << tel << endl;
}
annuaire.close();
Mais il y a une inconnue sur le fichier : combien contient-il d’entrées?
Notre programme tel quel ne fonctionnera que si le fichier contient exactement quatre entrées.
Question
Le code ci-dessus est-il satisfaisant? Pourquoi?
Attention
Au lieu de lire un nombre fixé d’entrées, nous voudrions lire les entrées une à une tant que la lecture se passe bien.
État d’un flux#
Définition
Une variable de type flux peut être dans un bon état (good state) :
«jusqu’ici tout va bien»
ou un mauvais état (bad state) :
fichier non trouvé à l’ouverture ou problème de permissions
lecture ou écriture incorrecte
fin du fichier atteinte
plus de place disque
etc.
Syntaxe
if ( flux ) { ...
if ( flux >> i ) { ...
Sémantique
le fichier est-il en bon état?
la lecture s’est elle bien passée?
Remarque
Si un fichier n’est pas en bon état, il est bien entendu possible de demander plus d’informations au système pour en déterminer la cause. Pour ce semestre, le test de bon état sera suffisant pour nos besoins.
Exemple : Afficher un annuaire contenu dans un fichier
Voici notre programme d’affichage d’annuaire réécrit pour lire dans le fichier tant que le fichier est en bon état. C’est-à-dire tant que la lecture de l’entrée se passe bien.
#include <iostream>
#include <fstream>
using namespace std;
ifstream annuaire;
annuaire.open("annuaire.txt");
string nom;
string tel;
while ( annuaire >> nom and annuaire >> tel ) {
cout << nom << ": " << tel << endl;
}
annuaire.close();
Bonne pratique : vérifier l’état d’un flux#
L’autre inconnue est : le fichier existe-t-il?
Indication
Bonne pratique
Toujours vérifier l’état d’un flux après toute opération pouvant échouer, et notamment l’ouverture
Exemples :
#include <iostream>
#include <fstream>
using namespace std;
ifstream flux;
flux.open("annuaire.txt"); // Un fichier existant
if ( not flux ) {
cout << "Erreur à l'ouverture" << endl;
}
flux.close();
flux.open("oups.txt"); // Un fichier non existant
if ( not flux ) {
cout << "Erreur à l'ouverture" << endl;
}
Bonne pratique
Pour mieux signaler cette situation exceptionnelle, il est recommandé d’utiliser une exception (voir Semaine7).
#include <stdexcept>
if ( not flux ) {
throw runtime_error("Erreur à l'ouverture du fichier");
}
Résumé#
Lorsque l’on manipule des fichiers et des flux, les opérations sont susceptibles d’échouer. Dans cette feuille, nous avons vu que la notion d”état de flux permet de détecter de tels échecs pour les traiter. Il est fortement recommandé de systématiquement vérifier l’état du flux après toute opération pouvant échouer, et tout particulièrement après l’ouverture d’un fichier, et de signaler un tel échec au moyen d’une exception.
La notion d’état d’un flux s’utilise naturellement avec l’idiome «lire depuis un flux tant que la lecture se passe bien».