如何提供编译时保证，确保我的方法将返回与 Scala 中获取的对象相同的对象？

Question

在 Scala 类中，我可以方便地将方法的返回类型声明为 this.type 以保证它将返回与调用它的对象相同的对象：

class Foo {
  def bar: this.type = this
}

有没有一种方法可以类似地指定接受给定 AnyRef 参数的方法将准确返回该引用吗？以下代码片段不提供此保证，我可以返回 A 的任何实例：

def processAndReturn[A <: AnyRef](obj: A): A = {
  // work with obj
  obj
}

Answer 1

huitseeker 的建议实际上对 -Ydependent-method-types 选项有效：

$ scala -Ydependent-method-types
Welcome to Scala version 2.9.0.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_24).

scala>   def processAndReturn[A <: AnyRef](obj: A): obj.type = {
     |       // work with obj
     |       obj
     |   }
processAndReturn: [A <: AnyRef](obj: A)obj.type

scala> processAndReturn("hi")
res1: java.lang.String = hi

来自 在这个线程中，我发现实验性依赖方法类型已经存在了一段时间，甚至有一篇已发表的论文使用它们，但实现可能存在错误。关于重新设计 Scala 类型系统基础存在一些讨论（请参阅 Adriaan Moor 的 幻灯片依赖对象类型）。如果成功的话，我想依赖方法类型（除其他外）在 Scala 的未来版本中将是完全合规的。

Answer 2

我想您可能希望在上面的方法中给出返回类型 obj.type ，但不幸的是，目前这是禁止的。根据规范，第 47 页：

(...) 目前单例类型的方法参数只能出现在方法中
身体;因此不支持依赖方法类型。

可能有某种方法可以实现您想要的，但不是在该方法本身的类型规范中。

Answer 3

huitseeker 和 Kipton 可能有您正在寻找的直接答案。

话虽如此，我能想象的唯一用例是，如果您想链接对同一对象的调用并确保您确实在同一对象上工作。还有其他的吗？

例如：

class Counter {
  var i = 0
  override def toString = i.toString
}

def incr(c: Counter): Counter = { c.i += 1; c }

val two = incr(incr((new Counter)))
// two: Counter = 2

如果我连续调用 incr 两次，我希望得到两次。现在让我们想象一下我正在使用一个行为不当的函数，例如：

def incorrect_incr(c: Counter): Counter = { 
  c.i += 1
  new Counter // should return c but does not
}

val notTwo = incorrect_incr(incorrect_incr(new Counter))
// notTwo: Counter = 0

我认为使用包装器来确保我们继续处理同一个对象可以解决这个问题（在考虑如何使其更惯用后进行编辑）：

case class Id[T <: AnyRef](t:T) {
  def map[U](f: (T) => U): Id[T] = { 
    f(t)
    this
  }
  def get: T = t
}

val reallyTwo = Id(new Counter).map(incorrect_incr).map(incorrect_incr).get
// reallyTwo: Counter = 2

map< /code> 基本上确保调用该函数是为了产生副作用，get 解包该值...

Answer 4

问题是：如果你要返回传入的内容，为什么不直接使用 void 呢？毕竟，您已经在调用代码中拥有该对象，不是吗？