【问题标题】:Generic function taking a type name in Swift在 Swift 中采用类型名称的泛型函数
【发布时间】:2016-05-13 17:42:07
【问题描述】:

在 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,something,...]

let x = findFirst(array) as String?

这很简单,但是如果返回的类型是带有方法的协议,并且您想在返回的对象上调用该方法:

(findFirst(array) as MyProtocol?)?.SomeMethodInMyProtocol()
(findFirst(array) as OtherProtocol?)?.SomeMethodInOtherProtocol()

这种语法很尴尬。在 C#(与 Swift 一样强类型)中,您可以这样做:

findFirst<MyProtocol>(array).SomeMethodInMyProtocol();

遗憾的是,这在 Swift 中是不可能的。

所以问题是:有没有办法用更简洁(不那么尴尬)的语法来实现这一点。

【问题讨论】:

  • someFunc() 寻找提供的类型的对象并返回它。就这么简单。我想提供所需的最少信息,因为细节和“为什么”无关紧要。
  • @PhilippeLeybaert 请你澄清你的问题。您说T 可以是任何协议,但您不能创建协议的实例。协议是抽象的——你只能创建一个符合给定协议的 concrete 类型的实例。 “细节”肯定与这个问题有关。我不确定您是否尝试将函数输出与给定类型进行比较,并且仅在符合该类型时才返回它 - 或者您是否尝试创建传入的给定类型的新实例。
  • 我不需要创建实例。该函数将在某处寻找符合该协议的对象,然后将其返回。无需创建新对象。
  • 我已经更新了我的问题。我意识到这并不像它可能的那么清楚

标签: swift generics swift2


【解决方案1】:

不幸的是,您不能显式定义泛型函数的类型(通过在其上使用&lt;...&gt; 语法)。但是,您可以提供一个通用元类型 (T.Type) 作为函数的参数,以便允许 Swift 推断函数的通用类型,如 @987654321 @。

对于您的具体示例,您希望您的函数看起来像这样:

func findFirst<T>(in array: [Any], ofType _: T.Type) -> T? {
  return array.lazy.compactMap { $0 as? T }.first
}

这里我们使用compactMap(_:) 来获取成功转换为T 的元素序列,然后使用first 来获取该序列的第一个元素。我们还使用了lazy,这样我们就可以在找到第一个元素后停止评估元素。

示例用法:

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? {
    // Unfortunately we can't easily use lazy.compactMap { $0 as? T }.first
    // here, as LazyMapSequence doesn't have a 'first' property (we'd have to
    // get the iterator and call next(), but at that point we might as well
    // do a for loop)
    for element in self {
      if let element = element as? T {
        return element
      }
    }
    return nil
  }
}

let a: [Any] = [5, "str", 6.7]
print(a.first(ofType: String.self) as Any) // Optional("str")

【讨论】:

  • 正是我正在寻找的答案。
  • 虽然这个语法比我想出来的还要别扭,但这正是我想知道的。谢谢!
  • @Verticon 没错,它只适用于泛型类型,而不适用于泛型函数——这是语言中一种奇怪的不一致(真的,我认为你应该能够明确地专门化具有&lt;...&gt; 语法的通用函数)。
  • @Hamish 那么for element in self where element is T { return element as? T } 对性能有影响吗?
  • @LeoDabus 在性能方面不应该有太大的差异;尽管您可以使用for case let element as T in self { return element } 消除双重检查。但是,为了清楚起见,我使用了 if 语句(看起来有点奇怪,for 循环体立即返回)。
【解决方案2】:

您可能需要做的是创建一个看起来像这样的协议:

protocol SomeProtocol {
    init()
    func someProtocolMethod()
}

然后在你的方法中添加T.Type作为参数:

func f<T: SomeProtocol>(t: T.Type) -> T {
    return T()
}

然后假设您有一个符合SomeProtocol 的类型,如下所示:

struct MyType: SomeProtocol {
    init() { }
    func someProtocolMethod() { }
}

然后你可以像这样调用你的函数:

f(MyType.self).someProtocolMethod()

正如其他人所指出的,这似乎是一种复杂的方式来做你想做的事。例如,如果你知道类型,你可以写:

MyType().someProtocolMethod()

不需要f

【讨论】:

  • 当然,f() 有作用,所以我需要 f() :-)
  • T 不是协议。 T 是一个类型。您不能实例化协议。您只能实例化类型。您编写的f 方法只返回一个对象。我们只能离开问题中的信息:)
  • 我从来没有说过要实例化一个新对象。该函数返回一个符合给定协议的现有对象。我更新了我的问题,让它更清楚一点。
猜你喜欢
  • 2017-06-07
  • 2017-07-07
  • 1970-01-01
  • 2014-10-18
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多