devolver un puntero local

Question

struct node 
{ 
    Item item; node *l, *r; 
    node(Item x) {item = x; l = 0; r = 0;} 
}; 

typedef node* link; 
link max(Item a[], int l, int r) 
{ 
    int m = (l+r)/2; 
    link x = new node(a[m]); 
    if (l==r) return x; // return a local pointer 
    x->l = max(a, l, m); 
    x-r = max(a, m+1, r); 
    Item u = x->l->item, v = x->r->item; 
    if (u>v) x->item = u; 
    else x->item=v; 

    return x; // return a local pointer 
} 

Este es un fragmento de código de "Algoritmo en C++" de Robert Sedgewick, página 252, Programa 5.19. Y en la función max(), la variable devuelta es un puntero que se crea dentro de la función.

En mi opinión, devolver un puntero local no está permitido en c/C++. Entonces mi pregunta es: "¿está bien escribir una función como esta?" No puedo creer que un libro tan clásico cometa un error como este. ¿O malinterpreté el principio? Por favor ayuda. Gracias.

Answer 1

x no es un "puntero local", es decir, un puntero a una variable local. *x se asignó utilizando new. x apunta a la memoria asignada dinámicamente y devuelve ese puntero está bien. Entonces sí, está bien escribir una función como esta, y no hay ningún error en el libro.

Answer 2

Es un error devolver un puntero a una variable local. x apunta a una variable asignada en el montón:

link x = new node(a[m]); 

Así x no apunta a una variable local.

El motivo por el que devolver un puntero a una variable local es un error es que dicha variable existe solo mientras la función esté activa (es decir, entre la entrada y la salida). Las variables asignadas en el montón (por ejemplo, con el uso del operador new) existen hasta que se desasignan (por ejemplo, con el operador delete).

Answer 3

Esto está perfectamente bien, porque los contenidos de x se asignan en el montón, no en la pila. Es posible que se confunda, ya que hay un typedef node* link; allí, lo que lo hace parecer una asignación de pila, ya que enmascara el hecho de que x es en realidad un node *.