Respuesta

En el lenguaje C, las variables con área de almacenamiento automática (auto, por defecto) se crean en la pila al entrar en el área de su visibilidad (normalmente, una función) y se destruyen automáticamente al salir de ella.

Las características incluyen:

• El acceso a tal variable solo es posible dentro del bloque donde se ha declarado.
• La pila tiene un tamaño limitado, el desbordamiento lleva a un fallo (stack overflow).
• Devolver la dirección de una variable automática desde una función lleva a un comportamiento indefinido.

Ejemplo de uso correcto e incorrecto:

int* wrong() {
    int x = 42;
    return &x;  // ERROR: x será destruido después de salir de la función
}

void correct() {
    int y = 123;
    printf("%d\n", y); // todo bien
}

---

Pregunta capciosa

¿Qué pasará si se devuelve de una función la dirección de una variable local?

Respuesta incorrecta común: "El puntero mantendrá su valor".

Respuesta correcta: La dirección devuelta se volverá inválida después de salir de la función, el área de memoria será nuevamente asignada a otras variables automáticas o funciones. Usar tal puntero es un comportamiento indefinido.

Ejemplo:

int* myfunc() {
    int temp = 10;
    return &temp; // temp se destruye después del retorno
}

int main() {
    int* p = myfunc();
    printf("%d\n", *p); // COMPORTAMIENTO INDEFINIDO
}

---

Ejemplos de errores reales debido a la ignorancia de los matices del tema

---

Historia

En un gran proyecto de sistema bancario, el programador devolvió desde una función de usuario un puntero a una matriz local para procesar resultados. El sistema funcionaba de manera inestable: los datos se corrompían o cambiaban inesperadamente, lo que llevó a un costoso error en la presentación.

Historia

En el código del controlador de un dispositivo periférico, el programador utilizó un buffer de pila para transmisión asíncrona. La demora entre el inicio de la transmisión y su finalización provocaba la corrupción de los datos, ya que el buffer se destruía antes de que la operación terminara.

Historia

En el firmware de un registrador médico se implementó un caché en la pila para acelerar el procesamiento de datos. Bajo carga, la pila se desbordaba, lo que provocaba un reinicio del dispositivo y la pérdida de datos del paciente.