为什么 Scala 需要递归函数的返回类型？

Question

在下面包含的代码 sn-p 中，我有一个递归函数调用，用于在网络调用失败时促进重试（Amazon SimpleDB 偶尔会返回 503 并要求重试。）

当我尝试编译时，Scala 抱怨 recursive method simpledb_update needs result type。

// sends data to SimpleDB. Retries if necessary
def simpledb_update(name: String, metadata: Map[String,String], attempt: Int) = {
 try {
  db(config("simpledb_db")) += (name, metadata)
 } catch {
  case e =>
   // if it fails, try again up to 5 times
  if(attempt < 6)
  {
   Thread.sleep(500)
   simpledb_update(name, metadata, attempt + 1)
   } else
     AUlog(name + ": SimpleDB Failed")
   }
 }

为什么递归函数需要这样做？我的想法是只返回一个真/假布尔值来满足编译器......以下编译得很好。

// sends data to SimpleDB. Retries if necessary
 def simpledb_update(name: String, metadata: Map[String,String], attempt: Int): Boolean = {
 try {
  db(config("simpledb_db")) += (name, metadata)
  true
 } catch {
  case e =>
   // if it fails, try again up to 5 times
   if(attempt < 6)
   {
    Thread.sleep(500)
    simpledb_update(name, metadata, attempt + 1)
   } else
    AUlog(name + ": SimpleDB Failed")
    false
  }
}

Answer 1

只需从该行中删除=，它将返回Unit，这意味着您不需要返回任何内容。

def simpledb_update(name: String, metadata: Map[String,String], attempt: Int) {

我相信需要返回类型，以确保所有递归路径都具有正确的类型。在普通函数上，类型将从所有返回点推断出来。

Answer 2

据我了解，递归函数需要返回类型，因为类型推断算法不足以确定所有递归函数的返回类型。

但是，您不需要编写返回类型，只需声明您已经使用的返回类型：Unit。 Unit 是一种特殊类型，只有一个元素 ()。它也是 Scala 中大多数“语句”的类型，并且是为不需要返回任何内容但仅针对其副作用（就像您的那样）执行的方法声明的返回类型。您可以像其他类型一样将您的方法声明为返回单元

def simpledb_update(name: String, metadata: Map[String,String], attempt: Int):Unit = {

更惯用的 Scala 为返回单元的方法提供了一种特殊的语法，只是省略了返回类型和等号

def simpledb_update(name: String, metadata: Map[String,String], attempt: Int){

根据 scala 样式指南，您应该更喜欢使用等号

http://docs.scala-lang.org/style/declarations.html