Florian Moraru PROGRAMAREA CALCULATOARELOR în limbajul C

Transmiterea argumentelor efective la apelul unei functii se face în C prin copierea
valorilor argumentelor efective în argumentele formale (care sunt variabile locale ale
functiei). In acest fel functia apelatã lucreazã cu duplicate ale variabilelor argumente
efective si nu poate modifica accidental variabile din functia apelantã.
Compilatorul C genereazã o secventã de atribuiri la argumentele formale înainte de
efectuarea saltului la prima instructiune din functia apelatã. Din acest motiv toate
conversiile de tip efectuate automat la atribuire se aplicã si la transmiterea
argumentelor.
In functia urmãtoare se modificã aparent valoarea lui k dar de fapt se modificã o
variabilã localã, fãrã sã fie afectatã variabila ce contine pe k în "main":
long fact (int k) { // calcul factorial
long kf=1L;
while (k > 0 )
kf = kf * k--; // k=k-1 dupa inmultire
return kf; // rezultat functie
}
Un alt exemplu clasic este o functie care încearcã sã schimbe între ele valorile a
douã variabile, primite ca argumente:
void swap (int a, int b) { // nu este corect !!!
int aux;
aux=a; a=b; b=aux;
}
void main () {
int x=3, y=7;
swap(x,y);
printf ("%d,%d \n",x,y); // scrie 3,7 !
}
In general o functie C nu poate transmite rezultate si nu poate modifica argumente
de un tip numeric. In C pentru transmiterea de rezultate prin argumente de cãtre o
functie trebuie sã folosim argumente formale de tip pointer (adrese de memorie).
Versiunea corectã pentru functia “swap” este urmãtoarea:
void swap (int * pa, int * pb) { // pointeri la intregi
int aux;
aux=*pa; *pa=*pb; *pb=aux;
}
Apelul acestei functii foloseste argumente efective pointeri:
int x, y ; . . .
swap (&x, &y) ; // schimba valorile x si y intre ele