Pourquoi le scalac ne peut-il pas optimiser la récurrence de la queue dans certains scénarios?

Question

Pourquoi scalac (le compilateur Scala) n'optimise pas la récursivité de la queue?

invocations du Code et du compilateur qui fait la démonstration:

 
> 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

méthodes qui peuvent être surchargées ne peuvent pas être récursive queue. Essayez ceci:

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

Answer 2

Essayez ceci:

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) 

Notez que ifakpeut être récursive, mais il ne peut pas aussi bien. Marquer la classe ou la méthode finale, et elle devra probablement être récursive en queue.

Answer 3

Les fonctions internes sont également éligibles pour TCO.