1.Map函数揭秘
Topic 1:
请用Map函数实现对一个Int类型数组的元素进行2倍放大。
Example:
//例一
let intArray = [1,2,3]
var result = intArray.map{ $0 * 2} //输出[2,4,6]
why coding like this?
假设让你写一个函数,传入参数为Int类型数组,对数组内每一个元素进行放大2倍操作,然后将处理后的数组作为结果返回。
这不难实现,只需要使用for-in
语句遍历数组元素,进行放大处理并保存结果值,最后返回处理后的数组。代码如下:
//例二:
func doubleArrayByTwo(xs:[Int])->[Int]{
var result :[Int] = []
for x in xs{
result.append(x * 2)
}
return result
}
不妨来试试写的函数:
result = doubleArrayByTwo(intArray) //返回[2,4,6]
看来我们确实实现了对一个数组元素进行放大两倍的函数,那么接下来请实现对每一个数组元素进行一个线性变换(y = ax + b),其中 a = 2 b = 3 。
难度不大,重写一个函数:
//例三:线性变换 y = 2x + 3
func linealMeasureArray(xs:[Int])->[Int]{
var result :[Int] = []
for x in xs{
result.append(x * 2 + 3) //仅仅只是括号中的代码改变了下而已
}
return result
}
那么接下来 a = 3 b = 4呢,你开始抓狂,Oh,No!显然每一次a,b值的改变就要重写一个函数绝非明智,考虑到所给命题我们均可以通过for-in
语句遍历数组每一个元素,进行f(x)
变换即可,因此上述代码我们更改为:
//例四:
func handleIntArray(xs:[Int],f:Int->Int)->[Int]{
var result :[Int] = []
for x in xs {
result.append(f(x))
}
return result
}
值得注意得是,我们除了传入一个xs数组外,还传入了一个f
闭包,而这个闭包类型为(Int->Int)
,接受Int
类型数据,经过闭包体内处理后再返回一个Int
结果值。更多闭包内容,请点击这里。
现在来测试下所写的这个函数是否满足我们要求:
//输出 3 5 7
result = handleIntArray(intArray){
x in
return 2 * x + 1 //2 * x + 1 就是闭包的处理体
}
可能如此写法仍然让人迷惑,因此我决定再简单分解下。首先声明一个函数名位handleClosure
的函数,主要作用是对传入的x元素进行2*x+1
的线性变换,最后将处理后的结果值返回。现在来调用handleIntArray
函数,首先传入intArray
数组,接着将handleClosure
函数作为一个参数传入,那么在什么时候调用呢? 请看result.append(f(x))
f(x)此时即为handleClosure(x:)函数,而传入的x参数为遍历数组中的元素。一切问题引刃而解!代码如下。
func handleClosure(x:Int)->Int{
return 2 * x + 1
}
result = handleIntArray(intArray, handleClosure)
新命题:对Int类型数组的每一个元素进行判断,偶数为true
,奇数为false
,结果数组为[False]
分析:奇偶判断我们通过 x % 2 == 0 语句轻松实现,然后调用handleIntArray即可,遗憾的是闭包的返回参数与我们的不匹配,我们所期望的是返回Bool类型,而闭包中为Int,不得已我们需要重新构建一个
//例五:
func handleBoolArray(xs:[Int],f:Int->Bool)->[Bool]{
var result :[Bool] = []
for x in xs {
result.append(f(x))
}
return result
}
现在我们能够使用func handleIntArray(xs:[Int],f:Int->Int)->[Int]
来处理Int类型的数组,使用func handleBoolArray(xs:[Int],f:Int->Bool)->[Bool]
来处理Int类型 返回Bool类型,但这都均有局限性。假如下一次是要处理String类型的数组,亦或是Double类型的数组呢?
仔细分析两个handle函数,它们看起来非常相似,唯一的区别就是在传入参数上。这时候我们就要试想了,如何声明一个函数能表示不同类型的参数输入呢? 感谢Swift提供了generics
为我们很好的解决了这一难题。现在我们来构建一个函数:
//例六:
func genericComputeArray<U>(xs:[Int],f:Int->U)->[U]{
var result :[U] = []
for x in xs {
result.append(f(x))
}
return result
}
泛型并不难,注意几点,尖括号<>
中的U
为类型,而非类,其次类型U
是未定的,直到你调用该函数,传入参数为Int
类型,U
便替换成Int
;传入参数为String
类型,U
便替换成String
。
更多时候我建议你把
genericComputerArray<U>
看作是该函数的大家庭family,一个具体的类型U
对应一个新函数!该函数传入一个Int类型数组,以及一个闭包(类型为Int->U
),返回一个U
类型的数组[U]
。
为了使得函数更通用,尝试稍微修改以上函数来构建我们的map
函数:
//例七:
func myMap<T,U>(xs:[T],f:T->U)->[U]{
var result:[U] = []
for x in xs{
result.append(f(x))
}
return result
}
myMap(intArray){
x in x * 2
}//输出 [2,4,6]
至于为什么系统的调用是xxx.map{},其实map函数是作为数组的实例方法存在,遵循了协议实现罢了。好奇的你可以一试。
总结:恭喜你自定义了一个myMap函数,可见系统自带的map函数也并不是那么神秘。 下次带来
why coding like this --- filter的实现