特定のシナリオでスカラックが末尾再帰を最適化できないのはなぜですか？

Question

scalac（Scalaコンパイラ）が末尾再帰を最適化しないのはなぜですか？これを示し

コードおよびコンパイラの呼び出し：

 
> 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

上書きすることができる方法は末尾再帰することはできません。これを試してみてください：ifakは再帰的かもしれないが、それは同様ではないことを

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) 

は予告：

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

Answer 2

これを試してみてください。クラスまたはメソッドを最終的にマークすると、おそらくテール再帰的になります。

Answer 3

内部機能もTCOの対象です。