Respuesta.

Historia de la pregunta

El operador return apareció en C para finalizar explícitamente la ejecución de una función y devolver un resultado al código que la llamó. En los lenguajes de programación más antiguos, no siempre existía la posibilidad de devolver valores, y el mecanismo return permitió indicar explícitamente el resultado de los cálculos. Esto mejoró la expresividad y la seguridad de los programas.

Problema

La tarea principal: finalizar correctamente la función y, si es necesario, devolver un valor correspondiente a un tipo determinado. Los errores a menudo ocurren debido a la devolución de un valor de tipo incorrecto, punteros a variables no existentes o locales, o la ignorancia del valor devuelto por la parte que llama.

Solución

• return; se utiliza solo para funciones con tipo void (no devuelven nada).
• return expression; se utiliza para funciones con un tipo que no sea void y finaliza la función devolviendo el valor especificado.
• El tipo del valor devuelto debe coincidir exactamente con el prototipo declarado de la función.
• Al devolver estructuras, se devuelve una copia de la estructura. Al devolver un puntero, simplemente se copia la dirección.
• Es peligroso devolver punteros a variables locales (se destruyen al salir de la función).

Ejemplo de código:

#include <stdio.h>
struct Point { int x, y; };

struct Point make_point(int x, int y) { // devolviendo estructura (copia)
    struct Point p = {x, y};
    return p;
}

int* dangerous() {
    int num = 42;
    return &num; // peligroso: devolviendo la dirección de una variable local!
}

void do_nothing() {
    return; // correcto para funciones de tipo void
}

int main() {
    struct Point p = make_point(3, 4);
    printf("%d %d\n", p.x, p.y);
    int* ptr = dangerous(); // UB: ptr apunta a una área destruida
}

Características clave:

• return finaliza la ejecución de la función inmediatamente
• el tipo del valor devuelto debe coincidir con el declarado
• al devolver estructuras/objetos se realiza una copia, no se devuelve una referencia

Preguntas trampa.

¿Se puede usar return en funciones sin valor (void)?

Respuesta: Sí, se puede escribir "return;" para funciones void, pero no se puede indicar una expresión (return x;) para una función void.

¿Qué sucede al devolver un array desde una función?

Respuesta: En C no se puede devolver un array directamente. Solo se puede devolver un puntero (por ejemplo, a un array estático), pero a menudo es mejor devolver un puntero y su tamaño o usar un array dinámicamente asignado.

int* make_arr() {
    static int arr[5] = {1,2,3,4,5};
    return arr; // el array estático vive después de salir de la función
}

¿Por qué es peligroso devolver un puntero a una variable local?

Respuesta: Después de salir de la función, la memoria para la variable local se libera (área de pila). Usar el puntero devuelto lleva a un comportamiento indefinido.

Errores comunes y anti-patrones

• Devolver un puntero a una variable que está en la pila
• Desajuste de tipos entre la expresión devuelta y el tipo de la función
• Omisión de la ruta return en funciones que están declaradas para devolver un valor

Ejemplo de la vida real

Caso negativo

La función devuelve un puntero a una variable local, el llamador recibe "basura", comportamiento impredecible y errores aleatorios flotantes.

Ventajas:

• Implementación rápida

Desventajas:

• Caídas aleatorias, los datos se corrompen con cualquier cambio en la pila después de salir de la función

Caso positivo

Uso de una estructura devuelta (se copia por valor) o devolver un puntero a memoria estática/dinámica:

Ventajas:

• Comportamiento predecible
• Sin punteros "colgando"

Desventajas:

• A veces es costoso (copiar estructuras grandes), o es necesario recordar liberar memoria explícitamente