Strtol - Vérification des erreurs ?

Version imprimable

22/11/2010, 16h22
Bktero

Strtol - Vérification des erreurs ?

Bonjour

Je travaille sur un programme qui n'a pas le droit de planter, je me dois donc de vérifier toutes les erreurs possibles. A un moment du programme, j'ai besoin de convertir des chaînes en nombre. J'ai dans un premier temps utilisé un atoi, étant presque certain que c'étaient des chaines ne contenant que des chiffres qui allaient arriver.

Mais n'était jamais trop prudent, et comme atoi pourrait bien planter pour d'autres raisons, je me tourne donc vers strol pour une meilleure vérification des erreurs.

A partir du man, je trouve assez délicat de faire quelque chose simple...

1) Il faudrait tester si le retour est nul, au quel cas, il peut y avoir une erreur. Sauf que la chaine à convertir peut effectivement être "0" ou "00000", et alors la convertion est correct même si le retour est nul.
2) Si le retour est nul, il faut donc tester la chaine d'origine avec le contenu **endptr. S'il y a égalité, alors c'est une erreur, sinon, il n'y a pas d'erreur.
3) Il faut aussi tester si le retour vaut LONG_MAX ou LONG_MIN, auquel cas, c'est une erreur.

Est-ce correct ? Il y a t-il plus simple ? :?

Merci d'avance !!! :ccool:
22/11/2010, 16h29
Invité(e)
L'inconvénient de strtol est qu'on a vite fait de confondre chaine invalide et zero.

Citation:

Il y a t-il plus simple ?

De mon point de vue, une solution simple* serait d'utiliser sscanf :
Code:

1 2 3 4 5 6 int entier; if(1 == sscanf(chaine_a_convertir, "%d", &entier)) { /* la conversion a réussi */ } else { /* la conversion a échoué */ }
* simple car le retour de sscanf nous dit si la conversion s'est bien passée.
22/11/2010, 19h05
gl

Citation:

Envoyé par mabu

L'inconvénient de strtol est qu'on a vite fait de confondre chaine invalide et zero.

C'est vrai avec atoi(), pas avec strtol() dont le paramètre endptr sert à gérer ce cas d'erreur.

Il permet également, ce que ne permet pas facilement sscanf(), de savoir si tout à été converti ou si la conversion s'est arrêtée sur une caractère non convertible et, le cas échéant, où la conversion s'est arrêtée.

Concernant le troisième point de Bktero, LONG_MAX ou LONG_MIN ne sont pas nécessairement des erreurs (il est possible que ce soit le résultat correct de la conversion), il faut en plus tester errno.
J'ignore comment se comporte sscanf() dans ce cas de figure, il faudrait que je jette un œil dans la norme.

strtol() est certes un peu laborieux à utiliser correctement mais permet un contrôle assez fin des erreurs.
23/11/2010, 09h32
Bktero
J'avoue que sscanf est très tentante. Elle permet simplement de vérifier que la conversion a été faite. Ce qui arrive en entrée de la fonction de conversion est déjà pas mal contrôlée en amont. En fait, j'ai une liste de nombres séparés par des virgules dans un fichier de configuration ; le binaire est lancé par un shell qui vérifie le bon format de la chaine ; le binaire découpe la chaîne avec strtok. Donc a priori, si ça arrive à la conversion, ce sont des chiffres uniquement.

En revanche, oui, ça parait clair d'avoir un contrôle plus détaillé de la conversion... Mais j'ai toujours un peu de mal à juger de tous les cas possibles. Mon idée était la suivante :
Code:

