嵌套函数倾斜其父级的返回类型

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。这不太有意义，因为一旦解决了原始 case 括号，返回 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 来解决此问题。我会坚持重新排序的方法。