如何编写递归匿名函数?

时间:2011-06-25 00:28:18

标签: scala recursion anonymous-function

在我继续努力学习scala的过程中,我正在通过Odersky的'示例Scala'和第一类函数的章节,关于匿名函数的部分避免了递归匿名函数的情况。我有一个似乎有效的解决方案。我很好奇是否有更好的答案。

从pdf: 用于展示更高阶函数的代码

def sum(f: Int => Int, a: Int, b: Int): Int =
  if (a > b) 0 else f(a) + sum(f, a + 1, b)

def id(x: Int): Int = x
def square(x: Int): Int = x * x
def powerOfTwo(x: Int): Int = if (x == 0) 1 else 2 * powerOfTwo(x-1)

def sumInts(a: Int, b: Int): Int = sum(id, a, b)
def sumSquares(a: Int, b: Int): Int = sum(square, a, b)
def sumPowersOfTwo(a: Int, b: Int): Int = sum(powerOfTwo, a, b)

scala> sumPowersOfTwo(2,3)
res0: Int = 12

来自pdf: 用于展示匿名函数的代码

def sum(f: Int => Int, a: Int, b: Int): Int =
  if (a > b) 0 else f(a) + sum(f, a + 1, b)

def sumInts(a: Int, b: Int): Int = sum((x: Int) => x, a, b)
def sumSquares(a: Int, b: Int): Int = sum((x: Int) => x * x, a, b)
// no sumPowersOfTwo

我的代码:

def sumPowersOfTwo(a: Int, b: Int): Int = sum((x: Int) => {
   def f(y:Int):Int = if (y==0) 1 else 2 * f(y-1); f(x) }, a, b)

scala> sumPowersOfTwo(2,3)
res0: Int = 12

2 个答案:

答案 0 :(得分:13)

对于它的价值......(标题和“真正的问题”并不完全同意)

递归匿名函数对象可以通过FunctionN 的“长手”扩展创建,然后在this(...)内使用apply

(new Function1[Int,Unit] {
  def apply(x: Int) {
    println("" + x)
    if (x > 1) this(x - 1)
  }
})(10)

然而,这通常引入的icky-ness数量使得该方法通常不太理想。最好只使用“名称”,并有一些更具描述性的模块化代码 - 不是以下是一个非常好的论据; - )

val printingCounter: (Int) => Unit = (x: Int) => {
    println("" + x)
    if (x > 1) printingCounter(x - 1)
}
printingCounter(10)

快乐的编码。

答案 1 :(得分:2)

您可以将此间接递归概括为:

case class Rec[I, O](fn : (I => O, I) => O) extends (I => O) {
  def apply(v : I) = fn(this, v)
}

现在可以使用间接递归来编写sum:

val sum = Rec[Int, Int]((f, v) => if (v == 0) 0 else v + f(v - 1))

例如,可以使用相同的解决方案来实现memoization。