Swift 空合运算符（??）

以下是??操作符的声明

public func ??<T>(optional: T?, defaultValue: @autoclosure () throws -> T) rethrows -> T
public func ??<T>(optional: T?, defaultValue: @autoclosure () throws -> T?) rethrows -> T?

可以看到，defaultValue是一个@autoclosure类型的参数。所以我们可以传入一个表达式。Swift的??为什么要这么声明呢？T直接作为值返回不就行了？

原因：

在 The Swift Programming Language空合运算符有一个解释。

NOTE
a ?? b
If the value of a is non-nil, the value of b is not evaluated. This is known as short-circuit evaluation.

及当a为非空值（non-nil）的时候，b将不会被计算，这也就是所谓的短路求值。

那么我们就明白了，为什么defaultValue要被声明为一个@autoclosure。

当T为一个常量的时候，defaultValue是否被声明为@autoclosure其实我所谓。但是当你的T是由一个复杂的计算得到的话，这时候@autoclosure就相当的有必要了。

因为T如果是由一个复杂的计算得到的话，那么我们在写之前就需要计算出T的值来，但是如果optional的值又不为空，那么刚才所求出来的值T就没什么用，计算的开销就被白白浪费掉。

所以，声明为@autoclosure可以避免这种情况，及当optional被判定为nil的时候，我们再去计算defaultValue里面的值T。这样我们就避免了不必要的开销。

Demo：

var num1: Int?
var num2: Int = 0

func defaultResult() -> Int {
    return 1 + 2 * 3 + 5 - 13
}

num2 = num1 ?? defaultResult()
num2 = num1 ?? (1 + 2 * 3 + 5 - 13)

另：

public static func &&(lhs: Bool, rhs: @autoclosure () throws -> Bool) rethrows -> Bool
public static func ||(lhs: Bool, rhs: @autoclosure () throws -> Bool) rethrows -> Bool