Swift可选绑定疑问：为何条件绑定要求表达式返回可选类型？

先看你遇到的两种写法：

错误写法（触发编译器报错） #

// 假设 optionalFrameSize 是 CGSize? 类型，getframeRect 返回 CGRect 类型
if let frameSize = optionalFrameSize, frameRect = getframeRect(size: frameSize) {
    // 代码逻辑
}

编译器报错：Initializer for conditional binding must have Optional type, not 'CGRect'

正确写法（正常运行） #

if let frameSize = optionalFrameSize {
    let frameRect = getframeRect(size: frameSize)
    // 代码逻辑
}

原因解析 #

Swift 中if let（包括guard let）的核心是条件绑定，它的设计目的是安全解包可选类型——每一个在if let里的绑定项，都必须是能产生Optional类型的表达式。编译器需要判断这个表达式的结果是否为nil，只有非nil时才会进入代码块执行逻辑。

在你的错误写法里，frameRect = getframeRect(...)返回的是CGRect（非可选类型），它永远不会是nil，不存在“需要判断是否存在”的必要，完全不符合if let的语法规则——if let只接受可选类型的绑定操作，所以编译器直接报错。

而把frameRect的赋值移到if let代码块内时，这只是普通的变量赋值操作，不需要进行nil判断，自然可以使用非可选的CGRect类型，完全符合Swift的变量声明规则。

总结：if let的每一个绑定项都必须对应可选类型的解包，非可选类型的赋值不属于条件绑定的范畴，只能放在绑定成功后的代码块里执行。

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