Swift两段if let代码差异解析：为何一段报错一段正常运行

核心差异 #

两段代码的if let语句本质区别在于等号右侧值的类型是否为可选类型（Optional）：

• 报错语句：if let forecast = weatherForecast
  右侧的weatherForecast是明确的String类型（非可选），它不可能为nil。
• 正常运行语句：if let position = albums.firstIndex(of: album)
  右侧的albums.firstIndex(of:)方法返回的是Int?类型（可选整数），它可能包含有效值，也可能为nil（当数组中找不到对应元素时）。

导致结果不同的原因 #

Swift里if let的核心作用是安全解包可选类型：只有当等号右侧的可选值不为nil时，才会把解包后的值绑定到左侧的常量，执行if块内的代码；如果是nil，则跳过if块（如果有else就执行else块）。

但if let有个硬性规则：只能用于可选类型的值。

• 报错代码里的weatherForecast是非可选的String，它不存在nil的可能，完全不需要解包，所以编译器会直接报错，提示“无法将非可选类型'String'转换为可选类型'String?'”。
• 正常代码里的firstIndex(of:)方法设计为返回可选类型，因为数组可能找不到目标元素，用if let刚好能处理“找到/没找到”两种情况，符合语法规则，所以能正常编译运行。

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