在C#中,可以通过指定类型来调用通用方法:
- public T f<T>()
- {
- return something as T
- }
- var x = f<string>()
调用它时,Swift不允许你专门化通用的方法.编译器要依赖类型推断,所以这是不可能的:
- func f<T>() -> T? {
- return something as T?
- }
- let x = f<String>() // not allowed in Swift
我需要的是一种将类型传递给函数的方法,该函数使用泛型返回该类型的对象
这是有效的,但它并不适合我想做的事情:
- let x = f() as String?
编辑(澄清)
我可能没有非常清楚这个问题实际上是什么,所有这一切都是关于一个更简单的语法来调用返回给定类型(任何类型)的函数.
作为一个简单的例子,假设你有一个Any的数组,你创建一个返回给定类型的第一个元素的函数:
- // returns the first element in the array of that type
- func findFirst<T>(array: [Any]) -> T? {
- return array.filter() { $0 is T }.first as? T
- }
- let array = [something,something,...]
- let x = findFirst(array) as String?
这很简单,但是如果返回的类型是一些方法的协议,并且您想要在返回的对象上调用方法呢?
- (findFirst(array) as MyProtocol?)?.SomeMethodInMyProtocol()
- (findFirst(array) as OtherProtocol?)?.SomeMethodInOtherProtocol()
那个语法很尴尬在C#(与Swift类似的类型)中,您可以这样做:
- findFirst<MyProtocol>(array).SomeMethodInMyProtocol();
可悲的是,这在Swift中是不可能的.
所以问题是:有没有办法用一个更干净(更尴尬)的语法来完成这个.
不幸的是,您不能显式定义通用函数的类型(通过使用< ...>语法).但是,您可以提供一个通用元类型(T.Type)作为函数的参数,以便允许Swift将该函数的通用类型推断为
Roman has said.
对于您的具体示例,您将希望您的功能如下所示:
- func findFirst<T>(in array: [Any],ofType _: T.Type) -> T? {
- return array.lazy.flatMap{ $0 as? T }.first
- }
在这里,我们使用flatMap(_ :)来获取成功转换为T的元素序列,然后首先获得该序列的第一个元素.我们也使用懒惰,以便我们可以在找到第一个元素后停止评估元素.
使用示例
- protocol SomeProtocol {
- func doSomething()
- }
- protocol AnotherProtocol {
- func somethingElse()
- }
- extension String : SomeProtocol {
- func doSomething() {
- print("success:",self)
- }
- }
- let a: [Any] = [5,"str",6.7]
- // outputs "success: str",as the second element is castable to SomeProtocol.
- findFirst(in: a,ofType: SomeProtocol.self)?.doSomething()
- // doesn't output anything,as none of the elements conform to AnotherProtocol.
- findFirst(in: a,ofType: AnotherProtocol.self)?.somethingElse()
请注意,您必须使用.self才能引用特定类型(在本例中为SomeProtocol)的元类型.也许不是一个光滑的语法,你的目标是,但我认为这是一样好,你会得到.
虽然在这种情况下值得注意的是,该功能将更好地放在Sequence的扩展中:
- extension Sequence {
- func first<T>(ofType _: T.Type) -> T? {
- return lazy.flatMap{ $0 as? T }.first
- }
- }
- let a: [Any] = [5,6.7]
- print(a.first(ofType: Double.self) as Any) // Optional(6.7000000000000002)