Tabla de contenidos
Definición de Cerraduras (closures)
Los closures son bloques de código que pueden ser pasados por parámetro a otras funciones a lo largo del código. Una de las ventajas que proveen es que son capaces de capturar y guardar referencias de las contantes y variables del contexto en que son definidos.
Las funciones, vistas en una entrada anterior, son casos especiales de closures, que tienen la característica de estar definidos bajo un nombre. Sin embargo, en algunos casos es necesario escribir algoritmos más cortos y específicos que no van a ser reutilizados o invocados varias veces sino que solo tienen sentido en un ámbito en particular. El caso más claro es el de funciones que aceptan funciones por parámetro, y que al momento de invocarlos se les pasa closures, sin nombre ni una declaración completa, sino simplemente el código de su implementación.
Las expresiones de cerraduras proveen muchas optimizaciones en su sintaxis permitiendo simplificarlas sin perder el sentido y la claridad.
Para hacer una analogía con otros lenguajes, una cerradura es similar a una expresión lambda o bloques de Objective C.
Sintaxis de una cerradura (closure)
La forma general de una cerradura es la siguiente:
[code lang=»Swift»]
{ (parametros) -> tipo de retorno in
sentencias
}
[/code]
Como se puede observar, su sintaxis es la de una función con la diferencia de que no posee un nombre que la defina y que agrega la palabra in para separar su declaración de su implementación. Los parámetros pueden ser in-out pero no pueden tener valores por defecto.
Supongamos que tenemos la siguiente función:
[code lang=»Swift»]
func calcular(a:Int, b:Int, operacion:(Int,Int) -> Int){
print(«El resultado es \(operacion(a,b))»)
}
[/code]
Para poder invocarla, necesitamos pasar dos números enteros y una función que reciba dos enteros y devuelva otro. Como vimos en el capitulo de funciones en swift, una posibilidad de hacerlo es definir una función que cumpla con el tipo del parámetro operación y pasarla por parámetro:
[code lang=»Swift»]
func sumar(a:Int, b:Int) -> Int{
return a+b
}
calcular(a: 6, b: 10, operacion: sumar)
//Devuelve:
//El resultado es 16
[/code]
Sin embargo, hacerlo de esta manera implica generar código que posiblemente no se vuelva a reutilizar y requiere de varias líneas para simplemente realizar una operación aritmética entre dos números.
En estos casos, es donde los closures vienen a ayudarnos a definir código mas especifico y, al mismo tiempo, nos permite ahorrarnos algunas líneas. Una forma de hacer lo mismo usando closures podría ser:
[code lang=»Swift»]
calcular(a: 6, b: 10, operacion: {(numero1:Int, numero2: Int) -> Int in return numero1 + numero2 })
[/code]
Simplificando la sintaxis de una cerradura
Lo primero que se puede simplificar al momento de usar un closure en la invocación de una función son los tipos de dato de sus parámetros y valor de retorno. En este sentido, Swift es capaz de inferir que el closure que estamos pasando debe cumplir con la forma (Int,Int) -> Int, por lo tanto no es necesario dejar explícitos los tipos de dato ni la flecha:
[code lang=»Swift»]
calcular(a: 6, b: 10, operacion: {(numero1, numero2) in
return numero1 + numero2
})
[/code]
Además, los closures de una sola línea pueden omitir la palabra return ya que se sabe que la operación que se va a realizar dentro de ella se va a usar para devolver el dato que se espera:
[code lang=»Swift»]
calcular(a: 6, b: 10, operacion: {(numero1, numero2) in
numero1 + numero2
})
[/code]
Se dice que los closures son de una línea, o single-expression, cuando contienen una única operación independientemente de que hagamos cortes de línea por un tema de claridad al momento de leer el código.
Otra opción que podemos usar son los nombres de argumento corto que provee Swift para identificar a los argumentos, usando los nombres $0, $1, $2, etc, para hacer referencia al primer argumento, segundo, tercero, etc. Al mismo tiempo, se elimina la necesidad de usar la palabra reservada in ya que no se requiere separar la zona de argumentos de la de implementación:
[code lang=»Swift»]
calcular(a: 6, b: 10, operacion: { $0 + $1 })
[/code]
Métodos de operador en una cerradura
Existe una forma aún más corta de escribir el closure anterior y es haciendo uno se los métodos de operador. Toda clase o struct puede definir su propia implementación de los operadores existentes haciendo uso de una técnica llamada sobrecarga. En el caso del tipo de dato Int (que internamente es un struct) tiene definido al operador + como una función del tipo (Int, Int) -> Int que es justamente lo que espera el parámetro calcular. Por lo tanto, la invocación anterior puede hacerse de la siguiente manera:
[code lang=»Swift»]
calcular(a: 4, b: 5, operacion: +)
[/code]
Trailing Closures
Cada vez que escribimos una función que recibe un closure como parámetro, es recomendable dejar ese parámetro último en la lista para poder hacer uso de los trailing closures. El concepto de trailing hace alusión a que el closure puede escribirse por fuera del listado de parámetros, fuera de los paréntesis y a continuación de estos, de manera tal de poder escribir un código más claro y sin la necesidad de especificar el nombre del argumento. En el caso de que la función no reciba otro parámetro adicional más que el closure, se pueden omitir los paréntesis:
[code lang=»Swift»]
func funcionCualquiera(closure: () -> Void) {
}
//llamando a la función sin usar trailing Closure
funcionCualquiera(closure: {
//Codigo
})
//llamando a la función con trailing Closure
funcionCualquiera() {
//Codigo
}
//usando trailing closure sin los paréntesis
funcionCualquiera {
//Codigo
}
[/code]
Volviendo al ejemplo anterior, usando lo aprendido se debería escribir así:
[code lang=»Swift»]
calcular(a: 6, b: 10) { $0 + $1 }
[/code]
Capturar valores usando cerraduras
Como dijimos al principio, los closures pueden capturar valores del ámbito donde están definidos y hacer uso de esos valores incluso cuando este contexto ya no existe.
El ejemplo más claro es el caso de las funciones anidadas, donde la función interior captura las variables que pertenecen a la función que la engloba para realizar sus cálculos, incluso cuando solo se hace uso de la función interna.
Supongamos que tenemos una función que posee un atributo y una función anidada, y que al llamarla la misma devuelve a dicha función, de manera de poder ser utilizada fuera de su ámbito.
[code lang=»Swift»]
func hacerIncremento(en cantidad:Int) -> () -> Int {
var total = 0
func incrementar() -> Int {
total += cantidad
return total
}
return incrementar
}
[/code]
Como se puede observar, al invocar a hacerIncremento(en:) lo que obtenemos es una referencia a la función incrementar(_:), en lugar de un simple entero, la cual aumenta el valor del atributo total que pertenece a la función que la engloba. Cabe destacar que los atributos total y cantidad, si bien son usados dentro de la función incrementar(_:) no pertecen a ella, sino que ésta captura sus valores al momento de ejecutarse.
[code lang=»Swift»]
let incrementarPorDiez = hacerIncremento(en:10)
incrementarPorDiez()
//Devuelve 10
incrementarPorDiez()
//Devuelve 20
incrementarPorDiez()
//Devuelve 30
[/code]
Aquí hay un caso curioso. Como podemos ver, incrementarPorDiez es una constante con lo cual no debería poder cambiar su valor y sin embargo estamos observando que cada vez que lo ejecutamos aumenta en 10 su valor de retorno. Esto es posible porque los closures son tipos por referencia. Esto implica que cada vez que asignamos una constante o variable a un closure, en realidad lo que estamos haciendo es asignar la dirección de memoria donde ese closure existe a esa variable o constante, en lugar de hacer una copia fiel del mismo.
En otras palabras, cuando ejecutamos esta línea:
[code lang=»Swift»]
let incrementarPorDiez = hacerIncremento(en:10)
[/code]
Swift determina un espacio en memoria para que exista la función hacerIncremento(en:) y devuelve la dirección de memoria que es alojada en incrementarPorDiez. Si hiciéramos otra constante apuntando a otra versión distinta de hacerIncremento(en:) obtendríamos lo siguiente:
[code lang=»Swift»]
let incrementarPorCuatro = hacerIncremento(en: 4)
incrementarPorCuatro()
//Devuelve 4
incrementarPorCuatro()
//Devuelve 8
incrementarPorCuatro()
//Devuelve 12
[/code]
Como es un incrementador nuevo, la variable total es nueva también y arranca desde el principio, con lo cual, a estas alturas tenemos 2 incrementadores distintos en memoria. Ahora bien, si queremos asignar a una constante el primer incrementador, sucede lo siguiente:
[code lang=»Swift»]
let otroIncrementadorPorDiez = incrementarPorDiez
otroIncrementadorPorDiez()
//Devuelve 40
[/code]
Como vemos, no arranca de 0 sino de 30, que es donde había quedado el incrementador por 10. Esto sucede porque en la constante otroIncrementadorPorDiez lo que se está almacenando es la misma dirección de memoria a la que apunta incrementarPorDiez, con lo cual el atributo total al que están incrementando es el mismo.
Descarga el archivo playground.
Siguiente capítulo: Clases.