这个通用函数是怎么回事？

Question

对不起，笼统的标题，没有例子很难描述问题。

假设我定义了以下受限于Equatable 类型的泛型函数：

func test<T: Equatable>(expect expected: T, run: () -> T) {
    let value = run()
    if value == expected {
        print("OK")
    } else {
        print("Expected: \(expected), Actual: \(value)")
    }
}

这是一个使用上述功能的例子：

test(expect: 100) { 10 * 10 } // prints "OK"
test(expect: 1000) { 10 * 10 } // prints "Expected: 1000, Actual: 100"

当然，我可以存储值而不是使用文字：

let e = 100
test(expect: e) { e } // prints "OK"

到目前为止一切顺利，一切正常（没有双关语）。

现在让我们用一个数组试试这个：

test(expect: [1, 2]) { [1, 2] } // prints "OK"

再一次，事情解决了。

但现在我们试试这个：

let a = [1, 2]
test(expect: a) { a } // error: cannot convert value of type '() -> [Int]' to expected argument type '() -> _'

所以我一直在建立的问题是：为什么这不起作用？

Playground 正确推断出a 的类型为[Int]，那么() -> _ 的期望从何而来？

尝试上一个示例的一系列变体：

test(expect: a) { return a }
test(expect: a) { return a as [Int] }
test(expect: a as [Int]) { return a as [Int] }
test(expect: [1, 2]) { a }
test(expect: [1, 2] as [Int]) { a }

它们都会导致相同的问题。出于某种原因，Swift 似乎认为该函数需要 () -> _。

所以也许这只是因为数组不是Equatable，但这有效：

let a = [1, 2]
[1, 2] == [1, 2]
a == a

我认为我非常了解泛型，但我完全被这个难住了。这是 Swift 中的错误还是我对 test() 的定义中的错误？目标还能实现吗？

解决方案

感谢@Sulthan 在下面的回答，我能够编写此函数的另一个版本来处理数组情况（以及任何SequenceType）：

public func test<T: SequenceType where T.Generator.Element: Equatable>(expect expected: T, run: () -> T) {
    let result = run()
    // Note: zip() will stop at the shorter array, so this implementation isn't correct, don't use it (it will incorrectly end up saying [1] == [1,2]). This code is just here to demonstrate the function's generic constraint.
    let eq = zip(expected, result).filter(!=).isEmpty
    if eq {
        print("OK")
    } else {
        print("Expected: \(expected), Actual: \(result)")
    }
}

let a: [Int] = [1, 2]
test(expect: [1,2]) { a } // prints "OK"
test(expect: [1,3]) { a } // prints "Expected: [1, 3], Actual: [1, 2]"

Answer 1

数组不会自动符合Equatable，即使它们的值为Equatable。但是，当您直接使用数组字面量时，编译器会尝试匹配类型并将数组转换为符合Equatable 的NSArray。