Discussion :

[PluX59]

Bonjour,

Désolé si j'aborde un sujet déjà traité, mais ma recherche sur le forum n'a rien donné.

J'ai un cas concret sur Linux en C avec printf en 2 lignes.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
  #include <stdio.h>
 
  int main(int nArgCount, char **sArguments) {
    printf("#DEBUG: essai '%s', '%s'\n", "p1", "p2");
    printf("#DEBUG: essai '%s', '%s'\n", "p1");
 
    return 0;
  }

A l'exécution j'ai comme affichage:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
  #DEBUG: essai 'p1', 'p2'
  #DEBUG: essai 'p1', 'p2'

Strange. Je dirais même plus: pas terrible

Le compilateur est gcc 4.2.3 (un récent).

Là où je veux en venir, c'est que j'ai écrit une fonction qui utilise stdarg.h (avec les f(a/u)meuses macros va_start, va_arg et va_end) et je cherche un moyen simple de déterminer le nombre d'arguments passés à la fonction (définie avec quelques paramêtres et '...').

L'idée étant de détecter d'anciennes valeurs passées afin de ne prendre en compte que les nouvelles (ie: dans mon exemple l'argument 'p2' du 2è printf serait détecté comme une ancienne valeur).

J'ai quelques menues idées, mais voudrais savoir comment vous procédriez

PluX59

[Médinoc]

Le plus simple, c'est de mettre une valeur sentinelle, comme dans execl() : Le dernier paramètre doit toujours être un pointeur nul...

[Médinoc]

Note: Un gcc bien réglé te donnera un avertissement sur le code que tu as posté...

[PluX59]

Le plus simple, c'est de mettre une valeur sentinelle, comme dans execl() : Le dernier paramètre doit toujours être un pointeur nul...

Effectivement, c'est une solution... C'est celle que j'ai retenue en dernier recours...

C'est comme celle d'indiquer le nombre d'arguments avant la déclaration variadique...

J'en suis arrivé à creuser le business de stockage des variables dans la pile pour effacer leur contenu (ie: des pointeurs sur chaines ou des valeurs directes de type int et compagnie) au fur et à mesure de la lecture de mes valeurs.

Parce que c'est bien ce boulot là que ne font pas les fonctions __builtin_va_arg des compilos (aliasés par va_arg et les autres macros définies par stdarg.h).

Je pensais plutôt à des solutions 'logicielles' (ie: garder une trace des précédents appels...) ou 'brutales' (comme celle que j'ai citée précédemment)...

PluX59

[Médinoc]

Fais gaffe, les solutions "brutales" risquent de tomber sur un os si le compilo fait certaines optimisations auxquelles tu n'avais pas pensé... (surtout gcc).

[millie]

Strange. Je dirais même plus: pas terrible

En fait, c'est classique.

Le premier appelle à printf empile les pointeurs p1 et p2. Puis il y a dépilement (sans suppression !)
Le deuxième appelle empile juste p1 (mais le pointeur sur p2 est toujours là).
printf voit qu'il doit écrire 2 arguments, il regarde là où doit être p1 et regarde ensuite au pointeur suivant sur la pile (il y a toujours un pointeur vers p2)

Et donc ça affiche "p1" "p2" deux fois.

Mais si le dépilement mettait 0 à tous les coups, ça planterait bien.

[PluX59]

En fait, c'est classique.

Le premier appelle à printf empile les pointeurs p1 et p2. Puis il y a dépilement (sans suppression !)
Le deuxième appelle empile juste p1 (mais le pointeur sur p2 est toujours là).
printf voit qu'il doit écrire 2 arguments, il regarde là où doit être p1 et regarde ensuite au pointeur suivant sur la pile (il y a toujours un pointeur vers p2)

Et donc ça affiche "p1" "p2" deux fois.

Mais si le dépilement mettait 0 à tous les coups, ça planterait bien.

Merci pour les explications, j'avais bien compris l'effet de bord...

Par contre quand tu dis que ça planterait bien... Je préfère nuancer en disant que c'est pas prévu pour que ça ne plante pas dans ce cas là.

Personnellement, dans le cas que je traite, je comptais sur la détermination du nombre d'arguments ou sur le fait qu'à partir du dernier argument on me retournait une valeur NULL pour sortir de ma fonction...

Pourquoi le code:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
printf("#DEBUG: essai '%s', '%s'\n", 'P1");

n'afficherait-il pas simplement

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
#DEBUG: essai 'P1', '%s'

?

Ca me semble logique pour un code cloisonné... Ici ça n'est pas le cas, d'où mon "pas terrible"

Pour l'instant l'ajout d'un <NULL> en dernier paramêtre d'appel est encore la solution la moins couteuse en temps et la plus propre, effectivement...

PluX59

[trax44]

ben en fait tu fais quelques <<~d'anormale~>> => conséquence <<~anormale~>

après commence par un gcc -Wall quand tu compiles ou encore plus marrant -Werror (cf man gcc)

C'est juste que, de base, gcc laisse passer beaucoup de choses.

[droggo]

Jeo,

Pourquoi le code:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
printf("#DEBUG: essai '%s', '%s'\n", 'P1");

n'afficherait-il pas simplement

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
#DEBUG: essai 'P1', '%s'

Tu lui demandes d'afficher deux chaînes, pourquoi voudrais-tu qu'il ne t'en affiche qu'une ?

Comme l'a rappelé Médinoc, il faut bien régler ton compilateur, et tenir compte de ce qu'il te raconte.

[Vincent Rogier]

Là où je veux en venir, c'est que j'ai écrit une fonction qui utilise stdarg.h (avec les f(a/u)meuses macros va_start, va_arg et va_end) et je cherche un moyen simple de déterminer le nombre d'arguments passés à la fonction (définie avec quelques paramêtres et '...').

les macros de la famille va_xxx n'ont aucune idées du nombre d'argument.

En C, toute les fonctions à nombre de paramètres variable doivent se baser un des paramètres fournis pour déterminer le nombre d'argument :

• chaine de caractères de type format avec n identifiants (libc)
• paramètre numérique précisant le nombre d'arguments
• sentinelle

Il n'y a pas d'autres possibilités....

PS : La sentinelle (pointeur nul) présente le défaut de pouvoir être confondue avec un argument qui peut être un pointeur null...