swift - Swift 3 中的 Python 风格条件表达式

Question

在我最近接触 Python 之后，我学会了欣赏它的可读性 conditional expressions格式为 X if C else Y。

当经典ternary conditional operator ?:有条件作为第一个参数，感觉作业就是选择。当您尝试嵌套多个三元运算符时，它会变得很难看……当条件移动到第一个表达式之后时，感觉更像是函数的数学定义。我发现这有时有助于代码的清晰度。

作为code kata ，我想在 Swift 中实现 python 风格的条件表达式。似乎唯一能让我获得所需语法的工具是自定义运算符。它们必须由符号组成。 Math symbols in Unicode标记 double turnstile逻辑中的符号为 TRUE ⊨ 划掉的版本为 NOT TRUE ⊭……所以我选择了 ==| 和 |!=。到目前为止，在为找到正确的优先级而奋斗了一段时间之后，我得到了这个:

// Python-like conditional expression

struct CondExpr<T> {
    let cond: Bool
    let expr: () -> T
}

infix operator ==| : TernaryPrecedence // if/where
infix operator |!= : TernaryPrecedence // else

func ==|<T> (lhs: @autoclosure () -> T, rhs: CondExpr<T>) -> T {
    return rhs.cond ? lhs() : rhs.expr()
}

func |!=<T> (lhs: Bool, rhs: @escaping @autoclosure () -> T) -> CondExpr<T> {
    return CondExpr<T>(cond: lhs, expr: rhs)
}

我知道结果看起来不是很快速或特别可读，但从好的方面来说，即使表达式分布在多行中，这些运算符也能正常工作。

let e = // is 12 (5 + 7)
    1 + 3 ==| false |!=
    5 + 7 ==| true |!=
    19 + 23

当你对空白有创意时，它甚至感觉有点 pythonic 🐍 :

let included =
    Set(filters)             ==| !filters.isEmpty |!=
    Set(precommitTests.keys) ==| onlyPrecommit    |!=
    Set(allTests.map { $0.key })

我不喜欢第二个自动关闭必须转义。 Nate Cook's answer about custom ternary operators in Swift 2使用了 currying 语法，它不再出现在 Swift 3 中……我想这在技术上也是一个转义闭包。

有没有办法在不逃避闭包的情况下完成这项工作？这有关系吗？也许 Swift 编译器足够聪明，可以在编译时解决这个问题，这样它就不会影响运行时？

Answer 1

好问题:)

如果条件为假，则不存储表达式，而是将结果存储为可选项。根据一些评论进行了编辑，从而产生了一些更清晰的代码。

infix operator ==| : TernaryPrecedence // if/where
infix operator |!= : TernaryPrecedence // else

func ==|<T> (lhs: @autoclosure () -> T, rhs: T?) -> T {
    return rhs ?? lhs()
}

func |!=<T> (lhs: Bool, rhs: @autoclosure () -> T) -> T? {
    return lhs ? nil : rhs()
}