Dalla A alla Z passando per C - Robotica

void swap(int *a, int *b)
{
int tmp;
}
tmp = *a;
*a = *b;
*b = tmp;
Gli argomenti delle funzioni possono essere tipi semplici o strutture dati e, come detto, sono
sempre passati per valore; anche se è consentito, normalmente non vengono passate strutture
dati né come argomenti né come valori di ritorno. Si preferisce invece, per ragioni di efficienza,
allocare le strutture dati separatamente e passare solo i puntatori ad esse, effettuando così un
passaggio per riferimento.
Perchè si parla di questioni di efficienza? Come detto, il passaggio dei parametri che avviene
per valore comporta l’allocazione di una copia locale delle variabili dichiarate nella lista dei
parametri. Oltre all’allocazione, tali variabili devono anche essere inizializzate per riflettere il
valore delle variabili o espressioni del chiamante. Questo comporta, nel caso in cui il parametro
passato sia una variabile, la copia esplicita di una porzione di memoria dalla variabile utilizzata
per la chiamata alla variabile locale. Nel caso le variabili siano strutture dati c’è quindi una
perdita di efficienza nel passaggio dei parametri che è proporzionale alla dimensione della variabile,
in quanto il tempo necessario alla copia del valore aumenta all’aumentare della dimensione
della struttura.
Un altro caso in cui è utilizzato il passaggio per riferimento è nel caso in cui una funzione
debba ritornare più di un valore, per esempio un numero intero e un codice di errore. Anche
in questo caso è possibile utilizzare il passaggio per riferimento e passare quindi dei puntatori
come argomenti ulteriori, in modo che la funzione possa scrivere i valori di ritorno in una o più
variabili del chiamante. Esempio:
int findid(struct obj *item, int *errorptr)
{
if (isvalid(item) == 0) {
*errorptr = ERR_INVALID;
return 0;
}
*errprptr = ERR_NOERROR;
return internal_findid(item);
}
Nell’esempio precedente, la funzione findid viene utilizzata per trovare un valore intero all’interno
della struttura passata come argomento (anche la struttura è passata per riferimento, per i
motivi di efficienza appena illustrati). Quindi il tipo restituito dalla funzione findid è intero. Per
ricercare il valore, findid si appoggia alla funzione internal_findid, che accetta il puntatore
alla struttura come parametro. Prima di chiamare internal_findid, findid effettua dei controlli
di validità sulla struttura, in quanto internal_findid si aspetta in ingresso una struttura
corretta. Inoltre, internal_findid deve notificare al chiamante il fatto di aver ricevuto o meno
una struttura corretta, in modo che il chiamante non interpreti erroneamente il valore di ritorno
di findid. Ecco che il secondo parametro di findid viene modificato internamente alla funzione
per assegnargli il codice di errore e, di fatto, ritornare un secondo valore di uscita. Un possibile
uso della funzione dell’esempio è il seguente:
98