Discussion :

[haribooo]

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 :

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

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;

[pseudocode]

Code :

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

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

Avec une variable locale, le code est équivalent à

Code :

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

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 :

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

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