在Swift中，有一种变量称为可选变量（Optional），具体说明见Swift初步入门。这种变量的值可以存在也可以为空（nil）。在Swift中，可以通过将if语句和赋值语句结合，有条件地展开（unwrap）可选变量，即在该可选变量值不为nil的前提下展开。这种展开方式称为"可选绑定"（Optional binding）。文章Unwrapping Optionals With Optional Binding in Swift - Khawer Khaliq和swift那点事儿之optional(可选绑定)_swift initializer for conditional binding must hav-CSDN博客等都对这种绑定方式做了说明，但使用的例子或是涉及类，甚至涉及网络爬虫，并不是用最简洁的方式介绍可选绑定的使用方式。本文用简单的例子来介绍"可选绑定"的使用方法。在本文的例子中，只使用基本的变量类型。

一、可选绑定的基本介绍

在这里，以一个简单的Int?类型的变量开始。

var x:Int? = 3

现在设计一个逻辑：如果x值不是nil，就将其转化为二进制，否则不要转。不使用这样的句式：

if x != nil {}

可以这样写：

var x:Int? = 3
var binStr:String = ""
if let xValue = x{ //xValue is the deoptionalized x if x contains valuebinStr = String(xValue, radix:2)
} 
print("x=3 converted to binary is \(binStr)")
x = nil
if let xValue = x{ //non-nilbinStr = String(xValue, radix:2)
}
else{ //nilprint("x=nil is nil now")
}

在该代码中，if let xValue = x表明如果x不为nil，那么就会执行xValue = x语句并给出true的判断结果，进入if分支；如果x为nil，就直接进入else分支。注意，xValue在这里不是可选变量，而是已被展开的x。

运行结果为：

x=3 converted to binary is 11
x=nil is nil now

注意，let xValue = x不要加括号！以下写法是非法的：

if (let xValue = x){}

其实还有一种更简单的写法

let y:Int? = 10
//a more easy way
if let y{binStr = String(y,radix: 2)print("y=10 converted to binary is \(binStr)")
}//here y is temporarily used as a non-optional inside the if statement
print("now y is still \(y)")//see it is still optional. Remember that in optional binding the non-optional variable is temporary 

在该代码中，如果y值不为nil，那么y就会自动转化为正常的、非可选的Int类型进入if分支。也就是说，在语句binStr = String(y,radix: 2)中，y是Int而非Int?类型。但是，离开if分支后，y会恢复为Int?类型。所以，运行结果为：

y=10 converted to binary is 1010
now y is still Optional(10)

二、一个简单但有用的例子

如果我们要把字符串用于数字运算上，肯定要先把它转化为数值类型。但是，并不是所有的字符串都能转化为数值类型的。Int()是一个转化的函数，但结果也是可选的Int?类型（转化失败就输出nil）。所以，我们可以用可选绑定来用简单的语句设计程序。

可以这样写：

if let aa = Int("1"), let bb = Int("2"), aa < bb{print("aa < bb")
} //This is a way of writing several optional binds into an if statement (use comma)

注意，在Swift中，可以用逗号（comma）分割不同的条件判断语句。可以阅读这篇文章：Swift条件判断中的逗号_swift if判断 性能 & ,-CSDN博客。

所以在该代码中，Int("1")，Int("2")输出的都是Int?类型，但只要值不为nil（转化成功），变量aa和bb都是Int类型，可以参与aa<bb的数字判断。

运行结果为：

aa < bb

还可以这样写

let aa:Int? = Int("1")
let bb:Int? = Int("rr")
if let aa, let bb, aa < bb{print("aa < bb")
}
else{print("At least one of them is not a number so not comparable")
}//this writing is ok too

运行结果为：

At least one of them is not a number so not comparable