Respecto a los returns se que al ser funciones void no devuelven ningun valor, aun asi una profesora me indico que como buena practica siempre los usara – Manuel Aviles
Una importante distinción.
No tiene ninguna relevancia que una función devuelva un valor o no lo devuelva, una instrucción return
se comportará de la misma manera en ambos casos: saldrá de la función en ejecución. La única diferencia consistirá en que junto con la instrucción return
se devolverá (o no) un valor.
Salida temprana de la función.
Se considera salida temprana de una función el salir sin haber llegado al final de la función, esto se hace utilizando la instrucción return
, que crea nuevos puntos de salida de la función a parte del final de la misma.
Como muchos otros temas de programación, el principio de salida única1 está malinterpretado o descontextualizado o se abusa del mismo.
No hay nada de malo en salir de una función mediante una instrucción return
en cualquier parte de una función (tanto si la función devuelve algo como si no).
Los mecanismos del lenguaje al salir de una función son los mismos tanto si se sale de manera temprana como si se sale por finalizar la función, la única posible diferencia consistiría en que ciertas instrucciones no se ejecutarían (evitando así sus efectos secundarios) pero sucedería exactamente igual con una instrucción if
.
Múltiples salidas de función ¿Cuál es el problema?.
Si no hay nada de malo en ello ¿Cuál es el problema?. No se trata de un problema de rendimiento si no de diseño, en algunas ocasiones tener varios puntos de salida de una función (tanto si devuelve algo como si no) hace que sea más difícil seguir la lógica de la función y en consecuencia será más difícil de depurar y trabajar con ella, algunos programadores defienden el el principio de salida única1 por este motivo.
Otros programadores defienden el principio de salida única1 por rendimiento, pero no va a haber ninguna diferencia de rendimiento entre seguir o no seguir este principio ni en c++ ni en java (ni en cualquier lenguaje de programación moderno) así que defender esa postura es tan sólo una malinterpretación del principio.
¿Seguro que no hay problema?.
Podemos encontrar problemas con múltiples puntos de salida en una función (salidas tempranas de función) en fortran o cobol o ensamblador ya que en estos lenguajes este tipo de práctica es propensa a errores (no siguen las recomendaciones de Edsger W. Dijkstra sobre programación estructurada) al hacer posible que algunas variables queden sin inicializar o que cierto código crucial no se ejecute; pero se debe a particularidades de estos lenguajes, los lenguajes modernos no tienen estos problemas.
Estructurar el código.
Cuando se tiene una función larga que puede salir en varios puntos (devolviendo o sin devolver valor) podemos estructurarla como el Acueducto de Amoreira2 o como el Templo maldito2:
Acueducto Amoreira
if (condicion_1)
{
// hacer cosas 1
if (condicion_2)
{
// hacer cosas 2
if (condicion_3)
{
// hacer cosas 3
if (condicion_4)
{
// hacer cosas 4
if (condicion_5)
{
// hacer cosas 5
// ...
}
else
{
// Otras cosas
}
}
else
{
// Otras cosas
}
}
else
{
// Otras cosas
}
}
else
{
// Otras cosas
}
}
else
{
// Otras cosas
}
Templo Maldito
if (!condicion_1)
{
// Otras cosas, como salir de la función
return;
}
// hacer cosas 1
if (condicion_2)
{
// Otras cosas, como salir de la función
return;
}
// hacer cosas 2
if (condicion_3)
{
// Otras cosas, como salir de la función
return;
}
// hacer cosas 3
if (condicion_4)
{
// Otras cosas, como salir de la función
return;
}
// hacer cosas 4
if (condicion_5)
{
// Otras cosas, como salir de la función
return;
}
// hacer cosas 5
En el Acueducto de Amoreira el código ondula a través de múltiples indentaciones (haciendo que parezca un acueducto) y la función fluye al final sin pasar por instrucciones return
, hay un sólo punto de entrada y de salida. En El templo Maldito la función pasa diferentes pruebas y si no las supera sale con una instrucción return
, hay un punto de entrada y varias salidas.
Ninguna de las dos estructuraciones es mejor que la otra, pero, según los gustos del programador: una será más sencilla de utilizar que la otra.
1Acabo de acuñar el nombre, no me consta que oficialmente se conozca así la práctica de tener un solo punto de salida en una función.
2Acabo de acuñar el nombre, no me consta que esta estructuración reciba este nombre.
void
de intentarlo obtendria algo como return-statement with a value, in function returning 'void' [-fpermissive] . Es por eso que expongo algun caso en el que pienso que el uso de return; seria util. Saludos