是否有任何情况下“ [1,2,3]中的_都不会循环”？

由 发布于 swiftconstant-expression
 收藏

我在编写一些代码，但犯了一个错误，简化为：

func f() -> Int {
    for _ in [1,2,3] {
        return 1
    }
}

And the compiler shows me an error saying that f is missing an return, which caused me to realise my mistake. I forgot to put an if statement around the return!

但是后来我意识到编译器实际上是在撒谎！该函数将始终返回一个值。还是会？有什么情况下for循环不会循环？

我之所以这样问是因为其他重言式的构造都可以编译：

if 1 < 2 {
    return 1
}


while true {
    return 1
}

而且我也明白，编译器无法在编译时评估每个表达式以查看它们是否是重言式的。我知道属性访问和方法调用通常不会在编译时进行评估，因此不希望编译该代码：

if "".isEmpty {
    return 1
}

But generally literals are ok, right? After all, the compiler has to evaluate the literal [1,2,3] to translate it into machine code that says "create an array with 1, 2, 3".

那么为什么找出for循环还不够聪明呢？在某些罕见情况下，for循环不会运行吗？