试着理解下面的代码.
我知道在实例化Optional时传递T,就像在Optional中一样,但是在map中的U类型呢.这假设是什么类型的？
我知道在实例化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是一个字符串？