1 2 3 4 5 6 7 8 9 10 11 char * pt_erreur= NULL ; long monNombre = 0 ; char maChaine[] = "42"; monNombre = strtol( maChaine , &pt_erreur , 10); if(monNombre = 0) { // Et là, ça se corse... }
Ca se corse, car la doc dit "si endptr n'est pas NULL". Ca sous-entend qu'on a donné un "vrai" pointeur en paramètre et non écrit NULL ?

On a ensuite "en particulier, si *nptr n'est pas `\0' et si **endptr vaut `\0' en retour, la chaîne entière est valide". Il faut donc, dans le cas d'un retour nul, faire un strcpy entre la chaine d'origine et "\0" et regarde si *pt_erreur = '\0' ?

Mon LONG_MIN et MAX, ça serait quand même de la chance que ça ne soit pas une erreur non ? Ça voudrait dire que de toutes les valeurs de trop grande amplitude, notre nombre est comme par hasard égale à l'une des ces 2 bornes....

Je me suis pris par la main, et j'ai codé un truc. J'ai trouvé un cas où sscanf passe à côté d'une erreur et où strtol s'en sort bien.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
 
#include <stdio.h>
 
int main(void)
{
    char maChaine[] = "  -1116 5";
    printf("Resultat = '%d' \n",convertion_sscanf(maChaine));
    printf("Resultat = '%d' \n",convertion_strtol(maChaine));
}/*main*/
 
 
int convertion_sscanf(char maChaine[])
{
    int monEntier = 0;
    printf("\n--- Convertion avec sscanf ---\n");
    if(1 == sscanf(maChaine,"%d",&monEntier))
    {
        printf("Succes de la convertion ^^\n");
    }
    else
    {
        printf("Erreur de la convertion !\n");
    }
    return monEntier;
}/*convertion_sscanf*/
 
 
int convertion_strtol(char maChaine[])
{
    long monEntier = 0;
    char *pt_erreur = NULL;
    printf("\n--- Convertion avec strtol ---\n");
    monEntier = strtol(maChaine, &pt_erreur, 10);
    printf("Contenu de mon pointeur d'erreur : %c \n",*pt_erreur);
    if(maChaine[0] != '\0' && *pt_erreur == '\0')
    {
        printf("Succes de la convertion ^^\n");
    }
    else
    {
        printf("Erreur de la convertion !\n");
    }
 
    return (int) monEntier;
}/*convertion_strtol*/

Voyez-vous des erreurs ou des omissions dans ce code ?

Merci d'avance ;)

23/11/2010, 11h08
jeroman

Citation:

Ca se corse, car la doc dit "si endptr n'est pas NULL". Ca sous-entend qu'on a donné un "vrai" pointeur en paramètre et non écrit NULL ?

On a ensuite "en particulier, si *nptr n'est pas `\0' et si **endptr vaut `\0' en retour, la chaîne entière est valide". Il faut donc, dans le cas d'un retour nul, faire un strcpy entre la chaine d'origine et "\0" et regarde si *pt_erreur = '\0' ?

Même si on peut envoyer NULL comme second argument à la fonction, ce pointeur (*endptr) est essentiel pour connaître l'adresse du premier caractère invalide et donc de juger le degré de réussite de la conversion.

Par déduction, on peut donc dire que (cas où *endptr n'est pas NULL) :

1) si *nptr est différent de '\0' (c'est-à-dire que la chaîne à scanner n'est pas vide) et que **endptr vaut '\0' (c'est-à-dire que le premier caractère invalide est le caractère de fin de chaîne), la conversion s'est totalement bien passée. Cas d'une conversion de chaine "1234" par exemple.

2) si nptr et *endptr sont différents (c'est-à-dire qu'il y a au moins un caractère valide) alors que **endptr est différent de '\0' (c'est-à-dire que le premier caractère invalide trouvé est un caractère autre que celui de fin de chaîne), la conversion a donc partiellement réussi. Cas d'une conversion d'une chaine "1234hello" (si on utilise une base non exotique bien sûr) ou "9876,122" (cela peut donc servir de méthode alternative pour scanner un CSV, une méthode parmi d'autres [comme celle du découpage de chaine comme tu le fais]) par exemple.

3) si nptr et *endptr sont égaux, alors le premier caractère trouvé est invalide : la conversion a totalement échoué et la fonction renvoie 0. Cas de la conversion d'une chaine telle que "s0123" (si on n'utilise pas une base exotique) ou "" par exemple.

Par conséquent, si on envoie NULL comme second argument (*endptr), on ne peut donc pas savoir si la conversion a partiellement ou totalement réussi dans le cas où la fonction renvoie une valeur autre que 0 ni si elle a partiellement réussi, totalement réussi ou totalement échoué lorsque la fonction renvoie la valeur 0. D'où l'importance d'utiliser un pointeur autre que NULL comme second argument (même si la fonction le permet), afin d'effectuer tous ces tests.

C'est ça qu'ils veulent expliquer dans cette partie :

Citation:

Si endptr n'est pas NULL, strtol() stocke l'adresse du premier caractère invalide dans *endptr. S'il n'y avait aucun chiffre valide, strtol() stocke la valeur originale de nptr dans *endptr (et renvoie 0). En particulier, si *nptr n'est pas `\0' et si **endptr vaut `\0' en retour, la chaîne entière est valide.
23/11/2010, 14h00
Bktero

Ce que tu dis correspond à ce que j'ai obtenu en testant mon bout de code, et donc valide ce petit bout de code :)

Merci à tous pour vos réponses, je marque le sujet comme résolu ;)
23/11/2010, 21h52
gl

Citation:

Envoyé par jeroman

1) si *nptr est différent de '\0' (c'est-à-dire que la chaîne à scanner n'est pas vide) et que **endptr vaut '\0' (c'est-à-dire que le premier caractère invalide est le caractère de fin de chaîne), la conversion s'est totalement bien passée. Cas d'une conversion de chaine "1234" par exemple.

2) si nptr et *endptr sont différents (c'est-à-dire qu'il y a au moins un caractère valide) alors que **endptr est différent de '\0' (c'est-à-dire que le premier caractère invalide trouvé est un caractère autre que celui de fin de chaîne), la conversion a donc partiellement réussi. Cas d'une conversion d'une chaine "1234hello" (si on utilise une base non exotique bien sûr) ou "9876,122" (cela peut donc servir de méthode alternative pour scanner un CSV, une méthode parmi d'autres [comme celle du découpage de chaine comme tu le fais]) par exemple.

3) si nptr et *endptr sont égaux, alors le premier caractère trouvé est invalide : la conversion a totalement échoué et la fonction renvoie 0. Cas de la conversion d'une chaine telle que "s0123" (si on n'utilise pas une base exotique) ou "" par exemple.

Juste une petite précision parce que la formulation du man n'est pas très clair je trouve.
Dans l'exemple de Bktero, c'est *pt_erreur qu'il faut comparer à '\0' pour savoir si tout a été bien converti et non **pt_erreur.