Swift尾随递归(Recursive Tail Calls)和Trampoline

栏目: Swift · 发布时间: 6年前

内容简介:###普通递归###尾随递归###连续传递风格CPS

###普通递归

func tri(n:Int)->Int{
    if n <= 0 {
        return 0
    }
    return n+tri(n-1)
}
tri(300) //45150

###尾随递归

func ttri(n:Int, acc:Int=0)->Int {
    if n<1 {
        return acc
    }
    return ttri(n-1,acc:acc+n)
}
ttri(300) //45150
  • 尾随递归就是递归函数里不进行计算工作,只是进行调用,然而swift编译器并不能优化某些尾随递归,比如上面这个

###连续传递风格CPS

func triCont(n: Int, cont: Int -> Int) -> Int {
    return n <= 1 ? cont(1) : triCont(n-1) { r in cont(r+n) } 
}

func id<A> (x: A) -> A{ return x }

triCont(10, cont: id) // 55
  • 连续传递风格下,递归函数要么返回下一次要执行的函数,要么返回一个最终结果的标识。随着函数的调用cont在不断记录累加值,cont可以看成一种特别的数据在不断地被传递到下一个调用。

###Trampoline

enum Result<A>{
    case Done(A)
    case Call(()->Result<A>)
}

func tritr(n:Int)->Int {
    func ttri(n:Int, acc:Int=0)->Result<Int> {
        if n<1 {
            return .Done(acc)
        }
        return .Call({
            ()->Result<Int> in
                return ttri(n-1,acc: acc+n)
        })
    }

    // Trampoline section
    let acc = 0
    var res = ttri(n,acc:acc)

    while true {
        switch res {
            case let .Done(accu):
                return accu
            case let .Call(f):
                res = f()
        }
    }
}

tritr(30000000)
  • 这里用枚举来标识返回的两种不同结果,思想就是上面的CPS

以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

矩阵计算

矩阵计算

Gene H.Golub、Charles F.Van Loan / 袁亚湘 / 人民邮电出版社 / 2011-3-1 / 89.00元

本书是国际上数值计算方面的权威著作,有“圣经”之称。被美国加州大学、斯坦福大学、华盛顿大学、芝加哥大学、中国科学院研究生院等很多世界知名学府用作相关课程的教材或主要参考书。 本书系统地介绍了矩阵计算的基本理论和方法。书中的许多算法都有现成的软件包实现,每节后还附有习题,并有注释和大量参考文献,非常有助于自学。一起来看看 《矩阵计算》 这本书的介绍吧!

JS 压缩/解压工具
JS 压缩/解压工具

在线压缩/解压 JS 代码

XML、JSON 在线转换
XML、JSON 在线转换

在线XML、JSON转换工具

正则表达式在线测试
正则表达式在线测试

正则表达式在线测试