Tại sao scalac không thể tối ưu hóa đệ quy đuôi trong các tình huống nhất định?

Question

Tại sao scalac (trình biên dịch Scala) tối ưu hóa đệ quy đuôi?

Mã và trình biên dịch lời gọi đó chứng tỏ điều này:

 
> cat foo.scala 
class Foo { 
def ifak(n: Int, acc: Int):Int = { 
    if (n == 1) acc 
    else ifak(n-1, n*acc) 
} 
} 

> scalac foo.scala 
> jd-gui Foo.class 
import scala.ScalaObject; 

public class Foo 
    implements ScalaObject 
{ 
    public int ifak(int n, int acc) 
    { 
    return ((n == 1) ? acc : 
     ifak(n - 1, n * acc)); 
    } 
} 

Answer 1

Các phương pháp có thể được ghi đè KHÔNG có thể đệ quy đuôi. Hãy thử điều này:

class Foo { 
    private def ifak(n: Int, acc: Int): Int = { 
    if (n == 1) acc 
    else ifak(n-1, n*acc) 
    } 
} 

Answer 2

Hãy thử điều này:

class Foo { 
    def ifak(n: Int, acc: Int):Int = { 
    if (n == 1) acc 
    else ifak(n-1, n*acc) 
    } 
} 

class Bar extends Foo { 
    override def ifak(n: Int, acc: Int): Int = { 
    println("Bar!") 
    super.ifak(n, acc) 
    } 
} 

val foobar = new Bar 
foobar.ifak(5, 1) 

ý rằng ifakthể được đệ quy, nhưng nó có thể không phải là tốt. Đánh dấu lớp hoặc phương thức cuối cùng, và nó có lẽ sẽ làm cho đệ quy đuôi.

Answer 3

Chức năng bên trong cũng đủ điều kiện cho TCO.