Swift中对已声明为var的变量使用if let语法的原理疑问

核心结论 #

if let word确实会在if语句的代码块作用域内创建一个新的不可变常量，它和外部声明的var word是两个完全独立的实体。

具体解释 #

这是Swift 5.7引入的可选绑定简写语法，完整的等价写法是：

if let word = word {
    // ...
}

这里的逻辑是：

1. 右边的word指向你外部声明的可选变量var word: String?；
2. 当外部变量不为nil时，Swift会自动解包它的值，赋值给左边新创建的let word常量；
3. 这个新的word常量仅在if代码块的作用域内有效，并且会遮蔽外部的同名变量——也就是说，在if块里访问word时，默认指的是这个内部的常量，而非外部的变量。

关于手册描述的补充 #

Swift手册里说"word必须是常量名"，指的是这个内部创建的word是通过let声明的不可变常量，你无法在if块内修改它的值。如果想要在块内修改解包后的值，可以改用if var word，这样内部创建的就是可变变量。

示例验证 #

看你提供的代码：

var word : String? = "Hello, World!"
if let word {
    print("it is a \(word)") // 这里的word是内部的常量，值为"Hello, World!"
}
else {
    print("The word is not assigned")
}

因为外部的word不为nil，解包成功，内部常量word被赋值为外部变量的非nil值，最终输出it is a Hello, World!。

再试一个能体现作用域独立性的例子：

var word : String? = "Hello"
if let word {
    // word = "Hi" // 编译错误，内部word是let常量
    print(word) // 输出"Hello"
}
print(word!) // 外部变量仍然是"Hello"

内容的提问来源于stack exchange，提问作者Eric Neufeld