ios - swift 中奇怪的泛型行为

Question

美好的一天!

我目前正在尝试快速学习编程并尝试一些泛型示例。这是我的示例代码

func findAll<T: Equatable>(arr: [T], _ elem: T) -> [Int] {
    var indexesArr = [Int]()
    var counter = 0

    for i in arr {
        if i == elem {
           indexesArr.append(counter)
        }
        counter++
    }

    return indexesArr
}

findAll([5, 3, 7, 3, 9], 3)
findAll(["a", "b", "c", "b", "d"], 2.0)

假设两个参数的类型相同。但是，不幸的是，正如您所看到的，我在第二个函数调用中传递了一个字符串字符数组和一个 Double ，它仍然有效!它返回一个空数组[]。没有运行时或编译错误。

请解释一下它为什么有效以及可能的一些解决方法。谢谢!

Answer 1

大概您的代码中某处有import Cocoa或import Foundation。如果删除它，您会发现代码的行为符合您的预期。

发生这种情况的原因是导入 Foundation 会导致 Swift.Array 神奇地桥接到 NSArray(又名 [AnyObject])，并且某些原始值类型神奇地桥接到 Foundation 对象类型(例如 NSString 和 NSNumber)。一旦发生这种情况，使用 [AnyObject] 和 AnyObject 类型的参数调用函数就完全合法了。

<小时/>

我不知道围绕魔术转换的好方法，但一种有效的方法是强制泛型参数具有原始值类型符合的协议(protocol)，但原始值神奇地包裹在 cocoa 中的物体则不然。确保这一点的一种方法是创建您自己的协议(protocol):

public protocol NotAnyObject {}
extension Int: NotAnyObject {}
extension String: NotAnyObject {}
extension Double: NotAnyObject {}
func findAll<T: Equatable where T: NotAnyObject>(arr: [T], _ elem: T) -> [Int] { /*...*/ }

不过，我不确定这是最好的方法...欢迎其他建议。

<小时/>

顺便说一句，执行此类操作的更惯用/Swifty 方法是作为类型扩展(如下所示的协议(protocol)扩展，或 Array where Element: Equatable 上的扩展) 。您甚至可以只是为了好玩而采用函数式编程风格:

extension CollectionType where Generator.Element : Equatable {
    public func allIndexesOf(element: Self.Generator.Element) -> [Self.Index] {
        return zip(self.indices, self) // makes sequence of (index, element)
            .filter { $0.1 == element } 
            .map { $0.0 }
    }
}

这样调用它:

let threes = [5, 3, 7, 3, 9].allIndexesOf(3)
// returns [1, 3]

不过，这仍然受到相同的魔法转换问题的影响:

let notThrees = ["twenty", "forty", "eight"].allIndexesOf[2.0]
// still compiles, returns []

因此，您仍然需要仅在不导入 Foundation 的 Swift 文件中使用此扩展，或者应用与上述相同的 hack 的变体，例如:

extension CollectionType where Generator.Element: Equatable,
    Generator.Element: NotAnyObject { /*...*/ }