Editer un article - Informaticien.be

Editer un article

Titre
Mots Clés
Texte	[size=18] [b]Nom[/b] [/size] stdarg, va_start, va_arg, va_copy, va_end - Liste variable d'arguments. [size=18] [b]Résumé[/b] [/size] [b]#include <stdarg.h>[/b] [b][i]void va_start (va_list ap , last );[/i][/b] [b][/b] [b][i] type va_arg (va_list ap , type );[/i][/b] [b][/b] [b][i]void va_end (va_list ap );[/i][/b] .b [b][i]void va_copy (va_list dest , va_list src );[/i][/b] [size=18] [b]Description[/b] [/size] Une fonction peut être appelée avec un nombre variable d'arguments, eux-mêmes de types variables. Une telle fonction est dite "variadique". Le fichier d'en-tête [i]stdarg.h[/i] déclare un type [b]va_list[/b] et définit trois macros permettant de parcourir la liste d'arguments dont le nombre et les types ne sont pas connus par la fonction appelée. La fonction appelée doit déclarer un objet de type [b]va_list[/b] utilisé par les macros [b]va_start ,[/b] [b]va_arg ,[/b] et [b]va_end .[/b] [b]Va_start[/b] La macro [b]va_start[/b] initialise [i]ap[/i] pour les utilisations ultérieures de [b]va_arg[/b] et [b]va_end ,[/b] et doit donc être appelée en premier. Le paramètre [i]last[/i] est le nom du dernier paramètre avant la liste d'argument variable, c'est-à-dire le dernier paramètre dont la fonction connaisse le type. Comme l'adresse de ce paramètre est utilisée dans la macro [b]va_start[/b] il ne doit pas être déclaré comme une variable en registre, ni comme un type fonction ou tableau. [b]Va_arg[/b] La macro [b]va_arg[/b] se développe en une expression qui a le type et la valeur de l'argument suivant de l'appel. Le paramètre [i]ap[/i] est la [b]va_list[/b] [i]ap[/i] initialisée par [b]va_start .[/b] Chaque appel de [b]va_arg[/b] modifie [i]ap[/i] pour que l'appel suivant renvoie l'argument suivant. Le paramètre [i]type[/i] est le nom du type, indiqué de telle manière qu'un pointeur sur un objet de ce type puisse être déclaré simplement en ajoutant un astérisque à [b]type .[/b] La première utilisation de la macro [b]va_arg[/b] après celle de [b]va_start[/b] renvoie l'argument suivant [b]last .[/b] Les invocations successives renvient les valeurs des arguments restants. S'il n'y a pas d'argument suivant, ou si [i]type[/i] n'est pas compatible avec le type réel du prochain argument, des erreurs imprévisibles se produiront. Si [i]ap[/i] est passé à une fonction qui utilise [b][i]va_arg( ap , type )[/i][/b] alors la valeur de [i]ap[/i] est indéfinie après le retour de cette fonction. [b]Va_end[/b] A chaque invocation de [b]va_start[/b] doit correspondre une invocation de [b]va_end[/b] dans la même fonction. Après l'appel [b][i]va_end( ap )[/i][/b] la variable [i]ap[/i] est indéfinie. Plusieurs traversées de la liste sont possible, à condition que chacune soit encadrée par [b]va_start[/b] et [b]va_end .[/b] [b]va_end[/b] peut être une macro ou ue fonction. [b]Va_copy[/b] Une implémentation évidente est de représenter [b]va_list[/b] par un pointeur dans la pile de la fonction variadique. Dans une telle situation (de loin la plus courante), rien ne semble s'opposer à une affectation[table][row][col]    [/col][col] .nf va_list aq = ap; .fi[/col][/row][/table] Malheureusement, il y a aussi des systèmes qui créent une table de pointeurs (de longueur 1), et on devrait écrire[table][row][col]    [/col][col] .nf va_list aq; aq = ap; .fi[/col][/row][/table] De plus, sur les systèmes où les paramètres sont passé dans des registres, il peut être nécessaire pour [b]va_start[/b] d'allouer de la mémoire, d'y enregistrer les paramètres ainsi que l'indication du paramètre suivant, afin que [b]va_arg[/b] puisse balayer la liste. Ainsi [b]va_end[/b] pourra libérer la mémoire allouée. Pour gérer ces situations, C99 ajoute une macro [b]va_copy ,[/b] afin que les affectations ci-dessus soient remplacées par[table][row][col]    [/col][col] .nf va_list aq; va_copy(aq, ap); ... va_end(aq); .fi[/col][/row][/table] A chaque invocation de [b]va_copy[/b] doit correspondre une invocation de [b]va_end[/b] dans la même fonction. Certains systèmes qui ne disposent pas de [b]va_copy[/b] ont une macro [b]__va_copy[/b] à la place, puisque c'était le nom proposé auparavant. [size=18] [b]Exemples[/b] [/size] La fonction [i]foo[/i] prend une chaîne de caractères de mise en forme, et affiche les arguments associés avec chaque format correspondant au type indiqué.[table][row][col]    [/col][col] .nf #include <stdio.h> #include <stdarg.h> void foo (char fmt, ...) { va_list ap; int d; char c, p, s; va_start (ap, fmt); while (fmt) switch (fmt ++) { case 's': / chaîne / s = va_arg (ap, char ); printf ("chaine %sen", s); break; case 'd': /* entier / d = va_arg (ap, int); printf ("int %den", d); break; case 'c': / caractère */ c = va_arg (ap, char); printf ("char %cen", c); break; } va_end (ap); } .fi[/col][/row][/table] [size=18] [b]Conformité[/b] [/size] Les macros [b]va_start ,[/b] [b]va_arg ,[/b] et [b]va_end[/b] sont conformes à ANSI X3.159-1989 ("C89"). C99 définit la macro [b]va_copy .[/b] [size=18] [b]Compatibilité[/b] [/size] Ces macros ne sont [i]PAS[/i] compatibles avec les anciennes macros qu'elles remplacent. Une compatibilité de version peut être obtenue en incluant le fichier d'en-tête [b]varargs.h .[/b] [size=18] [b]Comparaison[/b] [/size] La mise en oeuvre historique est :[table][row][col]    [/col][col] .nf #include <varargs.h> void foo(va_alist) va_dcl { va_list ap; va_start(ap); while(...) { ... x = va_arg(ap, type); ... } va_end(ap); } .fi[/col][/row][/table] Sur certains systèmes, [i]va_end[/i] contient une accolade fermante '}' correspondant à l'accolade ouvrante '{' dans [b]va_start ,[/b] ainsi les deux macros doivent se trouver dans la même fonction, placées d'une manière qui permette ceci. [size=18] [b]Bugs[/b] [/size] Contrairement aux macros [b]varargs ,[/b] les macros [b]stdarg[/b] ne permettent pas aux programmeurs de coder une fonction sans aucun argument fixe. Ce probleme se pose principalement en convertissant directement du code utilisant [b]varargs[/b] en code utilisant [b]stdarg ,[/b] mais il se pose également pour les fonctions qui désirent passer tous leurs arguments à une fonction utilisant un argument [b]va_list[/b] comme [b]vfprintf (3).[/b] [size=18] [b]Traduction[/b] [/size] Christophe Blaess, 1996-2003.
Fichier