为什么scalac在某些场景下无法优化尾递归？

为什么 scalac 不（Scala http://en.wikipedia.org/wiki/Scala_%28programming_language%29编译器）优化尾递归？

演示这一点的代码和编译器调用：

> 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));
  }
}
  

可以重写的方法不能是尾递归的。尝试这个：

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