Início / coding / Perguntas / 79310792
Accepted
CalebK
Asked: 2024-12-27 10:38:35 +0800 CST

O compilador Swift é inteligente o suficiente para evitar avaliar uma declaração de variável let que não seria necessária se uma condição posterior não fosse atendida?

  • 772

Então, por exemplo, este código:

func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)
    let common = selfTrigram.intersection(other)
    return total.isEmpty ? 0 : Double(common.count) / Double(total.count)
}

Espero que o compilador se transforme em

func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)
    return total.isEmpty ? 0 : Double(selfTrigram.intersection(other).count) / Double(total.count)
}

Percebendo que let commonnão é necessário que total.isEmptyo compilador Swift me permita escrever código mais simples, mas evite cálculos desnecessários.

Mas é mais seguro ser simplesmente explícito?

swift

1 respostas

  1. Best Answer

    Como você pode ver na saída do Godbolt que o Sweeper vinculou, Set.intersection(_:)ele é chamado incondicionalmente, o que é potencialmente um desperdício se total.isEmptyfor verdade.

    Seu código pede para Set.intersection(_:)ser chamado incondicionalmente, então o compilador é obrigado a produzir código que se comporte como se ele realmente tivesse sido chamado. A maneira óbvia de fazer isso é chamá-lo. Mas ele também pode ser esperto e pular a chamada, mas somente se puder ter certeza de que funções não têm efeitos colaterais observáveis. Isto é, se não houver como observar se ele foi chamado ou não. A menos que ele possa provar isso, ele tem que ser conservador e deixar a chamada.

    Neste caso, acho que é mais claro usar um if/ explícito elsede qualquer maneira:

    func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)

    if total.isEmpty {
        return 0
    } else {
        let common = selfTrigram.intersection(other)
        return Double(common.count) / Double(total.count)
    }
}

    A saída compilada confirma que commonagora só é computada se total.isEmptyfor falso.

    Melhor ainda, sugiro usar um retorno antecipado:

    func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)

    if total.isEmpty { return 0 }

    let common = selfTrigram.intersection(other)
    return Double(common.count) / Double(total.count)
}
    • 2

relate perguntas