斯威夫特誤差比較自選

Question

我得到編譯錯誤在未來斯威夫特代碼

var x:Array<Int?> = [1,2] 
var y:Array<Int?> = [1,2] 
if x == y { // Error 
} 

如果兩個數組都是Array<Int>它工作正常，但如果其中至少有一個是可選的，它拋出一個的兩個數組像下一個錯誤：

二元運算符 '==' 不能被應用到兩個操作數Array<Int?>

我幾個月前提交了一個錯誤報告，但我沒有回答。它仍然發生在Swift 1.2中。

這是怎麼發生的？

Answer 1

這裏的問題是區分具有==運算符的東西，而不是某些「可相等」的東西。

兩個Optional和Array有==操作，當它們包含的內容是equatable的作品：

// if T is equatable, you can compare each entry for equality 
func ==<T : Equatable>(lhs: [T], rhs: [T]) -> Bool 
// if T is equatable, you can compare the contents, if any, for equality 
func ==<T : Equatable>(lhs: T?, rhs: T?) -> Bool 

let i: Int? = 1 
let j: Int = 1 
i == j   // fine, Int is Equatable 
["a","b"] == ["a","b"] // and so is String 

但他們自己不符合Equatable。這是有道理的，因爲你可以在它們內部放置一個不相等的類型。但結果是，如果一個數組包含一個不可分類的類型，那麼==將不起作用。因爲可選項不是Equatable，所以在數組中放入可選項時就是這種情況。

你會得到同樣的事情，如果你想比較數組的數組：

let a = [[1,2]] 
let b = [[1,2]] 
a == b // error: `==` can’t be applied to `[Array<Int>]` 

如果你想特殊的情況下，你可以寫==爲自選的陣列爲：

func ==<T: Equatable>(lhs: [T?], rhs: [T?]) -> Bool { 
    if lhs.count != rhs.count { return false } 
    for (l,r) in zip(lhs,rhs) { 
     if l != r { return false } 
    } 
    return true 
} 

對於反例，由於Set需要其內容是哈希的（並因此equatable），它可以是 equatable：

let setarray: [Set<Int>] = [[1,2,3],[4,5,6]] 
setarray == [[1,2,3],[4,5,6]] // true