[C/C++] Chiarimento su *& nelle funzioni ricorsive

[Krdan]

Visto che è da un po' che ho questo dubbio e vorrei finalmente capire, conoscete una guida o mi potete spiegare perché serve il puntatore di riferimento in certe funzioni ricorsive?
Ad esempio in questa funzione che conta i nodi di un albero binario

Codice: Seleziona tutto

unsigned dim(nodo* &root) {
	if (!root)
		return 0;
	else
		return dim(root->sx)+dim(root->dx)+1;
}

Perché se tolgo il riferimento non va più?
Grazie in anticipo 

[paper0k]

Forse ancora non ho bevuto abbastanza caffè... a me sembra strano che senza ref non funzioni.... ma perchè ti da errore? Cioè in compilazione o in esecuzione non funziona?

[zuper]

pernso perche se passi solo nodo*

se root==0 OK

altrimenti , non avendo il riferimento, fa una copia del dato puntatore, il quale forse referenzia altrove......una volta avavo avuto un errore simile , ma non mi ricordo bene...

[Krdan]

Questa funzione già è particolare a volte non va senza riferimento, però ci sono casi in cui se tolgo il riferimento ad una determinata funzione pare non fare proprio nulla.
Comunque per compilare compila, è in esecuzione che mi accorgo che queste funzioni ricorsive senza riferimento a volte non fanno assolutamente nulla.

[thelo]

io penso che ci sia qualcosa che non và da un altra parte...ad esempio nella funzione di inserimento nell'albero.
Lo dimostrerebbe il fatto che dici che a volte non funziona nemmeno così...
Prova a postare il codice completo(anche la definizione dell'albero)

Saluti
(b2b)

[Krdan]

Codice: Seleziona tutto

struct nodo{
		string info;
		nodo* sx;
		nodo* dx;
};

void aggiungi(string &s, nodo* &al){
	if (!al){
		al=new nodo;
		al->info=s;
		al->sx=al->dx=NULL;
		return;
	}
	if (s < al->info){
		aggiungi (s, al->sx);
		return;
	}
	if (s > al->info){
		aggiungi (s, al->dx);
		return;
	}
}

Comunque il programma va perfettamente come dovrebbe andare, la mia domanda riguarda soltanto il riferimento, che se viene tolto non va più nulla.
Un esempio è la funzione di inserimento qui sopra, una volta tolto il riferimento non fa assolutamente niente, la dimensione dell'albero è 0.

[paper0k]

Ah ok, in questo caso è giusto, perchè passi il riferimento ad un puntatore che all'interno della struttura vai ad allocare, quindi è corretto... e ci deve essere

[Krdan]

Ah ok, in questo caso è giusto, perchè passi il riferimento ad un puntatore che all'interno della struttura vai ad allocare, quindi è corretto... e ci deve essere

Si ma non ho capito perché ci deve essere @_@
Il problema di non avere il riferimento è che altrimenti non alloca memoria?

[paper0k]

No, la memoria viene allocata ma non "ritorna" alla variabile che hai passato, ad esempio per non usare il riferimento potresti fare così:

Codice: Seleziona tutto

nodo *aggiungi(string s) {
  nodo *a1=new nodo;
  ...
  return(nodo);
}
...
nodo *x=aggiungi(s);

così non hai bisogno del riferimento

[Krdan]

ah in pratica senza riferimento invece di lavorare direttamente sul puntatore che gli passo lavora solamente sull'indirizzo a cui punta?
Comunque si dovrei aver capito il perché del riferimento ora.