Início / coding / Perguntas / 79422422
Accepted
Brody Kavanagh
Asked: 2025-02-08 08:22:52 +0800 CST

Quando o Swift pode inferir tipos de dados e quando não pode?

  • 772

Eu estava codificando abaixo e me perguntei por que precisava do extra .00em 70_000.00. Sei que se não precisasse, seria considerado um inteiro.

protocol Building {
  var rooms: Int { get }
  var price: Double { get }
  var retailer: String { get }
}

struct House: Building {
  var rooms = 4
  var price = 70_000.00
  var retailer = "John Doe"

}

Achei que o Swift conseguiria inferir o tipo de dado em momentos como esse, principalmente quando eu já havia dito ao Swift que "Price" era um double.

swift

1 respostas

  1. Best Answer

    Dos documentos :

    A inferência de tipo em Swift opera no nível de uma única expressão ou declaração. Isso significa que todas as informações necessárias para inferir um tipo omitido ou parte de um tipo em uma expressão devem ser acessíveis a partir da verificação de tipo da expressão ou de uma de suas subexpressões.

    Em outras palavras, para uma declaração de variável, a inferência de tipo é exclusivamente local para o que ela vê no lado direito da atribuição. Esse é o caso mesmo se o contexto em torno dessa atribuição faria com que ela inferisse um tipo diferente. Por exemplo:

    let a = 10
let b: Double = a / 5.0
//              ^ cannot convert value of type 'Int' to expected argument type 'Double'

    O Swift nunca inferirá o tipo de acomo Double, porque o lado direito da atribuição é um literal inteiro — nesse caso, ele decide que o tipo mais apropriado é Int; linhas antes ou depois da atribuição não entram em cena.

    O mesmo vale para var price: se você atribuir um literal inteiro, o Swift inferirá um tipo de Int; atribuir um literal de ponto flutuante fará com que ele decida que esse Doubleé o tipo mais apropriado, o que coincidirá com o requisito do protocolo que você está tentando cumprir. Alternativamente, fornecer var priceum tipo explícito permitiria que você atribuísse um literal inteiro: var price: Double = 70_000.

    Devido ao potencial de inferência inesperada de tipos, algumas diretrizes de estilo recomendam sempre dar tipos explícitos às variáveis ​​de instância, para deixar bem claro qual deve ser o tipo esperado.

    • 1

relate perguntas