为什么没有为可选数组定义 Equatable

Question

谁能给我一个很好的理由说明为什么这不起作用：

let a: [Int]? = [1]
let b: [Int]? = nil
a == b

这将是我提出的（如果不优雅的话）解决方案。但这是微不足道的，所以我觉得我错过了一个没有实施的充分理由。

func ==<T: Equatable>(lhs: [T]?, rhs: [T]?) -> Bool {

    if let lhs = lhs, let rhs = rhs {
        return lhs == rhs
    }
    else if let _ = lhs {
        return false
    }
    else if let _ = rhs {
        return false
    }

    return true
}

Answer 1

更新： 条件一致性已在 Swift 4.1 中实现。 Equatable 元素的数组和可选项本身就是 Equatable 现在，还有你的代码

let a: [Int]? = [1]
let b: [Int]? = nil
a == b

在 Xcode 9.3 中按预期编译和工作。解决方法不是 不再需要了。

---

（旧答案：） 仅当底层包装类型是可相等的时，才可以比较可选项：

public func ==<T : Equatable>(lhs: T?, rhs: T?) -> Bool

现在数组可以比较如果元素类型是相等的：

/// Returns true if these arrays contain the same elements.
public func ==<Element : Equatable>(lhs: [Element], rhs: [Element]) -> Bool

但即使对于可等式类型T，Array<T> 也不符合Equatable 协议。

目前，这在 Swift 中是不可能的，例如 Why can't I make Array conform to Equatable? 讨论 在 Apple 开发者论坛中。这种变化随着实施 SE-0143 Conditional conformances 在 Swift 4 中。

您的实现看起来是正确的，这可能是一个不同的实现 使用带有模式匹配的 switch/case：

func ==<T: Equatable>(lhs: [T]?, rhs: [T]?) -> Bool {

    switch (lhs, rhs) {
    case let (l?, r?) : // shortcut for (.Some(l), .Some(r))
        return l == r
    case (.None, .None):
        return true
    default:
        return false
    }
}