scala - Scala 方法 def 什么时候应该使用显式定义的返回类型？

Question

Scala-style-guide 建议在使用时始终显式定义返回类型期望 Unit :

Methods should be declared according to the following pattern:

def foo(bar: Baz): Bin = expr

The only exceptions to this rule are methods which return Unit. Such methods should use Scala's syntactic sugar to avoid accidentally confusing return types:

def foo(bar: Baz) { // return type is Unit
  expr
}

Answer 1

正如评论员所指出的，Martin Odersky 在链接的主题演讲中讨论了这一点。当然，正如“何时应该……”所表明的，这最终是一个文体问题，所以只能给出一个意见。

两件事:(1)类型是/否，以及(2)过程语法是/否。

(1) 显然，对于纯 API(没有实现)，您必须指定返回类型。我会将其扩展到同时也是 的任何方法实现API .即，如果你的方法没有实现特征——在这种情况下，当你的返回类型不同时编译器会给你一个错误——你应该注释该方法。 私有(private)和本地 方法可以推断返回类型，除非您发现乍一看很难弄清楚类型，或者您被迫(例如在递归方法调用中)。也有人说，当你给出明确的返回类型时，编译会更快。

如果您有带有 的简短方法“容易” 返回类型，我认为推理很好。前任。

trait Foo {
  def sqrt(d: Double) = math.sqrt(d)

  def toString = "Foo"

  def bar = new Bar(123)
}

(但已经有人会争辩说 math.sqrt 返回 Double 可能并不明显)。

虽然更冗长，但您使代码更具可读性并且避免了 (a) 泄漏关于父类(super class)型足够的实现或子类型的信息:

trait Before {
  def bar = new BarImpl

  def seq = Vector(1, 2, 3)
}

trait After {
  def bar: Bar = new BarImpl

  def seq: IndexedSeq[Int] = Vector(1, 2, 3)
}

并且 (b) 你避免 不小心返回您不打算返回的东西，从结构类型到错误的集合类型等。

(2) 直到最近我更喜欢过程语法，但经过重新讨论和许多人表达了他们的不满，我尝试使用显式 : Unit =注释，我现在更喜欢它。我认为过程语法清楚地表明方法有副作用，但确实 : Unit =确实也很清楚地表明了这一点。它还经常删除花括号的数量:

trait Before {
  private var _x = 0
  def x: Int = _x
  def x_=(value: Int) { _x = value }
}

相对

trait After {
  private var _x = 0
  def x: Int = _x
  def x_=(value: Int): Unit = _x = value  // if double = confuses you, use new line?
}

我发现很多情况下正文以 if 开头。 , 一个模式 match , synchronized block 或 future一代，一个集合 map表达式等，在这些情况下删除花括号很好:

trait Before {
  def connect()(implicit tx: Tx) {
    values.foreach { case (x, _) =>
      x.changed += this
    }
  }
}

trait After {
  def connect()(implicit tx: Tx): Unit =
    values.foreach { case (x, _) =>
      x.changed += this
    }
}