对三元条件运算符的警告仅在本地范围内发生

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)")
}