Discussion :

[stgi02]

salut,

c 'est pour savoir si dans une fonction on doit traiter les arguments dans l ordre comme ils sont été définis. je pense que oui mais...

merci

[bigboomshakala]

tu peux préciser ta penser ? est-ce que tu parles de l'évaluation des arguments avant l'entrée dans la fonction ? comme par exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
void f(int a,int b)
{
	cout << "a = " << a << ", b = " << b << endl;
}
 
[...]
 
	int i=0;
	f(i,i++);
	f(i++,i);
	f(i,i);

qui donne

a = 1, b = 0
a = 1, b = 2
a = 2, b = 2

[stgi02]

je veux savoir si il faut traiter a avant b
c' est un cas général

merci

[bigboomshakala]

on va dire qu'on est déjà dans la fonction ...

non

[stgi02]

j ai pas compris ta réponse

[niglo]

tu peux préciser ta penser ? est-ce que tu parles de l'évaluation des arguments avant l'entrée dans la fonction ? comme par exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
void f(int a,int b)
{
	cout << "a = " << a << ", b = " << b << endl;
}
 
[...]
 
	int i=0;
	f(i,i++);
	f(i++,i);
	f(i,i);

qui donne

a = 1, b = 0
a = 1, b = 2
a = 2, b = 2

J'aurai plutot dit
a=0, b=0
a=1, b=2
a=2, b=2

Non ?? Sinon pourquoi a=1 dans le premier appel ?

[Neitsa]

Bonjour,

je veux savoir si il faut traiter a avant b
c' est un cas général

Non, il n'y a absolument aucun impératif à traiter a avant b !

En terme clair, tu peux traiter les arguments de la fonction dans n'importe quel ordre, voir (même si cela ne sert à rien) ne pas les traiter du tout.

[stgi02]

merci

[bigboomshakala]

J'aurai plutot dit
a=0, b=0
a=1, b=2
a=2, b=2

Non ?? Sinon pourquoi a=1 dans le premier appel ?

et non, c'est le piège.

j'ai oublié un cas :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
void f(int a,int b)
{
   cout << "a = " << a << ", b = " << b << endl;
}
 
[...]
 
   int i=0;
   f(i,i++);
   f(i++,i);
   f(i,i);
   f(i++,i++);
   cout << "i = " << i << endl;

le dernier donne

a = 3, b = 2

et

i = 4

[bigboomshakala]

lorsque des arguments doivent être évalués avant d'être passés à la fonction, ils sont évalués en partant de la fin

ie :

f(i++,i++) le 2è i++ est évalué avant le 1er. c'est "très grosso modo" comme si on avait

Code :

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

1
2
f(i+2,i+1)
i = i+2;

(c'est juste illustratif)

si on a une fonction g(a,b,c,d,e,f) :

i = 0;
g(i++,i,i++,i,i,i++)



g(3,4,2,4,4,1)

Les arguments sont évalués de droite à gauche. la valeur de ceux qui n'ont pas besoin d'être évalué (cas d'une expression se résumant à une variable) peut dépendre des évaluations des autres arguments (puisqu'ici i est modifié à chaque évaluation), d'où le piège.

[niglo]

ok merci pour ces explications !

Par contre, pour l'exemple avec g(....), je comprend bien les 1,2,3 mais d'ou viennent les 4 ???

i = 0;
g(i++,i,i++,i,i,i++)

Arrow

g(3,4,2,4,4,1)

On part de i=0 et fait 3 fois i++, donc pour moi, i vaut 3 :
0++ = 1
1++ = 2
2++ = 3

donc j'aurai tendance à dire g(3,3,2,3,3,1) mais je suppose qu'il y a encore un truc que j'ai pas compris

[Laurent Gomila]

lorsque des arguments doivent être évalués avant d'être passés à la fonction, ils sont évalués en partant de la fin

Je n'ai pas pu trouver une source claire sur le sujet, mais il me semble que ce n'est pas défini dans la norme. Et que pour avoir un ordre d'évaluation bien défini, il faut passer par des variables temporaires.

Par contre, l'ordre d'empilement des paramètres sur la pile, est lui bien comme tu le décris (de la fin vers le début).

Mais bon, on s'écarte du sujet là.

[JolyLoic]

ok merci pour ces explications !

Par contre, pour l'exemple avec g(....), je comprend bien les 1,2,3 mais d'ou viennent les 4 ???

Code :

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

1
2
i = 0;
g(i++,i,i++,i,i,i++)

Ce code étant illégal, le compilateur aurait tout aussi bien le droit de mettre tout ce qu'il veut, 42, -314, de formater ton disque dur, d'envoyer des insultes en ton nom à ton patron/prof...

Quant à l'ordre d'évaluation des arguments d'une fonction, il est effectivement non spécifié.

[Luc Hermitte]

Et il n'y a donc pas de réponse meilleure que les autres vu que chaque compilo va faire comme il l'entend.
Cf p.ex la liste des souhaits qui ne seront jamais exhaucés qui été exprimés pour GCC.