如何调用没有参数的泛型函数？

Question

给 Array 添加一个扩展，返回第一个 Int 或 String 很简单：

extension Array {
    func firstInt() -> Int? {
        return self.flatMap{$0 as? Int}.first
    }
    func firstString() -> String? {
        return self.flatMap{$0 as? String}.first
    }
}

let a1:[AnyObject?] = [nil, "abc", 3, 4]
let a2:[AnyObject?] = [nil, [3], [ "foo":"bar" ]]
print(a1.firstInt()) // Optional(3)
print(a2.firstInt()) // nil
print(a1.firstString()) // Optional("abc")
print(a2.firstString()) // nil

我可以定义一个通用版本，但我不知道如何调用它，因为它不带任何参数。没有参数，我无法指定类型！

extension Array {
    func firstValueOfType<T>() -> T? {
        return self.flatMap{$0 as? T}.first
    }
}
// I can't figure out how to call this method!

我可以通过添加一个虚拟参数来解决它，但这很难看。

extension Array {
    func firstValueLike<T>(_:T) -> T? {
        return self.flatMap{$0 as? T}.first
    }
}

let a1:[AnyObject?] = [nil, "abc", 3, 4]
print(a1.firstValueLike(1)) // Optional(3)
print(a1.firstValueLike("")) // Optional("abc")

如果有人能告诉我如何调用 firstValueOfType 函数（或干净地定义通用函数的替代方法），我将不胜感激。

附加信息

“不能显式特化泛型函数”是类似的，但我的问题有点复杂，因为可选。

我从 OOPer 那里得到了一个很好的答案，它甚至包括更好的实现，它使用了lazy.filter，而不是 flatMap。

extension Array {
    func firstValueOfType<T>() -> T? {
        return self.lazy.filter {$0 is T}.first as? T
    }
}

let a1:[AnyObject?] = [nil, "abc", 3, 4]
print(a1.firstValueOfType() as Int?) // Optional(3)
print(a1.firstValueOfType() as String?) // Optional("abc")

非常感谢您的快速支持！

Answer 1

一种方法是将结果分配给具有显式类型的变量。

let i: Int? = a1.firstValueOfType()
print(i) // Optional(3)
let s: String? = a1.firstValueOfType()
print(s) // Optional("abc")

另一个正在使用as：

print(a1.firstValueOfType() as Int?) // Optional(3)
print(a1.firstValueOfType() as String?) // Optional("abc")

Answer 2

您可以使用T.Type 将类型作为参数传递，如下所示：

extension Array {
    func firstValue<T>(like type: T.Type) -> T? {
        return self.flatMap{$0 as? T}.first
    }
}

[1,2,3].firstValue(like: Int.self)