Swift中泛型中的泛型

试着理解下面的代码.
我知道在实例化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是一个字符串？