ネストされた関数は、その親の戻り値の型を歪めます

Question

私は関数を書いていて奇妙な問題があります。私は、パターンマッチングを使用して、わずかに変化はなく、ほぼ同一のパターンを使用し、コンパイルされていない、内部機能しています：

def isTriangular(n: Int): Boolean = { 
    n match { 
    case n if n < 1 => false 
    case _ => triangularMaths(n, 1) 
    } 

    def triangularMaths(j:Int, counter: Int): Boolean = (j, counter) match { 
    case _ if j-counter == 0 => true 
    case _ if j-counter < 0 => false 
    case _ => triangularMaths(j-counter, counter+1) 
    } 
} 

を、このための修正プログラムは、私は単に彼らに2つの別々のメソッドを作成している、と彼らtriangularMathsがネストされていない限り動作します。ただし、triangularMathsはtriangularにのみ固有なので、入れ子にしたいと思います。しかし、私がこれを行うと、私のコンパイラは、BooleanではなくUnitを返すと私に言っている。これは意味をなさない。元の大括弧が解決されて真または偽を返すようになると、メソッドの最後に移動して完了する必要がありますか？修正は何ですか？

Answer 1

これは、メソッドがスコープ内の最後の宣言であるために発生します。これにより、コンパイラは戻り値の型としてUnitの値を生成します。逆コンパイル、コードは次のようになります。

def main(args: Array[String]): Unit = { 
    def isTriangular(n: Int): Boolean = { 
    n match { 
     case (n @ _) if n.<(1) => false 
     case _ => triangularMaths(n, 1) 
    }; 
    def triangularMaths(j: Int, counter: Int): Boolean = scala.Tuple2.apply[Int, Int](j, counter) match { 
     case _ if j.-(counter).==(0) => true 
     case _ if j.-(counter).<(0) => false 
     case _ => triangularMaths(j.-(counter), counter.+(1)) 
    }; 
    () 
    }; 

まずtriangularMathsを定義し、それを呼び出す：

def isTriangular(n: Int): Boolean = { 
    def triangularMaths(j: Int, counter: Int): Boolean = (j, counter) match { 
    case _ if j - counter == 0 => true 
    case _ if j - counter < 0 => false 
    case _ => triangularMaths(j - counter, counter + 1) 
    } 

    n match { 
    case n if n < 1 => false 
    case _ => triangularMaths(n, 1) 
    } 
} 

別の可能性は値にパターンマッチを割り当てること、そして最後のように、その値を返しますメソッドの表現。しかし、それはコンパイラが前方参照について不平を言うことになり、代わりにlazy valにすることで修正することができます。私は再注文のアプローチを採用します。