El pattern matching es una herramienta poderosa que podemos aprovechar especialmente en las funciones para escribir código más limpio y eficiente. En lugar de depender únicamente de guardas o condicionales, podemos usar patrones específicos en los parámetros para que la función que se ejecute sea la que mejor encaje con los valores que recibimos.
Cuando invocamos una función, el lenguaje busca entre todas las definiciones de esa función la que coincida en nombre y número de parámetros. Además, si hay guardas, estas deben cumplirse para que la función sea seleccionada. Pero el pattern matching va más allá: podemos hacer que los parámetros mismos sean patrones que deben coincidir para que la función se ejecute.
Por ejemplo, podemos definir varias funciones con el mismo nombre pero con patrones distintos en sus parámetros. Si uno de los parámetros es una constante, como el átomo :OK, la función solo se ejecutará si ese parámetro coincide exactamente con esa constante. Esto nos permite manejar casos especiales de forma muy clara y directa, sin necesidad de escribir condicionales dentro de la función.
Veamos un ejemplo sencillo para ilustrar esto:
defmodule Ejemplo do
def prueba(atomo, cadena) do
IO.puts(cadena)
end
def prueba(:OK, _cadena) do
IO.puts("Me has pasado el átomo OK")
end
end
Ejemplo.prueba(:OK, "hola") # Imprime: Me has pasado el átomo OK
Ejemplo.prueba(:NO, "hola") # Imprime: hola
En este caso, cuando llamamos a prueba con el átomo :OK como primer parámetro, se ejecuta la segunda definición, que detecta ese caso especial. Si pasamos cualquier otro átomo, se ejecuta la primera función.
Además, podemos combinar el pattern matching con guardas para controlar aún más cuándo se ejecuta cada función. Por ejemplo, en una función de división, podemos definir un caso especial para cuando el divisor sea cero y devolver un valor especial como :infinito:
defmodule Calculadora do
def dividir(_a, 0), do: :infinito
def dividir(a, b) when is_number(a) and is_number(b), do: a / b
end
Calculadora.dividir(5, 0) # Devuelve :infinito
Calculadora.dividir(5, 2) # Devuelve 2.5
Si intentamos pasar parámetros que no sean números, como cadenas, la función no matcheará y se producirá un error, a menos que definamos un caso para manejar esos errores.
Otra ventaja del pattern matching en funciones es el destructuring, que nos permite extraer directamente valores de estructuras como tuplas en los parámetros. Por ejemplo, si recibimos una tupla con tres elementos, podemos extraerlos directamente en la definición de la función:
defmodule Ejemplo do
def print2({_ok, mensaje}) do
IO.puts(mensaje)
end
end
Ejemplo.print2({:ok, "Hola"}) # Imprime: Hola
Esto es especialmente útil cuando trabajamos con funciones que devuelven tuplas para indicar éxito o error, como muchas funciones relacionadas con archivos. Podemos definir funciones que manejen directamente el caso de éxito y el caso de error usando patrones distintos:
defmodule Ejemplo do
def print2({:ok, mensaje}) do
IO.puts("Todo fue bien: #{mensaje}")
end
def print2({:error, _razon}) do
IO.puts("Algo ha salido mal")
end
end
Ejemplo.print2({:ok, "Buenos días"}) # Imprime: Todo fue bien: Buenos días
Ejemplo.print2({:error, :not_found}) # Imprime: Algo ha salido mal
Si pasamos un valor que no coincide con ninguno de los patrones, se producirá un error porque no hay una función que lo maneje.
En definitiva, el pattern matching en funciones nos permite escribir código más expresivo y claro, manejando casos especiales y extrayendo datos de estructuras complejas directamente en los parámetros, lo que reduce la necesidad de condicionales y hace que nuestro código sea más fácil de entender y mantener.