Вложенная функция возвращает тип возврата своего родителя

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

Исправление для этого я просто сделать их два отдельных методами, и они работать до тех пор, пока triangularMaths не вложен. Однако, поскольку triangularMaths относится только к triangular, я бы хотел, чтобы он был вложен. Однако, когда я это делаю, мой компилятор жалуется, говоря мне, что я возвращаю Unit, а не ожидаемый Boolean. Это не имеет никакого смысла, поскольку, как только исходные скобки случая разрешены, возвращая true или false, он должен перейти к концу метода и завершить, исправить? В чем проблема?

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. Я бы придерживался подхода переупорядочения.