En este capítulo continúa el estudio de las estructuras selectivas y los elementos que forman parte de las mismas.
Las expresiones condicionales son aquellas que involucran operadores aritméticos, relacionales y/o lógicos y que devuelven un valor booleano o un valor que puede ser interpretado como booleano.
Algunos problemas condicionales simples pueden ser resueltos empleando dírectamente expresiones condicionales. Por ejemplo (y como ya se vio previamente) para dertermnar si un número es par (o impar) es suficiente verificar si es divisible (o no es divisible) entre 2, es decir si el residuo de su división entre 2 es cero (o no es cero).
En caso simples como el presente, el problema puede ser resuelto en una sola línea empleando una función flecha:
Llamando a la función (probando la función) con los números 124, 311 y 0, se obtiene:
Que, como se puede ver, devuelve los resultados correctos en todos los casos (true si es par y false si no lo es), por lo que se puede concluir que el problema ha sido resuelto correctamente.
Igualmente, se puede resolver el problema de determinar si un número es entero o no con una simple expresión condicional: Si el número tiene parte fraccionaria (si no es divisible entre 1) no es entero, caso contario sí lo es:
LLamando a la función (probando la función) con: 124, 911, 124.34, -457 y -93.672, se obtiene:
Que son los resultados correctos en todos los casos, por lo que se concluye que el problema ha sido resuelto correctamente.
Un número (n) es natural si es entero y positivo. Se incluye en este conjunto al número 0, porque la mayoría de las definiciones matemáticas así lo hacen.
Al igual que en los otros casos, el problema es directamente el resultado de una expresión lógica, donde se determina si el número es divisible entre 1 (si es entero) y si es positivo (mayor o igual a cero):
Haciendo correr el programa con 27, 0, -45, 23.45 y -92.14, se obtiene:
Que son resultados correctos en todos los casos.
if - else es la estructura selectiva por excelencia, su lógica, en forma de diagrama de flujo, es:
Es decir que si la condición es verdadera, se ejecutan las instrucciones A, caso contrario (else) se ejecutan las instrucciones B. Luego el programa continua con las instrucciones restantes.
En JavaScript, la sintaxis de esta estructura, es:
Si en lugar de dos o más instrucciones sólo existe una, las llaves no son necesarias, sin embargo, el escribirlas no es un error y normalmente se escriben por claridad:
El caso contrario (las instrucciones B) es opcional y la estructura puede tener únicamente el caso verdadero (las instrucciones A):
En cuyo caso, la sintaxis, es:
O si sólo existe una instrucción:
Como se dijo, en JavaScript, si una instrucción termina con un salto de línea, el punto y coma al final de la misma no es imprescindible, sin embargo, para adquirir buenas costumbres y reducir errores, en la asignatura se debe escribir siempre un punto y coma al final de cada instrucción.
Se debe recordar que, en la calculadora, cuando la instrucción está en la última línea, sólo se debe escribir punto y coma cuando no se quiere mostrar el resultado.
El operador ? - : es equivalente a la estructura if - else, tiene la misma lógica que dicha estructura, pero, al ser un operador, se emplea en sentencias de asignación y al interior de expresiones, su sintaxis es:
condición ? instrucción caso verdadero : instrucción caso falso;
A diferencia de la estructura if - else, el caso contrario (:) es obligatorio (no opcional), porque al ser un operador, se requiere el resultado para completar las operaciones de las cuales depende.
Los casos de este operador pueden tener más de una instrucción, pero esas instrucciones deben estar encerradas entre paréntesis y separadas con comas (no entre llaves y separadas con puntos y comas):
condición ? (instr. 1, ..., instr. n) : (instr. 1, ..., instr. n);
Si bien el operador ? - :, puede ser empleado en los mismos casos que la estructura if - else, se emplea sobre todo en los casos donde la lógica es sencilla, porque mientras más compleja es la lógica, más difícil de comprender es el código resultante.
Para determina si un número entero es par, impar o cero (devolviendo el texto "par", "impar" o "cero"), primero se debe preguntar si el número es cero (porque el cero también es par) luego, descartado el cero, se puede preguntar si el número es par (o impar), siendo el caso por defecto impar (o par).
También se puede preguntar primero si el número es impar, pero luego se debe preguntar si el número es cero (no si es par), siendo el caso por defecto par. Siendo más clara, más flexible y más segura la primera alternativa.
Como se recordará, un número es par si es divisible entre 2 (si el residuo de su división entre 2 es cero) y es impar si el residuo de su división entre 2 es 1.
Por otra parte, como sólo pueden ser pares o impares los números enteros, primero se debe verificar que el número sea entero (que sea divisible entre 1) y de no serlo, se debe suspender la ejecución del programa. Para suspender la ejecución del programa, lanzando un error (por ahora un mensaje), se emplea el comando throw.
Al proceso de verificar que los datos sean del tipo correcto y que estén dentro de los límites permitidos, se denomina validación.
Si no se valida que el número sea entero, la función devolvería un resultado erróneo para los números reales, porque como no son pares, impares o cero, siempre terminaría en el caso por defecto.
Con las anteriores consideraciones, el problema resuelto con la estructura if - else, en una función flecha, es:
En realidad throw lanza el error, suspende la ejecución del código y pasa el control del programa al primer bloque try-catch que lo contenga. Posteriormente se estudiará la estructura try-catch, pero, por el momento es suficiente saber que el error es atrapado por la calculadora y el mensaje mostrado en la celda de resultados.
Que devuelve los resultados correctos en todos los casos, por lo que se concluye que el problema ha sido resuelto correctamente.
El mismo problema, resuelto con el operador ternario ? - :, como una función estándar, es:
Con la cual se obtienen los mismos resultados que con la versión anterior.
Note que la validación se la hace con if no con ? - :, porque se trata de una pregunta simple (sin else) y como se dijo, en el operador ? - :, el caso contrario (:) es obligatorio.
En este ejemplo se resuelve el problema de determinar si un año (un número entero positivo) es (true) o no (false) bisiesto.
Un año es bisiesto si es divisible entre 4 o, si termina en dos ceros, si es divisible entre 400. Así, si el año es 1900, se verifica si 1900 es divisible entre 400 (1900%400==0) o (lo que es lo mismo) si 19 es divisible entre 4 (19%4 == 0).
En este caso, la lógica que resuelve el problema es directa: Se pregunta si el año es divisible entre 100 y de ser así se divide entre 100 y se compara con 0, caso contrario se divide entre 4 y se compara con cero:
Al igual que en el ejemplo previo anterior, se debe validar el número, de manera que se verifique que sea entero y positivo (porque los años son enteros y positivos):
La función devuelve siempre un valor booleano: true o false, porque es el resultado de una expresión relacional.
Llamando a la función con diferentes valores de prueba, se obtiene:
El problema resuelto con el operador ternario, siguiendo la misma lógica, es:
Con la cual se obtienen los mismos resultados que con la función anterior.
En este ejemplo se elabora una función que recibe tres números y devuelve el mayor ellos.
Como de costumbre, se pueden plantear varias alternativas de solución. Probablemente la más sencilla consiste en determinar si el primer número es el mayor, de no ser así, se comprueba si el segundo es el mayor y de no ser así el mayor (por defecto) es el tercero.
En este caso, el orden puede ser cambiado sin que en realidad cambie la lógica. La solución preguntando primero si el primer número es el mayor y luego si es el segundo, es:
Llamando a la función con algunos valores (arrays) de prueba, se obtiene:
Siguiendo la misma lógica, el problema resuelto con el operador ternario, es:
Función con la que se obtienen los mismos resultados que con la versión anterior.
En este ejemplo se elabora una función que calcula y devuelve las dos soluciones de la ecuación cuadrática:
| \[ a x^2 + b x + c= 0 \] |
Los resultados se calculan con la solución general:
| \[ x_{1,2} = \dfrac{-b \pm \sqrt{b^2-4 a c}}{2 a} \] |
Desde el punto de vista lógico, el problema es esencialmente el mismo que el resuelto en el primer ejemplo (parImparCero). En este caso, las soluciones dependen de los tres valores que puede tener tomar la expresión dentro de la raíz, denominado discriminante ("d = b2−4ac"). Si el discriminante es positivo, las dos soluciones son reales y distintas, si es cero, las soluciones son iguales (porque la raíz es 0) y si es negativo, las soluciones son complejas (porque la raíz es imaginaria).
El problema resuelto, como una función flecha, es:
Por claridad y eficiencia, se calculan primero los valores de "r" (la parte de la solución sin la raíz) e "i" (la parte de la solución con la raíz). Se trabaja con el valor absoluto de "d" para poder calcular el valor de la raíz inclusive cuando "d" es negativo. Luego se emplea esos valores para devolver las dos soluciones en los 3 casos.
Dado que una función sólo devuelve un resultado y en este caso existen dos (las dos soluciones) se devuelve un array con esos resultados. En el caso de los números complejos, se devuelven dos cadenas en la forma de números complejos.
Llamando a la función con los coeficientes de algunas ecuaciones cuadráticas, se obtiene:
El problema resuelto como una función estándar, con el operador ternario, es:
Con la cual se obtienen los mismos resultados que con la versión anterior.
Si la lógica que resuelve el problema corresponde al siguiente algoritmo:
La lógica de esta estructura es bastante directa: Si el valor de var es igual a uno de los valores (val1, val2, val3, ..., valn), se ejecutan las instrucciones donde se cumple la igualdad y el control del programa sale de la estructura. En caso de no cumplirse ninguna de las igualdades se ejecutan las intrucciones por defecto (si existen) y el control sale de la estructura.
El código respectivo, en JavaScript, es:
El comando break hace que el control del programa salga de la estructura switch. Si se cumple una igualdad, pero no existe el comando break, se ejecutan las instrucciones de ese caso y las instrucciones de los casos siguientes, hasta el caso que tenga break y si ningún caso tiene un break hasta que se ejecuta la última instrucción de la estructura.
Normalmente el que un caso no tenga un
El propósito de este ejemplo, es el de elaborar una función que convierta un número comprendido entre 1 y 7, en el día de la semana respectivo, siendo el primer día el "domingo".
La lógica es directa, simplemente se recibe el número y si es 1, el resultado es "domingo", si es 2 "lunes", etc. En el caso por defecto se lanza un error informando que el número debe ser un entero comprendido entre 1 y 7:
Llamando a la función con algunos valores de prueba, se obtiene:
Que son los resultados esperados, por lo que se concluye que el problema ha sido correctamente resuelto.
El propósito de este ejemplo, es el de elaborar una función que reciba el nombre de un mes y el año y devuelva el número de dias que tiene ese mes.
Una vez más la lógica es directa: se recibe el mes y si el mismo es enero, marzo, mayo, julio, agosto, octubre o diciembre, devuelve 31. Si es abril, junio, septiembre o noviembre devuelve 30. Si es febrero devuelve 29 cuando el año es bisiesto y 28 si no lo es. En el caso por defecto, si el mes no corresponde a un mes válido, se lanza un error, informando que
Como se puede ver, el año es un parámetro por defecto con un valor igual a 2026. Es conveniente que sea un parámetro por defecto porque sólo se requiere el año cuando el mes es febrero, para los otros meses el año es irrelevante.
Para determinar si el año es o no bisiesto, dentro de la función se crea la función (flecha) interna: esBisiesto, que devuelve true si el año es bisiesto y false en caso contrario.
Para que el programa funcione correctamente sin importar si el mes se escribe en mayúsculas, minúsculas o con mayúscula inicial, se convierte a minúsculas el mes recibido, empleando el método toLowerCase (el método opuesto es toUpperCase.
En este ejemplo, dado que los casos correspondientes a los meses de enero, marzo, mayo, julio, agosto, octubre y diciembre deben devolver 31 se omite (a propósito) el comando break excepto, por supuesto, en el mes de diciembre. Se procede de la misma forma con los meses de abril, junio, septiembre y noviembre. En el mes de febrero se llama a la función interna "esBisiesto" para devolver 29 si el año es bisiesto y 28 en caso contrario.
Llamando a la función con algunos valores de prueba, se obtiene: