Escribir funciones genéricas

En esta lección escribirás una función que sirve para varios tipos sin repetirla.

func larger<T: Comparable>(_ a: T, _ b: T) -> T declara un tipo T que se decide en cada llamada. La parte : Comparable es la restricción: solo valen tipos que sepan compararse.

El código de ejemplo compara dos números y luego dos palabras con la misma función.

La diferencia con el duck typing de los lenguajes dinámicos es que aquí el compilador lo comprueba antes de ejecutar. Si intentas llamar a la función con un tipo que no cumple Comparable, el error aparece al escribir, no en producción. Y no hay coste en tiempo de ejecución: el compilador genera versiones especializadas.

Con las palabras del ejemplo hay un detalle propio del español: la comparación de cadenas usa el orden de los códigos Unicode, donde las vocales con tilde van después de la z. Así que «Ángel» no queda donde lo pondría un diccionario. Para ordenar nombres de personas hace falta una comparación sensible al idioma, con compare(_:options:range:locale:).

Toda la biblioteca estándar de Swift está construida sobre genéricos: Array, Dictionary, Optional y Set son todos tipos genéricos.