swift – 我可以创建一个参与“if let”的类构造Optional的方式吗？

我可以使用if construct来解包选项,如下所示：

if let x = someOptional {
    // x represents the value of someOptional, and is known to be non-nil
}

除了执行解包之外,Swift编译器还知道将let x = someOptional构造视为逻辑值.

Optional的逻辑是否内置于编译器本身,或者是否可以使用相同的行为定义自己的类？

换句话说,我可以写这样的东西：

class MyLogical : SomeProtocolForSwiftToKnowHowToTreatMyClassAsBool {
    ...
    var boolValue : Bool {
        return ... // true or false, depending on the state of my object
    }
}

并且让Swift将它视为一个逻辑值,我可以放入if条件,有或没有let？

if let x = getMyLogical() {
    assert(x.boolValue) // boolValue must evaluate to true to get here
}

注意：我记得早期版本的Swift中存在LogicalValue协议,而Optional用于符合该协议. LogicalValue现在已经消失,并且没有替换(BooleanType现在具有boolValue属性,但Apple不鼓励遵循BooleanType协议,除非您的类表示一个简单的布尔值).

Swift强大的模式匹配系统使得这一点非常接近.案例让……模式完成了你的建议：

if case let x = getMyLogical() where x.boolValue {
    assert(x.boolValue) // boolValue must evaluate to true to get here
}

它也适用于保护语句：

guard case let x = getMyLogical() where x.boolValue else { fatalError() }

assert(x.boolValue) // boolValue must evaluate to true to get here

换句话说,case let …语法可以用于有条件地将任何值绑定到任何名称,以便在if块或guard语句之后使用.

我认为为了完整性,它也适用于交换机块：

switch getMyLogical() {
case let x where x.boolValue:
    assert(x.boolValue) // boolValue must evaluate to true to get here
default:
    break
}

并作为循环的逻辑测试：

while case let x = getMyLogical() where x.boolValue {
    assert(x.boolValue) // boolValue must evaluate to true to get here
}

很长一段时间以来,我认为switch语句是唯一可以使用case let的地方……但是它们也可以在其他地方使用.

我将添加一个最后的注释.案例let …模式甚至可用于解包选项：

let num: Int? = 42
if case let x? = num {
    print(x)
}

解包选项的if let …语法似乎是一般案例的特殊情况,让…模式匹配语法,增加一点语法糖,使选项更容易使用,但没有根本不同于更多一般情况下……功能.