Swift：为可选值创建一个infix运算符，该运算符为空时提供默认值

Question

关于我的最后一个问题（在这里： Swift检查条件是否实现了属性的条件 ），在这里我以为我很聪明，通过使用以下代码创建协议扩展来为nil或空字符串提供默认值，我现在还有另一个问题。 但是首先，这是代码：

protocol Emptyable {
    var isEmpty: Bool { get }
}

extension Optional where Wrapped: Emptyable {
    func orWhenNilOrEmpty<T: Emptyable>(_ defaultValue: T) -> T {
        switch(self) {
        case .none:
            return defaultValue
        case .some(let value) where value.isEmpty:
            return defaultValue
        case .some(let value):
            return value as! T
        }
    }
}

extension String: Emptyable {}

如您所见，我现在可以为实现我定义的Emptyable协议的可选提供默认值。 我这样做是为了保存这种样式不断重复的代码（更多关于为什么我在另一个问题中提到的博客文章中这样做）：

if let unwrapped = optional, !unwrapped.isEmpty {
    myLabel.text = unwrapped
} else {
    myLabel.text = "Some Default Text"
}

现在，出于学习和成为更好的开发人员的目的，我认为创建一个新的运算符来像我这样调用orWhenNilOrEmpty函数可能会很有趣：

let optionalString: String? = nil
let actualString: String = some ??? "Hello World"

所以我尝试了这个：

infix operator ???: DefaultPrecedence
extension Optional where Wrapped: Emptyable {
    static func ???<T>(left: T?, right: T) -> T {
        return left.orWhenNilAndEmpty(right)
    }
}

但是我得到了这个错误，我也不是很清楚为什么。 希望您能澄清问题并解释我做错了什么：

generic parameter 'Wrapped' could not be inferred

Answer 1

原来问题出在试图在函数声明中使用泛型T 同样， DefaultPrecedence也不是最佳选择。 这就是我现在解决它的方法及其工作方式：

protocol Emptyable { var isEmpty: Bool { get } }

infix operator ???: NilCoalescingPrecedence

extension Optional where Wrapped: Emptyable {
    func orWhenNilOrEmpty(_ defaultValue: Wrapped) -> Wrapped {
        switch(self) {
        case .none:
            return defaultValue
        case .some(let value) where value.isEmpty:
            return defaultValue
        case .some(let value):
            return value
        }
    }

    static func ???(left: Wrapped?, right: Wrapped) -> Wrapped {
        return left.orWhenNilOrEmpty(right)
    }
}

现在，我所要做的就是在需要的地方实现Emptyable ，然后可以使用??? 从任何可选的获取非空值：

extension String: Emptyable {}
let notEmptyString = nilOrEmptyOptionalString ??? "Meaningful default value"