なぜこのメソッドに@tailrecとしてアノテートできないのですか？

Question

リストの総和：このメソッドに@tailrecとして注釈を付けることはできませんか？

def rec(a:List[Int]): Int ={ 

    def rechelper(a:List[Int],n:Int,res:Int) :Int={ 
    if (n==a.length) res 
    else rechelper(a,n+1,res+a(n)) 
    } 
    rechelper(a,0,0) 
} 

Answer 1

recメソッドが末尾再帰型ではないため、このようにすることはできません。 rechelperは尾の再帰的な方法ですので、それを行うことができます。

scala> def rec(a:List[Int]): Int ={ 
    | @tailrec 
    | def rechelper(a:List[Int],n:Int,res:Int) :Int={ 
    |  if (n==a.length) res 
    |  else rechelper(a,n+1,res+a(n)) 
    | } 
    | rechelper(a,0,0) 
    | } 
rec: (a: List[Int])Int 

scala>