Почему 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

Optionals можно сравнить только если основной завернутые тип equatable:

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

Теперь Массивы могут быть по сравнению если тип элемента equatable:

/// 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.

Ваша реализация выглядит правильно, здесь можно разными один с помощью переключателя/случай с сопоставления с шаблоном:

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