为什么 Nil 合并运算符是右关联的？

Question

不应该是左联想吗？

我认为 let a = b ?? c ?? d 被分组为 let a = (b ?? c) ?? d 不是 let a = b ?? (c ?? d)

但它被声明为右结合。我是否误解或遗漏了什么？

Answer 1

我认为这是一种优化。左或右关联不会改变结果。

这个：

(b ?? c) ?? d

评估b ?? c，其结果用作x ?? d 的左侧。所以即使b不为null，合并运算符也会执行2次。

在这种情况下

b ?? (c ?? d)

如果b 不为零，则右侧的表达式不计算，因此不执行

---

附录

为了证明这一点，我做了一个简单的测试：我（重新）定义了 nil 合并运算符：

infix operator !!! {
    associativity left
    precedence 110
}

func !!!<T>(optional: T?, defaultValue: @autoclosure () -> T?) -> T? {
    if let value = optional {
        println(optional)
        return value
    }

    let def = defaultValue()
    println(def)
    return def
}

有了这个测试数据：

let a: String? = "a"
let b: String? = "b"
let c: String? = "c"

let d = a !!! b !!! c

使用associativity left，这是打印到控制台的内容：

Optional("a")
Optional("a")

将关联性更改为right，输出为：

Optional("a")

这意味着当使用右关联时，如果左侧不是 nil，则运算符的右侧将被忽略。