ios - 如何实现快速处理可选性的中缀自定义运算符

Question

我正在尝试为集合实现一个类似于 Elvis 运算符的自定义运算符(?: 在 kotlin 中，?? 在 swift 中)，但除了检查可空性之外，该运算符还检查集合是否为空。

但是，当我尝试使用运算符时，代码无法编译。编译器抛出“运算符使用不明确”错误。

实现?? swift 语言中的运算符似乎与我的非常相似，所以我有点迷路了。非常感谢任何帮助理解为什么会发生这种情况以及如何解决它的帮助。

---

/// Returns the first argument if it's not null and not empty, otherwise will return the second argument.
infix operator ?/ : NilCoalescingPrecedence

@inlinable func ?/ <T: Collection>(optional: T?, defaultValue: @autoclosure () throws -> T) rethrows -> T {
    if let value = optional,
       !value.isEmpty {
        return value
    } else {
        return try defaultValue()
    }
}

---

@inlinable func ?/ <T: Collection>(optional: T?, defaultValue: @autoclosure () throws -> T?) rethrows -> T? {
    if let value = optional,
       !value.isEmpty {
        return value
    } else {
        return try defaultValue()
    }
}

---

func test() {
    let optionalValue: String? = nil
    
    let value1: String = optionalValue ?? "default value" // This works
    let value2: String = optionalValue ?/ "default value" // This works
    let value3: String? = optionalValue ?/ nil // This works
    let value4: String? = optionalValue ?? nil // This works
    let value5: String? = optionalValue ?? "default value" // This works
    let value6: String? = optionalValue ?/ "default value" // This dont compile: Ambiguous use of operator '?/'
}

---

?? 的标准实现可以在以下位置找到运算符(operator):https://github.com/apple/swift/blob/main/stdlib/public/core/Optional.swift ，只需在浏览器中搜索“?? <”。

也许我使用了错误的方法来解决这个问题。如果有人知道更好的解决方案也会很棒。

Answer 1

简短的回答，你不能那样做。可能 ??，由 swift 提供，之所以有效，是因为 swift 有它自己的力量并且它自己处理这些情况。但对于我们的代码，它不是那样工作的。

那里会发生什么:

对于表达式:let value2: String = optionalValue ?/ "default value" .

• 首先，编译器会查看 optionalValue参数，并将找到 2 个接受可选参数作为第一个参数的方法；
• 然后它会查看第二个参数(defaultValue)，它是一个返回非可选 T: Collection 的闭包。实例，它将过滤并匹配第一个运算符重载；
• 最后一件事是非可选的返回值T: Collection实例，第一种方法是兼容的；
• 成功；

对于表达式:let value4: String? = optionalValue ?/ "default value" .

• 首先，编译器会查看 optionalValue参数，并将找到 2 个接受可选参数作为第一个参数的方法；
• 然后它会查看第二个参数(defaultValue)，它是一个返回可选 T: Collection 的闭包。又名 Optional<T> where T: Collection instance，然后它会为 2 个参数找到 2 个选项；
• 此时它会寻找函数的返回类型，但它也会失败；
• 编译器错误；

失败的原因是 T: Collection在你的代码中被翻译成 String .而对于 defaultValue返回类型非可选字符串适合第一种和第二种方法，导致编译器不确定应该使用哪一种。

let string: String? = "value"和 let string: String? = Optional<String>.init("value")由于 Swift 执行的隐式转换，对于编译器来说是一样的。

因此，根据我目前的知识水平，无法实现这项工作。