小编典典

为什么未为可选数组定义Equatable

swift

有人可以给我一个为什么它不起作用的充分理由:

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
}

阅读 297

收藏
2020-07-07

共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类型TArray<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
    }
}
2020-07-07