重载操作符及函数柯里化

2017-01-03  本文已影响24人  阿影

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这种东东嘛,交给低年资的程序员去解决就好啦~

上一篇下一篇

猜你喜欢

热点阅读