Aprende a Programar Apps para iPhone con  Swift, SwiftUI y UIKit - lafactoriaapple

Inferencia de Tipos en Swift

Swift es un lenguaje Type Safe (de tipado seguro), lo que en teoría nos obligaría a indicar el Tipo de Dato cuando definimos una Constante, una Variable, etc.

var numero1: Int = 5
var texto1: String = “Hola Mundo!”

El hecho de que Swift sea un lenguaje Type Safe implica que en tiempo de compilación se verifica si el valor del dato que espera recibir una Función, Variable, etc. coincide con el tipo definido. Esta característica de Swift nos evita muchos problemas durante la ejecución de la Aplicación.

A diferencia de otros Lenguajes de Programación, Swift tiene la funcionalidad de la Inferencia de Tipos, esto significa que el compilador de Swift es capaz de saber el tipo de dato en función del valor asignado. De esta forma nos ahorramos tener que indicar el tipo cada vez que definamos una constante, variable, etc.

var numero2 = 5
var texto2 = "Hola Mundo!"

Si queremos saber el Tipo de Dato que Swift ha inferido de manera automática, mantendremos pulsada la tecla Alt y hacemos clic sobre el nombre de la Constante, Variable, …

Veamos un último ejemplo:

var numero3 = 5 + 0.5

En este caso Swift infiere que es de tipo Double ya que uno de los operandos es Double.

Estamos intentando sumar dos números de distinto Tipo (un Entero y un Double), y Swift los considera a los dos de Tipo Double, como si hubiéramos hecho lo siguiente:

var numero3 = 5.0 + 0.5

Más en esta Sección

  • Value Types en Swift

  • Valores Booleanos

  • Números con Coma Flotante

  • Typealias

  • Conversión de Tipos en Swift

  • Notación Científica de Números muy grandes o muy pequeños

  • Números Binarios en Swift

  • Type Annotation

  • Tipos de Datos String

  • Tipos de Datos Character

  • Números Enteros en Swift

  • Tipos de Datos más utilizados en Swift