Una importante distinción.
###Una importante distinción.
NoNo 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
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.
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
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
¿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
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
}
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
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