美文网首页
重载操作符及函数柯里化

重载操作符及函数柯里化

作者: 阿影 | 来源:发表于2017-01-03 22:16 被阅读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这种东东嘛,交给低年资的程序员去解决就好啦~

相关文章

  • 重载操作符及函数柯里化

    swift版本Apple Swift version 3.0.2 (swiftlang-800.0.63 clan...

  • Currying Operator

    柯里化 操作符 可以直接重载+ - 乘操作符,在swift中有了这些操作符的定义,如果想自定义操作符,比如点乘+*...

  • C++中函数调用操作符的重载

    函数调用操作符的重载 函数调用操作符(())只能通过类的成员函数重载可以定义不同参数的多个重载函数 用法: 函数调...

  • C++中的操作符重载

    操作符重载 C++中的重载能够扩展操作符的功能 操作符的重载以函数的方式进行 本质:用特殊形式的函数扩展操作符的功...

  • 手写简单.bind()实现

    手写一个实现柯里化的.bind() 柯里化:《函数柯里化小结》柯里化:前端开发者进阶之函数柯里化Currying ...

  • 柯里化函数实现

    柯里化函数实现 柯里化函数的实现实质上是一个收集参数的过程, 也许柯里化的内涵及应用场景理解起来比较困难, 但是实...

  • [译]JavaScript中的函数柯里化

    原文 Currying in JS 函数柯里化 函数柯里化以Haskell Brooks Curry命名,柯里化是...

  • Boolan面向对象下第一周笔记

    1、虚函数表及操作符重载 Virtual Function是通过一张虚函数表Virtual Table来实现的,操...

  • vue面试题第十一天

    1:什么是函数柯里化及使用场景 柯里化(Currying)指的是将原来接受两个参数的函数变成新的接受一个参数的函数...

  • Swift学习:操作符

    1.标准操作符 逻辑中还有||位操作符中还有| 2.重载操作符(操作符函数) 2.1.==可以针对自定义类型重载标...

网友评论

      本文标题:重载操作符及函数柯里化

      本文链接:https://www.haomeiwen.com/subject/fibnvttx.html