Discussion :

[domiq44]

Bonjour,

Je cherche, tout simplement, à faire une fonction acceptant un nombre multiple d'arguments.
Je travaille sur Linux avec gcc.

Je viens de faire le "test case" suivant :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
 
static void many_args(const char *string, ...) {
	va_list args;
	va_start(args, string);
	while (string) {
		puts(string);
		string = va_arg(args, const char*);
	}
	va_end(args);
}
 
int main(void) {
	many_args("aaa", "bbb", "ccc");
	return EXIT_SUCCESS;
}

que je compile avec la ligne de commande suivante :

Code :

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

gcc -Wall -pedantic -o test test.c

La compilation est ok, mais voilà le résultat obtenu :

$ ./test
aaa
bbb
ccc
AWAVI��AUATL�%� 


AWAVI��AUATL�%� 
����
Erreur de segmentation (core dumped)
$

Je ne comprends pas !

Est ce que quelqu'un peut m'expliquer svp ?
Merci.

[foetus]

Je dirais que ton problème est trivial

Tu retires les arguments sur la pile - Mais quelle est la condition de fin ?
Ce que tu observes c'est un débordement, justement parce que tu n'as pas de condition de fin.

Il faut passer le nombre d'arguments -> void many_args(size_t nb_args, const char *string, ...).
Ou alors peut-être terminer avec une valeur sentinelle à réfléchir.

[Bousk]

va_arg ne sait pas compter les paramètres, ni déterminer leurs types.

Notice also that va_arg does not determine either whether the retrieved argument is the last argument passed to the function (or even if it is an element past the end of that list). The function should be designed in such a way that the number of parameters can be inferred in some way by the values of either the named parameters or the additional arguments already read.

Classiquement tu dois terminer avec une valeur sentinelle, type NULL.

Tu as des tricks pour compter les paramètres https://renenyffenegger.ch/notes/dev...ount-arguments mais ça reste bancal.
Le plus simple serait de passer par une macro pour l'appel réel, macro qui ajoute la sentinelle automatiquement

Code :

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

#define many_args(...) many_args_impl(__VA_ARGS__, NULL)

Note qu'en C++ il est possible de compter les paramètres variadiques et de déterminer leurs types.

[domiq44]

terminer avec une valeur sentinelle

Merci foetus, je me doutais bien de quelque chose comme ça, mais je ne me souvenais plus de cette particularité.

Classiquement tu dois terminer avec une valeur sentinelle, type NULL.

Merci Bousk pour toutes ces précisions.

Voici donc le code corrigé :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
 
static void many_args(const char *string, ...) {
	va_list args;
	va_start(args, string);
	while (string) {
		puts(string);
		string = va_arg(args, const char*);
	}
	va_end(args);
}
 
int main(void) {
	many_args("aaa", "bbb", "ccc", NULL);
	return EXIT_SUCCESS;
}

Donnant le bon résultat :

Code :

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

1
2
3
4
5
$ ./test
aaa
bbb
ccc
$