为什么未为可选数组定义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

但即使equatable类型T， Array<T> 不符合 该Equatable协议。

目前，这在Swift中是不可能的，例如参见
为什么我不能使Array符合Equatable？在Apple开发者论坛上进行讨论。
在Swift 4中通过SE-0143条件一致性的实现进行了此更改。

您的实现看起来是正确的，这是使用带有模式匹配的开关/案例的可能不同的方法：

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
    }
}