Délocalisation de variable (Charge du stack)

Bonjour,

Je dois indiquer, lors d'un exercice, si je peux "délocaliser" une variable "k" sans modifier l'effet de la procédure.

En réécrivant le code, j'ai trouvé si je peux ou pas. Dans mon cas, je NE PEUX PAS. Lors de la délocalisation de celle-ci, le résultat obtenu change.

MAIS, je ne sais pas expliquer pourquoi ... Comment peut-on expliquer ceci ?

voici mon bout de code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

PROCEDURE CadreF1 (n: INTEGER): INTEGER; PROCEDURE F1 (n: INTEGER): INTEGER; VAR k: INTEGER ; BEGIN (*F1*) IF n <= 1 THEN RETURN n END; k := n - 2; RETURN F1(n-1) + F1(k) END F1; BEGIN (*CadreF1*) RETURN F1(n) END CadreF1;

---

Code:

---

1 2	k := n - 2; RETURN F1(n-1) + F1(k)

---

Avec une variable locale, le code est équivalent à

Code:

---

RETURN F1(n-1) + F1(n-2)

---

Avec une variable non locale, on ne connait pas le valeur de "k" au moment de l'appel de F1(k) car l'appel de F1(n-1) à modifié cette valeur.

C'est plus parlant si on réécrit le code comme cela:

Code:

---

1 2 3 4 5

k := n - 2; // ici, on affecte la valeur k F1a := F1(n-1) // ici, la fonction F1() va modifier la valeur de k F1b := F1(k) // ici, on ne sait plus combien vaut k Sum := F1a + F1b RETURN Sum

---