swift版本
Apple Swift version 3.0.2 (swiftlang-800.0.63 clang-800.0.42.1)
Target: x86_64-apple-macosx10.9
由于swift 3已取消了函数柯里化,所以本教程到此结束。
……
……
……
开个玩笑 (。◕∀◕。)
函数柯里化可能很多人都没有听说过,这是swift早期版本的一个特性。如果你有一个函数,接受4个参数。那么你将它柯里化之后,可以只传给它两个参数。然后这个函数会返回一个接受剩下两个参数的函数。
照抄王巍 (onevcat) 的例子,下面这个柯里化后的函数接受两个参数:
func addTwoNumbers(a: Int)(num: Int) -> Int {
return a + num
}
我们可以传一个参数给它,让它返回一个函数:
let addToFour = addTwoNumbers(4) // addToFour 是⼀个 Int -> Int
再给它返回的函数传入一个参数:
let result = addToFour(num: 6) // result = 10
看上去没什么卵用的特性 ( ˘・з・)
我原来也觉得没什么用,事实上当我第一次听说它的时候,它已经被苹果标记为了“即将取消”,所以在正式项目中我一次也没有用过。
不过为了写博客装逼,我还是找到了它的用处。
题目:在直角坐标系上,我们有一组线的公式,现在任选一个点,判断这个点是否在线上。
首先让我们来实现函数柯里化。苹果取消柯里化的原因是觉得它会把函数变得复杂,结果我需要用更复杂的方式来实现它。
直角坐标系上的线是用关于x,y的方程来表示的。
直线:y - kx - b = 0
func straingLine(k: Float, b: Float) -> ((Float, Float) -> Float) {
return {
//省略括号内的return,以及两个输入变量
$1 - k * $0 - b
}
}
双曲线: ax2 + bxy + cy2 + dx + ey + f = 0
func Hyperbola(a: Float, b: Float, c: Float, d: Float, e: Float, f: Float) -> ((Float, Float) -> Float) {
return { x, y in
//双曲线的公式居然因为太长而编译不过(╯‵□′)╯︵┻━┻
let axSquare = a * x * x
return axSquare + b * x * y + c * y * y + d * x + e * y + f
}
}
圆:(x - a)2 + (y - b)2 - r2 = 0
func Circle(a: Float, b: Float, r: Float) -> ((Float, Float) -> Float) {
return {
($0 - a) * ($0 - a) + ($1 - b) * ($1 - b) - r * r
}
}
我们可以看到,上述三个函数的返回值,都是一个(Float, Float) -> Float的函数。这样,原题就思路清晰了。
我们只要把直角坐标系上任意点的x,y坐标传入这个返回的函数,并判断结果是否等于0,即可知道点是否在线上。
下面我要用switch来实现这一功能。
在switch语句中,switch和case后面的项,执行的并不是==操作,而是一种叫做模式匹配的操作。它有自己的操作符:~=
我们要让坐标和返回的函数进行匹配,就需要重载这个操作符。
func ~= (匹配函数: (Float, Float) -> Float, 输入值: (x: Float, y: Float)) -> Bool {
if 匹配函数(输入值.x, 输入值.y) == 0 {
return true
}
return false
}
注意写法,case后面的类型写在第一个参数处,switch后面的类型写在第二个参数处。我现在越来越觉得中文作函数名和变量名挺好用的,注释都可以不用写了。这段代码的意思是将输入值代入匹配函数,如果函数返回0,表示模式匹配成功。
下面写switch语句:
switch (Float(2), Float(1)) {
case straingLine(k: 0.5, b: 1):
print("在直线上")
case Hyperbola(a: 1, b: 4, c: 2, d: 3, e: 3, f: -5):
print("在双曲线上")
case Circle(a: 2, b: -4, r: 5):
print("在圆上") //这行被打印
default:
print("哪儿都不在")
}
这个代码是不是很优雅?σ`∀´)σ
不过有个bug,如果点同时在两条线上就只能显示一个结果。
不过bug这种东东嘛,交给低年资的程序员去解决就好啦~