- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我已经使用并阅读了 @tailrec
注释具有尾递归方法。我已经浏览了许多解释它的链接。例如,它仅适用于自调用函数,不应被覆盖等。
到处都提到compiler optimizes
.但是编译器做了什么魔术/概念来使它尾递归。对于下面的一个简单函数,编译器做了什么:
@tailrec def fact(acc: Int, n: Int): Int = {
if (n <= 1) acc
else fact(n * acc, n - 1)
}
fact(1,10)
最佳答案
除了我对您的问题的评论(在此处重新粘贴代码):
var acc = 1
var n = 10
start:
if (n <= 1) return acc
else {
acc = n * acc
n = n - 1
goto start
}
fact
方法与我碰巧拥有的最近版本和
scalac -Xprint:all
不知何故,编译器发出了
icode
文件。所以这真的说明了它是如何优化尾调用的:
// methods
def fact(acc: Int (INT), n: Int (INT)): Int {
locals: value acc, value n, value _$this
startBlock: 1
blocks: [1,2,3,4,5]
1:
2 JUMP 2
2: // huynhjl's comment: IF condition is here
3 LOAD_LOCAL(value n)
3 CONSTANT(1)
3 CJUMP (INT)LE ? 3 : 4
3: // huynhjl's comment: first branch of IF, will return acc
3 LOAD_LOCAL(value acc)
3 JUMP 5
5:
2 RETURN(INT)
4: // huynhjl's comment: else branch of IF, update acc and n and jump back
4 LOAD_LOCAL(value n)
4 LOAD_LOCAL(value acc)
4 CALL_PRIMITIVE(Arithmetic(MUL,INT))
4 LOAD_LOCAL(value n)
4 CONSTANT(1)
4 CALL_PRIMITIVE(Arithmetic(SUB,INT))
4 STORE_LOCAL(value n)
4 STORE_LOCAL(value acc)
4 JUMP 2
}
关于scala - @tailrec 如何工作,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17319412/
我已经使用并阅读了 @tailrec注释具有尾递归方法。我已经浏览了许多解释它的链接。例如,它仅适用于自调用函数,不应被覆盖等。 到处都提到compiler optimizes .但是编译器做了什么魔
我有一个名为 ImmutableEntity 的 Java 抽象类以及几个包含名为 @DBTable 的类级注释的子类.我正在尝试使用尾递归 Scala 方法搜索注释的类层次结构: def get
我正在学习如何使用 CompletableFuture 使协程与 Java 库一起工作。下面是我的代码: // x invokes y invokes z invokes Java client su
在下面的代码中,我看到一个警告no tail calls found,但是当作为扩展函数编写时,同一函数没有该警告。现在我很困惑我的IDE是错误的,还是我的Extension方法实际上不是尾部递归的,
这个问题在这里已经有了答案: What is the Scala annotation to ensure a tail recursive function is optimized? (3 个回答
我正在 Kotlin 中练习递归,并在运行以下 2 个函数时得到了其他结果: tailrec fun fac1(n: Long): BigInteger { if(n == 1L)
tailrec 优化存在尾递归的函数。为什么编译器不直接优化它? C 编译器针对尾递归进行了优化。您不必将该方法标记为具有尾递归。编译器只是注意到最后一个操作是递归的。就是这样。 为什么会存在这个看似
在以下 Scala 函数示例中: @tailrec def someFunction( ... ): Unit = { 是@tailrec注释做任何有用的事情还是很高兴知道这是一个尾递归? 最佳答案
在下面,maybeNext.map{rec}.getOrElse(n) 行使用 Option monad 来实现递归或转义模式。 scala> @tailrec
应用@tailrec 我从scala 编译器中得到错误:“无法优化@tailrec 注释方法get:它包含一个递归调用,目标是父类(super class)型case _ => tail.get(n-
在 scala 中,以下 2 个函数的作用完全相同: @tailrec final def fn(str: String): Option[String] = { Option(str).filt
我正在研究 scala TCO 并编写了以下代码 import scala.annotation.tailrec final def tailReccursionEx(str:String):List
我在阅读《Joy of Kotlin》一书时遇到了这个有趣的问题。在第4章中,在解释尾递归时,作者提供了一个将两个数字相加的实现,如下所示。 tailrec fun add(a: Int, b: In
我尝试使用本教程 youtube tutorial .我有一个功能如下: fun fact(x:Int):Int{ tailrec fun factTail(y:Int, z:Int):Int
我正在尝试测试以下 tailrec 函数: private tailrec fun findFixPoint(eps: Double = 5.0, x: Double = 1.0): Doub
斯卡拉 代码: @annotation.tailrec private def fastLoop(n: Int, a: Long = 0, b: Long = 1): Long = if (n >
我是一名优秀的程序员,十分优秀!