sujet interessant

Bonjour
j'ai un sujet qui parait un peu debile mais c'est vraiment interessant
i=3;
i=i++;

la valeur de i est combien a votre avis?repondez sans tester ces lignes de codes,avec des justifications s'il vous plait

moudhafer a écrit:Bonjour
j'ai un sujet qui parait un peu debile mais c'est vraiment interessant
i=3;
i=i++;

la valeur de i est combien a votre avis?repondez sans tester ces lignes de codes,avec des justifications s'il vous plait

i == 4

tu peux justifier ta reponse???moui je dis que c faux je dis que la repone i==3
on laisse l'essai sur machine aprés

"i = i++" est transformé par le compilateur en deux instruction séparées:

1) i = i

2) i = i + 1;

donc i == 4

j'insiste encore que i==3
excuse moi nabil,mais la regle d'interference de l'affectation n'est pas comme ca.
La regle est:

Code:

 pourx=e,avec e une expression quelconque
on evalue e dans l'etat de la memoire E,on obtient un nouvel etat E' et une valeur de retour v.puis on change la valeur de x dans ll'etat E',en affectant a x la valeur v.
Maintenant il reste a connaitre la regle d'interference de i++!l'execution de i++ dans un etat E est,retourner E(i),puis obtenir un nouvel etatE' dans lequel i vaut E(i)+1

la je vous ai donné les 2 regles d'interference dont on aura besoin,et a vous de les appliquer puis decouvrir que i=i++ est la fonction identité!!!bizare nn?
Jattends vos reponses.a propos si vous l'essayez avec C il va vous mettre un warning qui dit que cette affectation est impossible,si vous n'etes pas convaincu avec ce que j'ai dit essayez en java

Tu as testé le résultat Moudhafer?

oui j'ai testé et c'est bien 3

alors vous etes convaincu?je veux dire convaincu en appliquant les regles d'inference,nn par le test?
A propos j'ai dit i=i++,c pas tout a fait l'identité,c l'identité en Big Step en fait