Scala 中的简单类型推断

Question

我一直在研究 Scala 中的类型推断，关于为什么在某些情况下必须显式声明表达式/方法返回类型，我想更好地理解一些事情。

显式 return 声明

示例（如果省略了return 关键字，则有效）：

def upCase(s: String) = {
  if (s.length == 0)
    return s    // COMPILE ERROR - forces return type of upCase to be declared.
  else
    s.toUpperCase()
}

为什么不声明返回类型就不能使用显式类型的参数作为返回值？这不仅适用于直接参数引用，也适用于任何“类型可推断”的表达式。

方法重载

示例（添加第二个joiner方法时编译失败）：

def joiner(ss: List[String], sep: String) = ss.mkString(sep)

def joiner(ss: List[String]) = joiner(strings, " ")   // COMPILE ERROR WHEN ADDED

Answer 1

最明显的答案是：因为它在规范中说明，请参阅 scala 参考的第 6.20 部分。但是为什么要这样设计确实是一个非常有趣的问题。我怀疑它与编译器无法预测该表达式将是最后一个这一事实有关，因为 return 改变了执行流程。

编辑：

如果 return 不需要明确的返回类型，请考虑以下代码：

def bar() = {   
  if(guard())  
    return "SS"  
  else if(gurard1())  
    return true   
  2  
}

在这种情况下bar应该有那个返回类型？好吧，最常见的超类型有一个选项，但我认为它会让我们在很多情况下返回 Any。好吧，这只是我的想法，可能完全不正确=）

Answer 2

函数或方法的类型是从其最后一条语句的类型推断出来的。通常，这是一种表达方式。

现在，“return”中断了控制流。可以这么说，这是一个“立即中断”。因此，不能再使用用于推断表达式类型的常规规则。当然，它仍然可以完成，但我猜编译器复杂性的成本被认为是高回报。

以下是流程中断的示例：

def toNumber(s: String) = {
  if (s == null)
    return ""

  if (s matches """\d+""")
    s.toInt
  else
    0
}

通常，第二个if 语句的类型将用于推断整个函数的类型。但是第一个if 上的return 从函数中引入了第二个返回点，所以这条规则不起作用。

Answer 3

类型推断在可能的情况下推断方法的返回类型，这或多或少在任何情况下方法不是递归的。

如果您将示例更改为：

def upCase(s: String) = {
 if (s.length == 0)
   s    // note: no return
 else
   s.toUpperCase()
}

我不知道为什么 return 会改变这个。

Answer 4

免责声明 - 此答案针对最初发布的问题

Scala 的类型推断已经推断出方法/表达式的返回类型：

scala> def foo(s : String) = s + " Hello"
foo: (String)java.lang.String

scala> var t = foo("World")
t: java.lang.String = World Hello

和：

scala> def bar( s : String) = s.toInt
bar: (String)Int

scala> var i = bar("3")
i: Int = 3

和：

scala> var j = if (System.getProperty("user.name") == "oxbow") 4 else "5".toInt
j: Int = 5

编辑 - 我没有意识到包含 return 关键字意味着必须显式声明表达式的返回类型：我几乎不再使用 return我自己——但这是一个有趣的问题。对于joiner 示例，由于重载，必须声明返回类型。同样，我不知道原因的详细信息，并且有兴趣了解。我怀疑一个措辞更好的问题主题会从 James Iry、Dan Spiewak 或 Daniel Sobral 等人那里得到答案。

Answer 5

我怀疑方法重载（缺少）推断与递归调用的类似问题有关，因为如果重载的方法不相互调用，它可以完美地工作：

  def joiner1(ss: List[String], sep: String) = ss.mkString(sep)
  def joiner(ss: List[String], sep: String) = ss.mkString(sep)
  def joiner(ss: List[String]) = joiner1(ss, " ")  

有两个重载的 joiner 方法，但类型被正确推断代码编译。