Предупреждение для трехкомпонентной условного оператора происходит только в локальной области

Question

Я использую следующий Swift код, чтобы установить ключевую строку в зависимости от значения единицы измерения:

let units = 0 
let key = units == 0 ? "F" : "C" 
// this example makes key = "F" 

Приведенный выше пример работает как и должно быть без каких-либо предупреждений, когда это в глобальном масштабе файла Swift. Тем не менее, когда я помещаю один и тот же код в инициализаторе или в функции, я получаю предупреждение со ссылкой на «C» термин:

struct Almanac { 
    // properties 
} 

extension Almanac { 

    init?(json: [String: Any]) { 
     let units = 0 
     let key = units == 0 ? "F" : "C" // WARNING: Will never be executed 

     // ... 
    } 

} 

func logunits() { 
    let units = 0 
    let key = units == 0 ? "F" : "C" // WARNING: Will never be executed 
    print("key is \(key)") 
} 

Почему это только предупреждение появляется, когда тройная условно используется на местном объем?

Answer 1

Это связано с областью действия, поскольку в некоторой заданной области применения компилятор способен разрешить простое выражение и видеть, что некоторая часть не будет выполнена.

С этим:

func logunits() { 
    let units = 0 
    let key = units == 0 ? "F" : "C" 
    print("key is \(key)") 
} 

компилятор имеет units = 0 и units == 0 ? в том же объеме, поэтому она способна решить путь (потому что ничего не изменяет значение units между двумя линиями) и сказать, что да, действительно, единицы равны 0 и да, «C» всегда будет игнорироваться.

Если изменить значение:

func logunits() { 
    let units = 1 
    let key = units == 0 ? "F" : "C" 
    print("key is \(key)") 
} 

предупреждение внезапно выскакивает из "C" до "F". :)

А если поставить значение из сферы:

let units = 0 

func logunits() { 
    let key = units == 0 ? "F" : "C" 
    print("key is \(key)") 
} 

предупреждение исчезает.

Обратите внимание, что если есть какой-либо код в пути, который может изменить значение units, даже глупый, как в этом примере, предупреждение исчезает:

func logunits() { 
    var units = 0 
    if true { units = 1 } 
    let key = units == 0 ? "F" : "C" 
    print("key is \(key)") 
}