Swift中泛型中的泛型

发布时间：2020-12-14 05:38:36 所属栏目：百科来源：网络整理

导读：试着理解下面的代码. 我知道在实例化Optional时传递T,就像在Optional中一样,但是在map中的U类型呢.这假设是什么类型的？ enum OptionalT : LogicValue,Reflectable { case None case Some(T) init() init(_ some: T) /// Allow use in a Boolean context. fu

试着理解下面的代码.
我知道在实例化Optional时传递T,就像在Optional中一样,但是在map中的U类型呢.这假设是什么类型的？

enum Optional<T> : LogicValue,Reflectable {
    case None
    case Some(T)
    init()
    init(_ some: T)

    /// Allow use in a Boolean context.
    func getLogicValue() -> Bool

    /// Haskell's fmap,which was mis-named
    func map<U>(f: (T) -> U) -> U?
    func getMirror() -> Mirror
}

类型U来自映射函数的f参数.因此,如果传递一个返回Int的闭包,那么map将返回一个Int？.如果传递一个返回Array< Int>的闭包,则map返回一个数组< Int>？.

例如,试试这个：

var opt1: Optional<Int> = .Some(1)
var opt2 = opt1.map { (i: Int) -> String in return "String: (i)" }

你会发现opt1是一个Int？和opt2是一个字符串？

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!